DifferenceLogic
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1.0.4 | 2014-11-05 07:11 UTC | dillonhuff | +4/−3 lines, 2 files | |
| 0.1.0.2 | 2014-11-02 21:56 UTC | dillonhuff | +87/−6 lines, 2 filesdep +FirstOrderTheory | |
| 0.1.0.1 | 2014-10-25 00:55 UTC | dillonhuff | +201/−0 lines, 4 filesdep +HUnitdep +basedep +containerssetup-changed |
Dependencies of DifferenceLogic-0.1.0.4
FirstOrderTheory >=0 0.1.0.4 → 0.1.0.6
| 2014-11-05 07:06 UTC | 0.1.0.6 | +40/−2 lines, 3 filesdep +ProperPVP: minor bump suggested |
| 2014-11-02 21:54 UTC | 0.1.0.4 | +175/−0 lines, 6 filesdep +basedep +containerssetup-changed |
HUnit >=1.2 && <1.3 1.2.5.2 → 1.6.2.0 newer than bounds
| 2021-01-19 18:27 UTC | 1.6.2.0 newer than bounds | +48/−42 lines, 5 filesdep ~call-stackPVP: major bump suggested |
| 2020-10-31 12:09 UTC | 1.6.1.0 newer than bounds | +35/−21 lines, 4 filesPVP ok |
| 2017-03-20 01:42 UTC | 1.6.0.0 newer than bounds | +9/−5 lines, 4 filesdep ~basePVP ok |
| 2016-10-16 03:35 UTC | 1.5.0.0 newer than bounds | +47/−27 lines, 5 filesPVP ok |
| 2016-10-07 03:13 UTC | 1.4.0.0 newer than bounds | +761/−778 lines, 12 filesdep +call-stackPVP ok |
showing 5 of 22 versions
base >=4.6 && <4.7 4.6.0.1 → 4.22.0.0 newer than bounds
| 2025-12-19 11:52 UTC | 4.22.0.0 newer than bounds | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 newer than bounds | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 newer than bounds | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 newer than bounds | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 newer than bounds | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
containers >=0.5 && <0.6 0.5.11.0 → 0.8 newer than bounds
| 2025-03-01 13:03 UTC | 0.8 newer than bounds | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 newer than bounds | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 newer than bounds | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 newer than bounds | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 newer than bounds | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
fgl >=0 5.8.3.0 → 5.8.3.1
| 2026-05-19 12:05 UTC | 5.8.3.1 | +21/−25 lines, 4 filesdep ~QuickCheckPVP: major bump suggested |
| 2024-09-30 06:53 UTC | 5.8.3.0 | +40/−8 lines, 3 filesdep ~QuickCheckPVP ok |
| 2023-10-18 08:42 UTC | 5.8.2.0 | +191/−137 lines, 19 filesdep ~hspecPVP: major bump suggested |
| 2023-02-10 09:43 UTC | 5.8.1.1 | +23/−10 lines, 6 filesdep ~deepseqPVP ok |
| 2023-01-26 21:28 UTC | 5.8.1.0 | +50/−12 lines, 7 filesdep ~basePVP ok |
showing 5 of 27 versions
Reverse dependencies
1 packages depend on DifferenceLogic