presburger
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 1.3.1 | 2015-03-24 20:55 UTC | IavorDiatchki | 2 revisions | +2/−2 lines, 1 filesdep ~presburger |
| 1.3 | 2015-01-06 17:13 UTC | IavorDiatchki | 2 revisions | +10/−2 lines, 2 filesdep ~basedep ~containersdep ~presburger |
| 1.2 | 2014-12-02 01:13 UTC | IavorDiatchki | 2 revisions | +283/−86 lines, 3 filesdep +QuickCheckdep +presburgerdep ~base |
| 1.1 | 2013-12-28 02:34 UTC | IavorDiatchki | 1 revisions | +13/−18 lines, 2 files |
| 1.0 | 2013-11-15 23:27 UTC | IavorDiatchki | 1 revisions | +827/−1592 lines, 12 filesdep ~basedep ~containers |
| 0.4 | 2011-10-28 19:58 UTC | IavorDiatchki | 1 revisions | +1593/−671 lines, 11 files |
| 0.3 | 2009-04-01 23:08 UTC | IavorDiatchki | 1 revisions | +3/−2 lines, 2 files |
| 0.2 | 2009-03-26 23:09 UTC | IavorDiatchki | 1 revisions | +9/−3 lines, 2 files |
| 0.1 | 2009-01-13 21:19 UTC | IavorDiatchki | 1 revisions | +694/−0 lines, 4 filesdep +basedep +containersdep +prettysetup-changed |
Dependencies of presburger-1.3.1
QuickCheck >=0 2.17.1.0 → 2.18.0.0
| 2026-02-26 12:42 UTC | 2.18.0.0 | +826/−542 lines, 23 filesPVP ok |
| 2025-10-13 12:40 UTC | 2.17.1.0 | +18/−8 lines, 4 filesdep ~randomPVP: major bump suggested |
| 2025-10-07 12:26 UTC | 2.17.0.0 | +667/−129 lines, 14 filesdep +data-array-bytedep +hintdep +splitdep −ghc-primdep −old-localedep −old-timedep ~basedep ~randomdep ~template-haskellPVP ok |
| 2025-06-17 07:53 UTC | 2.16.0.0 | +477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok |
| 2024-05-27 14:54 UTC | 2.15.0.1 | +15/−6 lines, 4 filesdep ~randomPVP ok |
showing 5 of 65 versions
base >=4.4 && <4.11 4.10.1.0 → 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.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
pretty >=0 1.1.3.5 → 1.1.3.6
| 2018-01-29 04:01 UTC | 1.1.3.6 | +101/−5 lines, 7 filesdep +criteriondep +prettydep ~base |
| 2017-02-03 23:16 UTC | 1.1.3.5 | +8/−3 lines, 3 files |
| 2016-06-03 18:38 UTC | 1.1.3.4 | +26/−4 lines, 6 files |
| 2016-02-29 19:00 UTC | 1.1.3.3 | +165/−109 lines, 7 files |
| 2015-03-19 09:15 UTC | 1.1.3.2 | +27/−25 lines, 6 files |
showing 5 of 17 versions
Reverse dependencies
1 packages depend on presburger; 1 have bounds that exclude 1.3.1