packages feed

ghc-typelits-presburger

view on Hackage

versionuploadeduploaderchanges
0.7.4.22025-07-20 12:22 UTCHiromiIshii+126/−108 lines, 5 filesdep ~ghc-tcplugins-extraPVP: major bump suggested
0.7.4.12025-01-02 06:52 UTCHiromiIshii+11/−12 lines, 3 filesdep ~ghcPVP ok
0.7.4.02024-06-09 11:39 UTCHiromiIshii+95/−43 lines, 6 filesdep ~ghcPVP: major bump suggested
0.7.3.02023-12-26 15:17 UTCHiromiIshii+214/−396 lines, 6 filesdep ~ghcPVP ok
0.7.2.02023-03-20 14:57 UTCHiromiIshii+199/−61 lines, 7 filesdep ~ghcdep ~ghc-typelits-presburgerPVP: major bump suggested
0.7.1.02022-11-25 07:10 UTCHiromiIshii+89/−14 lines, 5 filesdep ~ghc-typelits-presburgerPVP ok
0.7.0.02022-11-21 13:21 UTCHiromiIshii+185/−42 lines, 5 filesdep ~ghcPVP ok
0.6.2.02021-12-11 11:59 UTCHiromiIshii+28/−3 lines, 3 filesPVP ok
0.6.1.02021-11-07 09:47 UTCHiromiIshii+325/−59 lines, 4 filesdep ~ghcPVP: major bump suggested
0.6.0.02021-03-13 05:53 UTCHiromiIshii+46/−13 lines, 3 filesPVP ok
0.5.2.02021-01-22 10:29 UTCHiromiIshii+227/−100 lines, 5 filesdep ~ghcPVP: major bump suggested
0.5.0.02021-01-17 14:28 UTCHiromiIshii+1109/−1006 lines, 3 filesPVP ok
0.4.0.02021-01-16 06:50 UTCHiromiIshii+461/−270 lines, 8 filesdep +tastydep +tasty-discoverdep +tasty-expected-failuredep ~basePVP ok
0.3.0.12020-06-22 08:33 UTCHiromiIshii+79/−26 lines, 3 filesPVP: major bump suggested
0.3.0.02020-02-01 15:17 UTCHiromiIshii1 revisions+1837/−1621 lines, 9 filesdep −singletonsdep ~equational-reasoningdep ~ghcdep ~ghc-tcplugins-extranew-component:exe:simple-arith-corePVP ok
0.2.0.52018-08-24 16:34 UTCHiromiIshii+164/−96 lines, 4 filesdep +mtldep +sybdep +transformersPVP ok
0.2.0.42018-08-24 13:43 UTCHiromiIshii+92/−17 lines, 4 filesPVP ok
0.2.0.32018-07-28 11:55 UTCHiromiIshii+11/−6 lines, 2 filesPVP ok
0.2.0.22018-07-28 11:32 UTCHiromiIshii+34/−41 lines, 3 filesPVP ok
0.2.0.12018-07-26 13:30 UTCHiromiIshii+32/−16 lines, 3 filesdep ~ghc-tcplugins-extraPVP ok
0.2.0.02018-03-11 06:33 UTCHiromiIshii+1030/−49 lines, 2 filesdep +containersdep +prettydep −presburgerdep ~basedep ~equational-reasoningdep ~ghcPVP ok
0.1.1.12017-11-30 08:37 UTCHiromiIshii1 revisions+77/−66 lines, 4 filesdep +singletonsdep ~basedep ~equational-reasoningdep ~ghcPVP ok
0.1.1.02016-08-02 10:25 UTCHiromiIshii+90/−31 lines, 4 filesPVP ok
0.1.0.02016-07-27 12:43 UTCHiromiIshii6 revisions+453/−0 lines, 6 filesdep +basedep +equational-reasoningdep +ghcsetup-changed

Dependencies of ghc-typelits-presburger-0.7.4.2

base >=4.7 && <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

equational-reasoning >=0 0.7.0.3 → 0.7.1.0
2025-01-02 06:49 UTC0.7.1.0+337/−371 lines, 7 filesdep ~basedep ~containersdep ~template-haskellPVP: major bump suggested
2024-05-17 11:59 UTC0.7.0.3+73/−24 lines, 3 filesdep ~containersPVP: major bump suggested
2023-12-26 13:31 UTC0.7.0.2+40/−39 lines, 1 filesdep −semigroupsdep ~template-haskelldep ~th-desugarPVP: major bump suggested
2021-10-31 08:51 UTC0.7.0.1+7/−5 lines, 2 filesdep ~template-haskelldep ~th-desugarPVP ok
2021-01-22 10:42 UTC0.7.0.0+263/−146 lines, 4 filesdep ~template-haskelldep ~th-desugarPVP ok

showing 5 of 30 versions

ghc <9.13 9.12.4 → 9.14.1 newer than bounds
2025-12-19 11:51 UTC9.14.1 newer than bounds+94968/−73927 lines, 535 filesdep +ghc-internaldep ~basedep ~containersdep ~ghc-bootsetup-changedPVP ok
2026-03-27 12:26 UTC9.12.4+3128/−1766 lines, 79 filesdep +rtsdep ~ghc-bootdep ~ghc-boot-thdep ~ghc-boot-th-nextPVP: major bump suggested
2025-12-27 10:29 UTC9.12.3+6833/−5245 lines, 117 filesdep ~ghc-bootdep ~ghc-boot-thdep ~ghc-boot-th-nextPVP: major bump suggested
2025-06-16 15:02 UTC9.12.2+182/−697 lines, 17 filesdep ~ghc-bootdep ~ghc-boot-thdep ~ghc-boot-th-nextPVP: major bump suggested
2024-12-16 09:29 UTC9.12.1+66834/−46960 lines, 535 filesdep +ghc-boot-thdep +ghc-boot-th-nextdep +os-stringdep −template-haskelldep ~basedep ~filepathdep ~ghc-bootPVP ok

showing 5 of 50 versions

ghc-tcplugins-extra >=0.2 && <0.6 0.4.6 → 0.5
2025-03-04 14:48 UTC0.5+2001/−1731 lines, 69 filesdep ~ghcsetup-changedPVP ok
2024-05-22 13:41 UTC0.4.6+1742/−2013 lines, 65 filesdep ~ghcsetup-changedPVP: major bump suggested
2023-10-10 14:20 UTC0.4.5+151/−8 lines, 9 filesdep ~ghcPVP ok
2023-02-20 20:11 UTC0.4.4+2074/−2072 lines, 55 filesdep ~ghcsetup-changedPVP ok
2022-09-02 21:21 UTC0.4.3+2082/−577 lines, 55 filesdep ~ghcsetup-changedPVP ok

showing 5 of 18 versions

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

showing 5 of 20 versions

pretty >=0 1.1.3.5 → 1.1.3.6
2018-01-29 04:01 UTC1.1.3.6+101/−5 lines, 7 filesdep +criteriondep +prettydep ~basePVP: major bump suggested
2017-02-03 23:16 UTC1.1.3.5+8/−3 lines, 3 filesPVP ok
2016-06-03 18:38 UTC1.1.3.4+26/−4 lines, 6 filesPVP: major bump suggested
2016-02-29 19:00 UTC1.1.3.3+165/−109 lines, 7 filesPVP: major bump suggested
2015-03-19 09:15 UTC1.1.3.2+27/−25 lines, 6 files

showing 5 of 17 versions

reflection >=0 2.1.8 → 2.1.9
2024-12-04 12:05 UTC2.1.9+53/−163 lines, 9 filesdep −semigroupsdep −taggeddep ~basedep ~containersPVP ok
2024-05-04 15:32 UTC2.1.8+99/−44 lines, 5 filesPVP: major bump suggested
2023-02-28 12:10 UTC2.1.7+114/−209 lines, 11 filesdep ~containersPVP: major bump suggested
2020-05-16 10:47 UTC2.1.6+145/−69 lines, 6 filesdep +containersdep ~semigroupsPVP ok
2019-08-27 13:38 UTC2.1.5+285/−170 lines, 11 filesdep +QuickCheckdep +hspecdep +reflectionPVP: major bump suggested

showing 5 of 52 versions

syb >=0 0.7.3 → 0.7.4
2026-03-07 17:18 UTC0.7.4+27/−18 lines, 4 filesPVP ok
2025-08-21 20:31 UTC0.7.3+176/−154 lines, 13 filesdep ~basePVP: major bump suggested
2023-07-30 17:25 UTC0.7.2.4+434/−64 lines, 7 filesPVP: major bump suggested
2023-03-18 23:19 UTC0.7.2.3+50/−36 lines, 4 filesdep ~mtlPVP ok
2022-09-17 15:09 UTC0.7.2.2+108/−79 lines, 36 filesPVP ok

showing 5 of 33 versions

tasty >=0 1.5.3 → 1.5.4
2026-03-25 20:04 UTC1.5.4+332/−166 lines, 22 filesdep −semigroupsPVP ok
2025-01-05 19:52 UTC1.5.3+36/−11 lines, 3 filesdep ~containersdep ~optparse-applicativePVP: major bump suggested
2024-11-03 00:34 UTC1.5.2+22/−5 lines, 4 filesdep ~basePVP ok
2024-06-22 10:14 UTC1.5.1+131/−63 lines, 10 filesdep ~basePVP: major bump suggested
2023-09-10 00:08 UTC1.5+1005/−263 lines, 24 filesdep ~ansi-terminaldep ~containersdep ~optparse-applicativePVP ok

showing 5 of 75 versions

tasty-discover >=0 5.1.0 → 5.2.0
2025-10-25 01:49 UTC5.2.0+347/−38 lines, 7 filesdep ~tasty-quickcheckPVP ok
2025-08-10 03:11 UTC5.1.0+1691/−102 lines, 17 filesdep +ansi-terminaldep +directorydep +processdep ~tasty-quickcheckPVP ok
2025-06-01 05:23 UTC5.0.2+16/−9 lines, 6 filesPVP ok
2025-01-13 13:49 UTC5.0.1+90/−68 lines, 8 filesdep −directorydep ~basedep ~hspecdep ~hspec-corePVP ok
2022-07-08 03:47 UTC5.0.0+16/−36 lines, 6 filesdep ~hspecdep ~tasty-hedgehogPVP ok

showing 5 of 27 versions

tasty-expected-failure >=0 0.12.2 → 0.12.3
2021-02-16 16:50 UTC0.12.3+10/−18 lines, 2 filesPVP ok
2020-12-31 14:23 UTC0.12.2+63/−8 lines, 3 filesPVP ok
2020-09-04 07:28 UTC0.12.1+11/−1 lines, 2 filesPVP ok
2020-07-23 06:53 UTC0.12+144/−10 lines, 4 filesdep +hedgehogdep +tasty-expected-failuredep +tasty-goldendep ~basedep ~tastyPVP ok
2019-08-29 08:37 UTC0.11.1.2+3/−3 lines, 1 filesdep ~basePVP ok

showing 5 of 12 versions

tasty-hunit >=0 0.10.1 → 0.10.2
2024-06-22 10:14 UTC0.10.2+15/−7 lines, 4 filesPVP ok
2023-09-10 00:12 UTC0.10.1+30/−52 lines, 5 filesdep ~basedep ~call-stackdep ~tastynew-uploaderPVP ok
2020-12-18 09:42 UTC0.10.0.3+55/−10 lines, 4 filesdep ~basePVP ok
2019-05-15 05:50 UTC0.10.0.2+38/−8 lines, 3 filesdep ~tastyPVP: major bump suggested
2017-12-01 19:24 UTC0.10.0.1+51/−29 lines, 4 filesPVP: major bump suggested

showing 5 of 15 versions

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-haskellPVP ok
2025-08-01 20:08 UTC2.1.3+2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskellPVP ok
2024-10-26 13:22 UTC2.1.2+43588/−15378 lines, 41 filesdep ~basedep ~binaryPVP: major bump suggested
2024-02-16 22:16 UTC2.1.1+986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskellPVP: major bump suggested
2023-08-26 18:49 UTC2.1+448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploaderPVP ok

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 filesPVP: major bump suggested
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-primPVP: major bump suggested
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 filesPVP: minor bump suggested
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 filesPVP ok
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 filesPVP ok

showing 5 of 42 versions

Reverse dependencies

4 packages depend on ghc-typelits-presburger; 1 have bounds that exclude 0.7.4.2

computational-algebra 0.5.1.0 requires ghc-typelits-presburger >=0.1.1.1 && <0.2 excludes current (upper bound)
singletons-presburger 0.7.4.1 requires ghc-typelits-presburger >=0.4
sized 1.1.0.2 requires ghc-typelits-presburger >=0.7.2
type-natural 1.3.0.2 requires ghc-typelits-presburger >=0.7.4.1