hasmtlib
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 2.8.1 | 2024-11-29 13:23 UTC | bruderj15 | +37/−4 lines, 3 filesPVP: major bump suggested | |
| 2.8.0 | 2024-11-28 22:01 UTC | bruderj15 | +34/−20 lines, 6 filesPVP ok | |
| 2.7.2 | 2024-11-28 12:26 UTC | bruderj15 | +50/−53 lines, 12 filesdep +constrained-somePVP: major bump suggested | |
| 2.7.1 | 2024-10-05 14:39 UTC | bruderj15 | +189/−57 lines, 9 filesPVP: major bump suggested | |
| 2.7.0 | 2024-09-12 12:09 UTC | bruderj15 | +764/−453 lines, 23 filesdep +lifted-basedep +monad-controlPVP ok | |
| 2.6.3 | 2024-09-08 08:34 UTC | bruderj15 | +123/−40 lines, 6 filesPVP: major bump suggested | |
| 2.6.2 | 2024-09-04 10:08 UTC | bruderj15 | +37/−14 lines, 5 filesPVP: major bump suggested | |
| 2.6.1 | 2024-09-02 10:28 UTC | bruderj15 | +911/−202 lines, 24 filesdep +arrayPVP: major bump suggested | |
| 2.6.0 | 2024-08-27 15:07 UTC | bruderj15 | +452/−424 lines, 12 filesPVP ok | |
| 2.5.1 | 2024-08-26 13:23 UTC | bruderj15 | +97/−62 lines, 9 filesPVP: major bump suggested | |
| 2.5.0 | 2024-08-25 14:11 UTC | bruderj15 | +663/−282 lines, 10 filesPVP ok | |
| 2.4.0 | 2024-08-21 07:49 UTC | bruderj15 | +1482/−1320 lines, 26 filesdep +unordered-containersPVP ok | |
| 2.3.2 | 2024-08-17 09:55 UTC | bruderj15 | +56/−48 lines, 6 filesPVP: major bump suggested | |
| 2.3.1 | 2024-08-16 11:47 UTC | bruderj15 | +61/−15 lines, 4 filesPVP: major bump suggested | |
| 2.3.0 | 2024-08-12 19:59 UTC | bruderj15 | +456/−175 lines, 12 filesPVP ok | |
| 2.2.0 | 2024-08-09 11:23 UTC | bruderj15 | +187/−79 lines, 7 filesPVP ok | |
| 2.1.0 | 2024-07-26 13:50 UTC | bruderj15 | +163/−98 lines, 17 filesPVP ok | |
| 2.0.1 | 2024-07-23 11:42 UTC | bruderj15 | +26/−15 lines, 5 filesPVP ok | |
| 2.0.0 | 2024-07-23 11:07 UTC | bruderj15 | +556/−191 lines, 30 filesPVP ok | |
| 1.3.1 | 2024-07-12 11:28 UTC | bruderj15 | +18/−4 lines, 3 filesPVP: major bump suggested | |
| 1.3.0 | 2024-07-12 05:15 UTC | bruderj15 | +37/−5 lines, 5 filesPVP ok | |
| 1.2.0 | 2024-07-11 13:27 UTC | bruderj15 | +150/−100 lines, 10 filesPVP ok | |
| 1.1.2 | 2024-07-02 15:19 UTC | bruderj15 | +30/−6 lines, 4 filesdep ~smtlib-backendsdep ~smtlib-backends-processPVP: major bump suggested | |
| 1.1.1 | 2024-06-25 08:40 UTC | bruderj15 | +3/−3 lines, 2 filesPVP ok | |
| 1.1.0 | 2024-06-21 13:50 UTC | bruderj15 | +471/−248 lines, 12 filesdep +dependent-mapdep +somePVP ok | |
| 1.0.2 | 2024-06-19 14:33 UTC | bruderj15 | +22/−18 lines, 5 filesdep ~smtlib-backendsPVP ok | |
| 1.0.1 | 2024-06-18 16:24 UTC | bruderj15 | +3/−32 lines, 3 filesPVP ok | |
| 1.0.0 | 2024-06-18 15:24 UTC | bruderj15 | +2716/−0 lines, 29 filesdep +attoparsecdep +basedep +bitvecsetup-changed |
Dependencies of hasmtlib-2.8.1
array >=0.5 && <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
attoparsec >=0.14.4 && <1 0.14.3 → 0.14.4
| 2022-01-10 18:41 UTC | 0.14.4 | +736/−940 lines, 30 filesdep +attoparsecdep +tasty-benchdep −criteriondep ~QuickCheckdep ~bytestringdep ~ghc-primPVP ok |
| 2021-12-09 02:44 UTC | 0.14.3 outside bounds | +107/−39 lines, 5 filesPVP ok |
| 2021-10-30 15:07 UTC | 0.14.2 outside bounds | +10/−9 lines, 3 filesdep ~basedep ~ghc-primdep ~semigroupsPVP ok |
| 2021-03-22 21:21 UTC | 0.14.1 outside bounds | +172/−34 lines, 10 filesPVP ok |
| 2021-02-10 01:00 UTC | 0.13.2.5 outside bounds | +53/−15 lines, 4 filesdep ~QuickCheckdep ~bytestringdep ~ghc-primPVP: major bump suggested |
showing 5 of 61 versions
base >=4.17.2 && <5 4.21.2.0 → 4.22.0.0
| 2025-12-19 11:52 UTC | 4.22.0.0 | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
bitvec >=1.1.5 && <2 1.1.5.0 → 1.1.6.0
| 2026-02-18 00:32 UTC | 1.1.6.0 | +135/−220 lines, 21 filesdep −integer-gmpdep ~basedep ~containersdep ~ghc-bignumPVP ok |
| 2023-08-15 20:29 UTC | 1.1.5.0 | +1074/−529 lines, 25 filesdep ~bytestringdep ~containersdep ~deepseqPVP: major bump suggested |
| 2023-03-20 22:35 UTC | 1.1.4.0 outside bounds | +142/−199 lines, 23 filesdep ~basedep ~bytestringdep ~containersPVP ok |
| 2022-06-19 21:30 UTC | 1.1.3.0 outside bounds | +289/−150 lines, 14 filesdep −tasty-hunitdep ~vectorPVP ok |
| 2021-12-11 20:49 UTC | 1.1.2.0 outside bounds | +188/−67 lines, 24 filesdep +quickcheck-classes-basedep −ghc-primsetup-changedPVP ok |
showing 5 of 20 versions
bytestring >=0.11.5 && <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
constrained-some >=0.1 && <0.2 0.1.1 → 0.1.2
| 2024-11-29 19:09 UTC | 0.1.2 | +72/−11 lines, 4 filesPVP ok |
| 2024-11-29 15:00 UTC | 0.1.1 | +19/−4 lines, 3 filesPVP: major bump suggested |
| 2024-11-27 12:33 UTC | 0.1.0.0 | +163/−0 lines, 6 filesdep +basedep +constrained-some |
containers >=0.6.7 && <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 outside bounds | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
data-default >=0.7.1 && <1 0.8.0.1 → 0.8.0.2
| 2026-01-06 19:33 UTC | 0.8.0.2 | +27/−2 lines, 4 filesPVP: major bump suggested |
| 2025-03-16 21:34 UTC | 0.8.0.1 | +146/−2 lines, 2 filesdep ~containersPVP ok |
| 2024-10-23 20:22 UTC | 0.8.0.0 | +363/−34 lines, 4 filesdep −data-default-classdep −data-default-instances-containersdep −data-default-instances-dlistdep ~basedep ~containersPVP ok |
| 2024-10-17 19:18 UTC | 0.7.1.3 | +10/−6 lines, 2 filesdep ~data-default-classdep ~data-default-instances-containersdep ~data-default-instances-dlistPVP ok |
| 2024-10-13 14:25 UTC | 0.7.1.2 | +182/−62 lines, 4 filesdep +containersdep +data-defaultdep +mtldep ~data-default-classPVP: major bump suggested |
showing 5 of 17 versions
dependent-map >=0.4 && <1 0.4.0.0 → 0.4.0.1
| 2025-10-19 13:45 UTC | 0.4.0.1 | +23/−17 lines, 4 filesdep ~basePVP ok |
| 2020-03-27 02:06 UTC | 0.4.0.0 | +44/−26 lines, 4 filesdep ~constraints-extrasdep ~containersPVP ok |
| 2020-03-26 20:18 UTC | 0.3.1.0 outside bounds | +146/−133 lines, 7 filesdep ~basedep ~containersdep ~dependent-sumnew-uploaderPVP: major bump suggested |
| 2019-08-04 23:15 UTC | 0.3 outside bounds | +234/−106 lines, 6 filesdep +constraints-extrasdep −semigroupsdep ~containersdep ~dependent-sumnew-uploaderPVP ok |
| 2016-12-21 22:24 UTC | 0.2.4.0 outside bounds | +7/−1 lines, 2 filesdep +semigroupsdep ~basePVP: major bump suggested |
showing 5 of 14 versions
finite-typelits >=0.1.0 && <1 0.2.0.1 → 0.2.1.0
| 2024-08-01 11:29 UTC | 0.2.1.0 | +103/−106 lines, 4 filesdep ~QuickCheckdep ~basedep ~taggedPVP: major bump suggested |
| 2024-07-19 10:55 UTC | 0.2.0.1 | +8/−5 lines, 2 filesdep ~basedep ~template-haskellPVP ok |
| 2024-04-07 18:53 UTC | 0.2.0.0 | +2079/−743 lines, 6 filesdep +taggeddep +template-haskelldep ~QuickCheckdep ~basedep ~deepseqPVP ok |
| 2022-08-19 00:37 UTC | 0.1.6.0 | +17/−21 lines, 4 filesdep ~basePVP: major bump suggested |
| 2022-08-19 00:12 UTC | 0.1.5.0 | +616/−29 lines, 4 filesdep +QuickCheckdep +finite-typelitsdep ~basePVP: major bump suggested |
showing 5 of 12 versions
lens >=5 && <6 5.3.5 → 5.3.6
| 2026-01-10 22:05 UTC | 5.3.6 | +39/−28 lines, 7 filesdep −ghc-primdep −transformers-compatdep ~template-haskellPVP ok |
| 2025-06-17 11:56 UTC | 5.3.5 | +99/−99 lines, 5 filesdep +tastydep +tasty-hunitdep +tasty-quickcheckdep −HUnitdep −test-frameworkdep −test-framework-hunitdep ~parallelPVP: major bump suggested |
| 2025-03-03 12:24 UTC | 5.3.4 | +156/−44 lines, 14 filesdep ~containersPVP ok |
| 2024-12-28 16:38 UTC | 5.3.3 | +198/−36 lines, 11 filesdep ~basedep ~template-haskellPVP ok |
| 2024-05-12 23:00 UTC | 5.3.2 | +131/−19 lines, 7 filesdep ~hashablePVP: major bump suggested |
showing 5 of 162 versions
lifted-base >=0.2 && <0.5 0.2.3.11 → 0.2.3.12
| 2018-03-14 20:14 UTC | 0.2.3.12 | +17/−17 lines, 1 filesdep ~HUnitdep ~criteriondep ~monad-controlPVP ok |
| 2017-05-27 14:31 UTC | 0.2.3.11 | +2/−2 lines, 1 filesdep ~criterionPVP ok |
| 2017-02-13 23:04 UTC | 0.2.3.10 | +2/−2 lines, 2 filesPVP ok |
| 2017-02-13 22:54 UTC | 0.2.3.9 | +2/−2 lines, 1 filesdep ~HUnitPVP ok |
| 2016-07-21 04:55 UTC | 0.2.3.8 | +8/−3 lines, 3 filesPVP ok |
showing 5 of 33 versions
monad-control >=1.0 && <1.2 1.0.3 → 1.0.3.1
| 2021-08-02 10:16 UTC | 1.0.3.1 | +25/−13 lines, 3 filesdep ~transformersPVP ok |
| 2021-07-26 20:03 UTC | 1.0.3 | +6/−2 lines, 2 filesdep ~base |
| 2021-07-26 19:56 UTC | 1.0.2.4 | +912/−894 lines, 5 filesdep ~basedep ~transformers-compatsetup-changednew-uploader |
| 2018-02-26 08:14 UTC | 1.0.2.3 | +10/−3 lines, 3 filesdep ~transformers-compatPVP: major bump suggested |
| 2017-08-06 15:12 UTC | 1.0.2.2 | +201/−29 lines, 4 filesPVP ok |
showing 5 of 32 versions
mtl >=2.2.2 && <3 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 outside bounds | +179/−4 lines, 8 filesdep ~basedep ~transformers |
showing 5 of 20 versions
smtlib-backends >=0.4 && <0.5 0.3 → 0.4
| 2024-05-28 20:15 UTC | 0.4 | +58/−40 lines, 3 filesdep ~basenew-uploader |
| 2023-02-06 10:26 UTC | 0.3 outside bounds | +129/−66 lines, 3 filesdep ~basedep ~bytestring |
| 2022-12-16 13:44 UTC | 0.2 outside bounds | +202/−0 lines, 5 filesdep +basedep +bytestringsetup-changed |
smtlib-backends-process >=0.3 && <0.4 0.2 → 0.3
| 2023-02-06 10:26 UTC | 0.3 | +248/−150 lines, 6 filesdep +processdep −data-defaultdep −typed-processdep ~asyncdep ~basedep ~bytestring |
| 2022-12-16 13:45 UTC | 0.2 outside bounds | +385/−0 lines, 7 filesdep +asyncdep +basedep +bytestringsetup-changed |
some >=1.0.6 && <1.1 1.0.6 → 1.1 newer than bounds
| 2026-05-10 17:20 UTC | 1.1 newer than bounds | +72/−156 lines, 11 filesdep ~basedep ~deepseq |
| 2023-10-24 21:03 UTC | 1.0.6 | +112/−14 lines, 5 filesdep +base-orphansdep ~base |
| 2023-03-15 09:33 UTC | 1.0.5 outside bounds | +217/−11 lines, 6 filesdep ~basedep ~deepseq |
| 2022-10-05 08:34 UTC | 1.0.4.1 outside bounds | +110/−197 lines, 11 filesdep −semigroupsdep −transformersdep −transformers-compatdep ~basedep ~deepseq |
| 2022-06-17 13:03 UTC | 1.0.4 outside bounds | +195/−17 lines, 8 filesdep ~base |
showing 5 of 12 versions
text >=2.0.2 && <3 2.1.3 → 2.1.4
| 2026-01-28 08:30 UTC | 2.1.4 | +30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell |
| 2025-08-01 20:08 UTC | 2.1.3 | +2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell |
| 2024-10-26 13:22 UTC | 2.1.2 | +43588/−15378 lines, 41 filesdep ~basedep ~binary |
| 2024-02-16 22:16 UTC | 2.1.1 | +986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell |
| 2023-08-26 18:49 UTC | 2.1 | +448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploader |
showing 5 of 82 versions
unordered-containers >=0.2.20 && <0.3 0.2.20.1 → 0.2.21
| 2025-12-13 23:09 UTC | 0.2.21 | +3999/−2731 lines, 20 filesdep −mtldep ~basedep ~bytestringdep ~deepseq |
| 2025-10-02 07:28 UTC | 0.2.20.1 | +106/−52 lines, 12 files |
| 2024-01-09 06:48 UTC | 0.2.20 | +1023/−941 lines, 12 filesdep ~hashabledep ~template-haskell |
| 2022-04-24 15:48 UTC | 0.2.19.1 outside bounds | +88/−14 lines, 4 filesdep ~basedep ~template-haskell |
| 2022-04-16 13:01 UTC | 0.2.19.0 outside bounds | +330/−186 lines, 12 filesdep ~base |
showing 5 of 43 versions
utf8-string >=1.0.2 && <2 1.0.1.1 → 1.0.2
| 2021-01-03 18:33 UTC | 1.0.2 | +286/−46 lines, 8 filesdep +HUnitdep +utf8-stringdep ~base |
| 2015-08-23 16:19 UTC | 1.0.1.1 outside bounds | +12/−2 lines, 3 filesdep ~base |
| 2015-08-21 22:38 UTC | 1.0.1 outside bounds | +71/−3 lines, 3 filesdep ~base |
| 2015-01-23 01:51 UTC | 1 outside bounds | +17/−194 lines, 5 filesdep ~base |
| 2014-05-19 08:05 UTC | 0.3.8 outside bounds | +50/−7 lines, 9 filesdep ~base |
showing 5 of 16 versions
vector-sized >=1 && <2 1.5.0 → 1.6.1
| 2024-02-07 01:03 UTC | 1.6.1 | +147/−128 lines, 13 filesdep +indexed-traversabledep ~basedep ~vectornew-uploader |
| 2021-08-26 05:18 UTC | 1.5.0 | +15/−10 lines, 8 filesdep ~basedep ~deepseqdep ~primitive |
| 2021-06-26 14:39 UTC | 1.4.4 | +56/−4 lines, 7 files |
| 2020-12-15 08:08 UTC | 1.4.3.1 | +35/−7 lines, 4 files |
| 2020-12-08 05:37 UTC | 1.4.3 | +2089/−52 lines, 8 files |
showing 5 of 29 versions
Reverse dependencies
no known reverse dependencies