singletons-presburger
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.7.4.1 | 2025-07-20 12:22 UTC | HiromiIshii | +247/−96 lines, 3 filesdep +transformers | |
| 0.7.4.0 | 2024-06-09 11:40 UTC | HiromiIshii | +9/−4 lines, 2 files | |
| 0.7.3.0 | 2023-12-26 15:17 UTC | HiromiIshii | +55/−114 lines, 4 files | |
| 0.7.2.0 | 2023-03-20 14:57 UTC | HiromiIshii | +37/−3 lines, 2 files | |
| 0.7.1.0 | 2022-11-25 07:10 UTC | HiromiIshii | +2/−2 lines, 1 files | |
| 0.7.0.0 | 2022-11-21 13:21 UTC | HiromiIshii | +15/−14 lines, 2 filesdep +ghc | |
| 0.6.1.0 | 2021-11-07 09:47 UTC | HiromiIshii | +7/−6 lines, 2 files | |
| 0.6.0.0 | 2021-03-13 05:53 UTC | HiromiIshii | +58/−12 lines, 3 filesdep +singletons-basedep +singletons-thdep −ghc | |
| 0.5.0.0 | 2021-01-17 14:28 UTC | HiromiIshii | +201/−110 lines, 3 filesdep +mtl | |
| 0.4.0.0 | 2021-01-16 06:51 UTC | HiromiIshii | +3/−3 lines, 1 filesdep ~ghc-typelits-presburger | |
| 0.3.0.1 | 2020-06-22 08:33 UTC | HiromiIshii | +15/−6 lines, 3 files | |
| 0.3.0.0 | 2020-02-01 15:17 UTC | HiromiIshii | +359/−0 lines, 5 filesdep +basedep +equational-reasoningdep +ghcsetup-changed |
Dependencies of singletons-presburger-0.7.4.1
base >=4.7 && <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
equational-reasoning >=0 0.7.0.3 → 0.7.1.0
| 2025-01-02 06:49 UTC | 0.7.1.0 | +337/−371 lines, 7 filesdep ~basedep ~containersdep ~template-haskellPVP: major bump suggested |
| 2024-05-17 11:59 UTC | 0.7.0.3 | +73/−24 lines, 3 filesdep ~containersPVP: major bump suggested |
| 2023-12-26 13:31 UTC | 0.7.0.2 | +40/−39 lines, 1 filesdep −semigroupsdep ~template-haskelldep ~th-desugarPVP: major bump suggested |
| 2021-10-31 08:51 UTC | 0.7.0.1 | +7/−5 lines, 2 filesdep ~template-haskelldep ~th-desugarPVP ok |
| 2021-01-22 10:42 UTC | 0.7.0.0 | +263/−146 lines, 4 filesdep ~template-haskelldep ~th-desugarPVP ok |
showing 5 of 30 versions
ghc >=0 9.12.4 → 9.14.1
| 2025-12-19 11:51 UTC | 9.14.1 | +94968/−73927 lines, 535 filesdep +ghc-internaldep ~basedep ~containersdep ~ghc-bootsetup-changedPVP ok |
| 2026-03-27 12:26 UTC | 9.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 UTC | 9.12.3 | +6833/−5245 lines, 117 filesdep ~ghc-bootdep ~ghc-boot-thdep ~ghc-boot-th-nextPVP: major bump suggested |
| 2025-06-16 15:02 UTC | 9.12.2 | +182/−697 lines, 17 filesdep ~ghc-bootdep ~ghc-boot-thdep ~ghc-boot-th-nextPVP: major bump suggested |
| 2024-12-16 09:29 UTC | 9.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-typelits-presburger >=0.4 0.7.4.1 → 0.7.4.2
| 2025-07-20 12:22 UTC | 0.7.4.2 | +126/−108 lines, 5 filesdep ~ghc-tcplugins-extraPVP: major bump suggested |
| 2025-01-02 06:52 UTC | 0.7.4.1 | +11/−12 lines, 3 filesdep ~ghcPVP ok |
| 2024-06-09 11:39 UTC | 0.7.4.0 | +95/−43 lines, 6 filesdep ~ghcPVP: major bump suggested |
| 2023-12-26 15:17 UTC | 0.7.3.0 | +214/−396 lines, 6 filesdep ~ghcPVP ok |
| 2023-03-20 14:57 UTC | 0.7.2.0 | +199/−61 lines, 7 filesdep ~ghcdep ~ghc-typelits-presburgerPVP: major bump suggested |
showing 5 of 24 versions
mtl >=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
reflection >=0 2.1.8 → 2.1.9
| 2024-12-04 12:05 UTC | 2.1.9 | +53/−163 lines, 9 filesdep −semigroupsdep −taggeddep ~basedep ~containers |
| 2024-05-04 15:32 UTC | 2.1.8 | +99/−44 lines, 5 files |
| 2023-02-28 12:10 UTC | 2.1.7 | +114/−209 lines, 11 filesdep ~containers |
| 2020-05-16 10:47 UTC | 2.1.6 | +145/−69 lines, 6 filesdep +containersdep ~semigroups |
| 2019-08-27 13:38 UTC | 2.1.5 | +285/−170 lines, 11 filesdep +QuickCheckdep +hspecdep +reflection |
showing 5 of 52 versions
singletons >=0 3.0.3 → 3.0.4
| 2024-12-11 12:49 UTC | 3.0.4 | +115/−25 lines, 6 filesdep ~base |
| 2024-05-12 23:03 UTC | 3.0.3 | +94/−7 lines, 4 filesdep ~base |
| 2022-08-23 12:10 UTC | 3.0.2 | +34/−16 lines, 5 filesdep ~base |
| 2021-10-31 01:46 UTC | 3.0.1 | +206/−9 lines, 4 filesdep ~base |
| 2021-03-12 17:18 UTC | 3.0 | +1556/−42164 lines, 303 filesdep −bytestringdep −containersdep −deepseqdep ~basesetup-changed |
showing 5 of 36 versions
singletons-base >=3.0 3.5 → 3.5.1
| 2026-01-11 00:28 UTC | 3.5.1 | +184/−214 lines, 70 filesdep ~basedep ~singletons-thdep ~template-haskell |
| 2024-12-30 15:04 UTC | 3.5 | +8174/−11544 lines, 145 filesdep +ghc-internaldep +ghc-pathsdep +ghc-primdep ~basedep ~singletons-thdep ~template-haskellsetup-changed |
| 2024-05-12 23:04 UTC | 3.4 | +598/−475 lines, 119 filesdep ~basedep ~singletons-thdep ~template-haskell |
| 2023-10-13 12:04 UTC | 3.3 | +38436/−37240 lines, 311 filesdep ~basedep ~singletons-thdep ~template-haskellsetup-changed |
| 2023-03-12 17:57 UTC | 3.2 | +37240/−36471 lines, 302 filesdep ~basedep ~singletons-thdep ~template-haskellsetup-changed |
showing 5 of 8 versions
singletons-th >=0 3.5 → 3.5.1
| 2026-01-11 00:27 UTC | 3.5.1 | +12/−11 lines, 5 filesdep ~basedep ~template-haskelldep ~th-desugar |
| 2024-12-11 12:50 UTC | 3.5 | +1401/−963 lines, 23 filesdep ~basedep ~template-haskelldep ~th-desugar |
| 2024-05-12 23:04 UTC | 3.4 | +160/−24 lines, 11 filesdep ~basedep ~template-haskelldep ~th-desugar |
| 2023-10-13 12:04 UTC | 3.3 | +9261/−8284 lines, 35 filesdep ~basedep ~template-haskelldep ~th-desugarsetup-changed |
| 2023-03-12 17:57 UTC | 3.2 | +8284/−8417 lines, 34 filesdep ~basedep ~mtldep ~template-haskellsetup-changed |
showing 5 of 8 versions
transformers >=0 0.6.2.0 → 0.6.3.0
| 2026-01-12 12:42 UTC | 0.6.3.0 | +28/−1 lines, 4 files |
| 2025-04-06 22:39 UTC | 0.6.2.0 | +41/−42 lines, 8 filesdep ~ghc-prim |
| 2024-09-25 11:37 UTC | 0.6.1.2 | +70/−21 lines, 19 files |
| 2023-08-01 19:13 UTC | 0.6.1.1 | +281/−42 lines, 11 files |
| 2023-02-04 08:15 UTC | 0.6.1.0 | +64/−4 lines, 8 files |
showing 5 of 42 versions
Reverse dependencies
no known reverse dependencies