packages feed

smtlib2-pipe

view on Hackage

versionuploadeduploaderchanges
1.02017-01-05 20:51 UTCHenningGuenther+2515/−0 lines, 6 filesdep +Cabaldep +atto-lispdep +attoparsecsetup-changed

Dependencies of smtlib2-pipe-1.0

Cabal >=0 3.16.0.0 → 3.16.1.0
2026-01-01 12:36 UTC3.16.1.0+36/−5 lines, 3 filesdep ~Cabal-syntaxdep ~containersdep ~timePVP: major bump suggested
2025-07-23 18:35 UTC3.16.0.0+1248/−1125 lines, 85 filesdep +githashdep ~Cabal-syntaxdep ~containersdep ~deepseqPVP ok
2025-04-08 07:47 UTC3.14.2.0+225/−150 lines, 39 filesdep ~Cabal-syntaxPVP ok
2025-01-02 19:54 UTC3.14.1.1+48/−81 lines, 34 filesdep ~unixPVP: major bump suggested
2024-12-16 23:08 UTC3.14.1.0+30/−7 lines, 6 filesPVP ok

showing 5 of 82 versions

atto-lisp >=0.2 0.2.2.2 → 0.2.2.3
2018-09-24 14:55 UTC0.2.2.3+24/−10 lines, 2 filesdep ~attoparsecdep ~basedep ~blaze-builderPVP: major bump suggested
2015-12-20 13:28 UTC0.2.2.2+16/−8 lines, 4 filesdep ~attoparsecdep ~basePVP ok
2015-10-15 22:22 UTC0.2.2.1+3/−3 lines, 1 filesdep ~deepseqPVP: major bump suggested
2014-12-03 17:40 UTC0.2.2+37/−25 lines, 3 filesdep ~attoparsecdep ~blaze-builderdep ~textPVP: major bump suggested
2013-05-15 21:45 UTC0.2.1.2+244/−22 lines, 3 filesdep +HUnitdep +atto-lispdep +test-frameworkdep ~attoparsecdep ~basedep ~bytestringPVP ok

showing 5 of 9 versions

attoparsec >=0 0.14.3 → 0.14.4
2022-01-10 18:41 UTC0.14.4+736/−940 lines, 30 filesdep +attoparsecdep +tasty-benchdep −criteriondep ~QuickCheckdep ~bytestringdep ~ghc-primPVP ok
2021-12-09 02:44 UTC0.14.3+107/−39 lines, 5 filesPVP ok
2021-10-30 15:07 UTC0.14.2+10/−9 lines, 3 filesdep ~basedep ~ghc-primdep ~semigroupsPVP ok
2021-03-22 21:21 UTC0.14.1+172/−34 lines, 10 filesPVP ok
2021-02-10 01:00 UTC0.13.2.5+53/−15 lines, 4 filesdep ~QuickCheckdep ~bytestringdep ~ghc-primPVP: major bump suggested

showing 5 of 61 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

blaze-builder >=0 0.4.4 → 0.4.4.1
2025-08-29 05:39 UTC0.4.4.1+8/−4 lines, 3 filesdep −deepseqdep −ghc-primPVP ok
2025-08-01 15:28 UTC0.4.4+258/−326 lines, 13 filesPVP ok
2025-05-15 11:12 UTC0.4.3+44/−72 lines, 8 filesdep −bytestring-builderdep −semigroupsdep ~basedep ~bytestringdep ~textPVP: major bump suggested
2023-08-27 17:50 UTC0.4.2.3+20/−12 lines, 5 filesdep ~basedep ~bytestringdep ~textPVP ok
2021-10-18 21:39 UTC0.4.2.2+352/−332 lines, 28 filesdep +ghc-primdep ~basedep ~bytestringdep ~textnew-uploaderPVP ok

showing 5 of 31 versions

bytestring >=0 0.12.1.0 → 0.12.2.0
2024-12-06 21:41 UTC0.12.2.0+538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok
2024-02-16 03:27 UTC0.12.1.0+3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested
2023-08-16 01:53 UTC0.12.0.2+16/−2 lines, 3 files
2023-08-05 00:03 UTC0.12.0.1+47/−9 lines, 3 files
2023-07-07 01:45 UTC0.12.0.0+1459/−520 lines, 21 filesdep +data-array-bytePVP ok

showing 5 of 49 versions

cabal-test-quickcheck >=0 0.1.8.1 → 0.1.8.2
2018-10-29 17:41 UTC0.1.8.2+7/−5 lines, 2 filesdep ~Cabaldep ~QuickCheckdep ~basePVP: major bump suggested
2017-08-03 23:25 UTC0.1.8.1+4/−4 lines, 1 filesdep ~Cabaldep ~QuickCheckdep ~basePVP ok
2017-06-26 02:26 UTC0.1.8+6/−5 lines, 2 filesdep ~QuickCheckPVP ok
2016-06-27 09:00 UTC0.1.7+3/−3 lines, 1 filesdep ~CabalPVP ok
2015-03-30 06:23 UTC0.1.6+13/−5 lines, 2 filesdep ~basePVP ok

showing 5 of 11 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-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

process >=0 1.6.29.0 → 1.6.30.0
2026-06-11 10:14 UTC1.6.30.0+19/−1 lines, 2 files
2026-05-24 11:03 UTC1.6.29.0+5282/−4831 lines, 7 filesdep ~base
2026-04-18 12:18 UTC1.6.28.0+70/−33 lines, 3 files
2026-03-08 19:39 UTC1.6.27.0+3/−2 lines, 2 files
2026-03-07 13:46 UTC1.6.26.2+4852/−5346 lines, 7 files

showing 5 of 57 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
smtlib2-quickcheck >=1.0 && <1.1 (empty) → 1.0
2017-01-06 14:03 UTC1.0+1016/−0 lines, 4 filesdep +QuickCheckdep +basedep +containerssetup-changed
text >=0 2.1.3 → 2.1.4
2026-01-28 08:30 UTC2.1.4+30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskell
2025-08-01 20:08 UTC2.1.3+2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskell
2024-10-26 13:22 UTC2.1.2+43588/−15378 lines, 41 filesdep ~basedep ~binary
2024-02-16 22:16 UTC2.1.1+986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskell
2023-08-26 18:49 UTC2.1+448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploader

showing 5 of 82 versions

transformers >=0 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 files

showing 5 of 42 versions

Reverse dependencies

1 packages depend on smtlib2-pipe

smtlib2-debug 1.0 requires smtlib2-pipe >=1.0 && <1.1