packages feed

smtlib2-quickcheck

view on Hackage

versionuploadeduploaderchanges
1.02017-01-06 14:03 UTCHenningGuenther+1016/−0 lines, 4 filesdep +QuickCheckdep +basedep +containerssetup-changed

Dependencies of smtlib2-quickcheck-1.0

QuickCheck >=0 2.17.1.0 → 2.18.0.0
2026-02-26 12:42 UTC2.18.0.0+826/−542 lines, 23 filesPVP ok
2025-10-13 12:40 UTC2.17.1.0+18/−8 lines, 4 filesdep ~randomPVP: major bump suggested
2025-10-07 12:26 UTC2.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 UTC2.16.0.0+477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok
2024-05-27 14:54 UTC2.15.0.1+15/−6 lines, 4 filesdep ~randomPVP ok

showing 5 of 65 versions

base >=4 && <5 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

containers >=0 0.7 → 0.8
2025-03-01 13:03 UTC0.8+8447/−7031 lines, 37 filesnew-uploaderPVP ok
2023-09-27 12:15 UTC0.7+76/−33 lines, 3 filesPVP ok
2023-09-28 04:21 UTC0.6.8+644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested
2023-02-01 03:11 UTC0.6.7+783/−229 lines, 20 filesPVP: major bump suggested
2022-07-22 06:30 UTC0.6.6+736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok

showing 5 of 42 versions

dependent-map >=0 0.4.0.0 → 0.4.0.1
2025-10-19 13:45 UTC0.4.0.1+23/−17 lines, 4 filesdep ~basePVP ok
2020-03-27 02:06 UTC0.4.0.0+44/−26 lines, 4 filesdep ~constraints-extrasdep ~containersPVP ok
2020-03-26 20:18 UTC0.3.1.0+146/−133 lines, 7 filesdep ~basedep ~containersdep ~dependent-sumnew-uploaderPVP: major bump suggested
2019-08-04 23:15 UTC0.3+234/−106 lines, 6 filesdep +constraints-extrasdep −semigroupsdep ~containersdep ~dependent-sumnew-uploaderPVP ok
2016-12-21 22:24 UTC0.2.4.0+7/−1 lines, 2 filesdep +semigroupsdep ~basePVP: major bump suggested

showing 5 of 14 versions

dependent-sum >=0 0.7.1.1 → 0.7.2.0
2022-12-22 16:26 UTC0.7.2.0+12/−8 lines, 2 filesdep ~somePVP ok
2022-12-12 17:01 UTC0.7.1.1+7/−3 lines, 2 filesdep ~constraints-extrasdep ~somePVP ok
2020-03-25 21:11 UTC0.7.1.0+6/−2 lines, 2 filesdep ~somePVP ok
2020-03-24 13:46 UTC0.7.0.0+6/−1 lines, 2 filesdep ~basePVP ok
2020-03-24 02:41 UTC0.6.2.2+59/−415 lines, 6 filesdep +somedep ~basenew-uploaderPVP: major bump suggested

showing 5 of 19 versions

mtl >=0 2.3.1 → 2.3.2
2025-12-08 04:58 UTC2.3.2+112/−21 lines, 12 filesdep ~basenew-uploader
2022-10-31 21:28 UTC2.3.1+188/−33 lines, 8 filesdep ~base
2022-05-07 20:34 UTC2.3+1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader
2018-02-24 22:15 UTC2.2.2+152/−36 lines, 14 filesdep ~base
2014-06-02 02:22 UTC2.2.1+179/−4 lines, 8 filesdep ~basedep ~transformers

showing 5 of 20 versions

smtlib2 >=1.0 && <1.1 0.3.1 → 1.0
2017-01-05 20:49 UTC1.0+5934/−5843 lines, 24 filesdep +dependent-mapdep +dependent-sumdep +template-haskelldep −arraydep −atto-lispdep −attoparsecdep ~base
2016-06-20 16:46 UTC0.3.1 outside bounds+9/−17 lines, 2 files
2015-10-21 21:12 UTC0.3 outside bounds+127/−105 lines, 6 files
2015-01-27 10:25 UTC0.2 outside bounds+508/−436 lines, 8 filesdep ~atto-lisp
2014-12-07 15:05 UTC0.1 outside bounds+6603/−0 lines, 14 filesdep +arraydep +atto-lispdep +attoparsecsetup-changed

Reverse dependencies

2 packages depend on smtlib2-quickcheck

acme-everything 2018.11.18 requires smtlib2-quickcheck >=0
smtlib2-pipe 1.0 requires smtlib2-quickcheck >=1.0 && <1.1