free-theorems-seq
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 1.0 | 2011-03-11 17:07 UTC | DanielSeidel | +1751/−0 lines, 16 filesdep +arraydep +basedep +bytestringsetup-changed |
Dependencies of free-theorems-seq-1.0
array <1 0.5.7.0 → 0.5.8.0
| 2024-09-08 07:13 UTC | 0.5.8.0 | +204/−8 lines, 6 filesdep ~basePVP ok |
| 2024-04-12 14:38 UTC | 0.5.7.0 | +34/−17 lines, 9 filesdep ~basePVP: major bump suggested |
| 2023-07-10 15:24 UTC | 0.5.6.0 | +159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok |
| 2023-02-13 16:01 UTC | 0.5.5.0 | +8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok |
| 2019-09-01 06:48 UTC | 0.5.4.0 | +33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested |
showing 5 of 18 versions
base (>=1 && <4) && >=4 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 outside bounds | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 outside bounds | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 outside bounds | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 outside bounds | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 outside bounds | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
bytestring >=0.9.0.1 0.12.1.0 → 0.12.2.0
| 2024-12-06 21:41 UTC | 0.12.2.0 | +538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok |
| 2024-02-16 03:27 UTC | 0.12.1.0 | +3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested |
| 2023-08-16 01:53 UTC | 0.12.0.2 | +16/−2 lines, 3 files |
| 2023-08-05 00:03 UTC | 0.12.0.1 | +47/−9 lines, 3 files |
| 2023-07-07 01:45 UTC | 0.12.0.0 | +1459/−520 lines, 21 filesdep +data-array-bytePVP ok |
showing 5 of 49 versions
containers >=0.1.0.1 0.7 → 0.8
| 2025-03-01 13:03 UTC | 0.8 | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
free-theorems >=0.3.1 && <0.4 0.3.2.0 → 0.3.2.1
| 2022-12-21 12:50 UTC | 0.3.2.1 | +16/−590 lines, 7 filesdep −haskell-src-extsPVP: major bump suggested |
| 2013-02-08 10:49 UTC | 0.3.2.0 | +161/−111 lines, 6 filesdep ~basedep ~haskell-src-exts |
| 2010-10-12 08:47 UTC | 0.3.1.3 | +3/−3 lines, 2 filesnew-uploader |
| 2009-03-24 08:55 UTC | 0.3.1.2 | +2/−2 lines, 1 filesdep ~haskell-src-exts |
| 2009-03-17 11:29 UTC | 0.3.1.1 | +66/−36 lines, 3 filesdep +sybdep ~base |
showing 5 of 9 versions
haskell-src >=1.0.1.1 1.0.4.1 → 1.0.4.2
| 2025-08-29 05:59 UTC | 1.0.4.2 | +54/−49 lines, 4 filesdep −faildep −semigroupsdep ~basePVP: major bump suggested |
| 2024-09-22 19:26 UTC | 1.0.4.1 | +33/−16 lines, 3 filesPVP: major bump suggested |
| 2022-02-07 08:40 UTC | 1.0.4 | +9/−3 lines, 3 filesdep ~basePVP ok |
| 2022-02-07 08:30 UTC | 1.0.3.2 | +237/−171 lines, 9 filesdep +faildep +semigroupsdep ~arraydep ~basedep ~prettynew-uploaderPVP ok |
| 2019-11-09 18:24 UTC | 1.0.3.1 | +13/−21 lines, 4 filesdep −faildep −semigroupsdep ~arraydep ~basedep ~prettyPVP: major bump suggested |
showing 5 of 14 versions
mtl >=1.1.0.0 2.3.1 → 2.3.2
| 2025-12-08 04:58 UTC | 2.3.2 | +112/−21 lines, 12 filesdep ~basenew-uploader |
| 2022-10-31 21:28 UTC | 2.3.1 | +188/−33 lines, 8 filesdep ~base |
| 2022-05-07 20:34 UTC | 2.3 | +1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader |
| 2018-02-24 22:15 UTC | 2.2.2 | +152/−36 lines, 14 filesdep ~base |
| 2014-06-02 02:22 UTC | 2.2.1 | +179/−4 lines, 8 filesdep ~basedep ~transformers |
showing 5 of 20 versions
old-locale >=1 && <2 1.0.0.6 → 1.0.0.7
| 2014-11-21 11:00 UTC | 1.0.0.7 | +11/−11 lines, 2 filesdep ~base |
| 2014-03-22 08:55 UTC | 1.0.0.6 | +74/−29 lines, 3 filesdep ~basenew-uploader |
| 2012-09-06 18:08 UTC | 1.0.0.5 | +10/−10 lines, 1 files |
| 2012-02-02 23:16 UTC | 1.0.0.4 | +5/−1 lines, 2 files |
| 2011-08-25 12:29 UTC | 1.0.0.3 | +3/−3 lines, 1 files |
showing 5 of 8 versions
old-time >=1 && <2 1.1.0.5 → 1.1.1.0
| 2026-03-07 10:25 UTC | 1.1.1.0 | +495/−331 lines, 6 filesdep +old-timedep +tastydep +tasty-hunitdep ~basedep ~old-localenew-uploader |
| 2026-01-06 08:48 UTC | 1.1.0.5 | +18/−8 lines, 2 files |
| 2023-12-11 08:39 UTC | 1.1.0.4 | +4746/−4619 lines, 4 filesnew-uploader |
| 2014-11-21 10:59 UTC | 1.1.0.3 | +50/−186 lines, 5 filesdep ~basesetup-changed |
| 2014-03-22 09:43 UTC | 1.1.0.2 | +1128/−904 lines, 9 filesdep ~basedep ~old-localenew-uploader |
showing 5 of 14 versions
parsec >=3 && <4 3.1.17.0 → 3.1.18.0
| 2025-01-05 00:08 UTC | 3.1.18.0 | +159/−170 lines, 7 filesdep −faildep ~basedep ~bytestringdep ~mtl |
| 2023-10-04 06:08 UTC | 3.1.17.0 | +112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tasty |
| 2023-01-08 20:47 UTC | 3.1.16.1 | +6/−2 lines, 3 files |
| 2023-01-08 18:03 UTC | 3.1.16.0 | +124/−19 lines, 8 filesdep ~base |
| 2022-05-10 10:14 UTC | 3.1.15.1 | +19/−15 lines, 9 filesdep ~basedep ~mtldep ~text |
showing 5 of 27 versions
pretty >=1 && <2 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
syb >=0.1.0.0 0.7.3 → 0.7.4
| 2026-03-07 17:18 UTC | 0.7.4 | +27/−18 lines, 4 files |
| 2025-08-21 20:31 UTC | 0.7.3 | +176/−154 lines, 13 filesdep ~base |
| 2023-07-30 17:25 UTC | 0.7.2.4 | +434/−64 lines, 7 files |
| 2023-03-18 23:19 UTC | 0.7.2.3 | +50/−36 lines, 4 filesdep ~mtl |
| 2022-09-17 15:09 UTC | 0.7.2.2 | +108/−79 lines, 36 files |
showing 5 of 33 versions
utf8-string >=0.3.1.1 && <0.4 0.3.8 → 1.0.2 newer than bounds
| 2021-01-03 18:33 UTC | 1.0.2 newer than bounds | +286/−46 lines, 8 filesdep +HUnitdep +utf8-stringdep ~base |
| 2015-08-23 16:19 UTC | 1.0.1.1 newer than bounds | +12/−2 lines, 3 filesdep ~base |
| 2015-08-21 22:38 UTC | 1.0.1 newer than bounds | +71/−3 lines, 3 filesdep ~base |
| 2015-01-23 01:51 UTC | 1 newer than bounds | +17/−194 lines, 5 filesdep ~base |
| 2014-05-19 08:05 UTC | 0.3.8 | +50/−7 lines, 9 filesdep ~base |
showing 5 of 16 versions
xhtml >=3000 && <3001 3000.4.0.0 → 3000.4.1.0
| 2026-06-18 13:26 UTC | 3000.4.1.0 | +6/−3 lines, 3 filesPVP: major bump suggested |
| 2024-11-17 11:17 UTC | 3000.4.0.0 | +47/−19 lines, 4 filesnew-uploader |
| 2023-07-21 08:33 UTC | 3000.3.0.0 | +639/−304 lines, 15 filesdep +bytestringdep +containersdep +textdep ~base |
| 2018-03-09 17:07 UTC | 3000.2.2.1 | +19/−4 lines, 3 filesdep ~base |
| 2017-06-17 20:51 UTC | 3000.2.2 | +82/−118 lines, 18 filesdep +semigroupsdep ~basenew-uploader |
showing 5 of 17 versions
Reverse dependencies
1 packages depend on free-theorems-seq