equational-reasoning-induction
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.6.0.0 | 2019-02-08 13:49 UTC | HiromiIshii | +244/−0 lines, 5 filesdep +basedep +semigroupsdep +singletonssetup-changed |
Dependencies of equational-reasoning-induction-0.6.0.0
base >=4 && <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
semigroups >=0.18 && <0.19 0.18.5 → 0.20.1 newer than bounds
| 2026-01-10 20:32 UTC | 0.20.1 newer than bounds | +29/−2103 lines, 6 filesdep −binarydep −bytestringdep −bytestring-builderdep ~base |
| 2021-11-16 00:07 UTC | 0.20 newer than bounds | +9/−27 lines, 3 filesdep ~hashable |
| 2021-08-30 11:23 UTC | 0.19.2 newer than bounds | +45/−203 lines, 6 filesdep ~hashable |
| 2019-08-27 13:06 UTC | 0.19.1 newer than bounds | +100/−60 lines, 5 filesdep ~hashabledep ~transformers |
| 2019-05-10 13:57 UTC | 0.19 newer than bounds | +217/−167 lines, 5 filesdep +template-haskelldep ~hashable |
showing 5 of 65 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
template-haskell >=2.11 && <2.16 2.15.0.0 → 2.24.0.0 newer than bounds
| 2025-12-19 11:53 UTC | 2.24.0.0 newer than bounds | +606/−68 lines, 9 filesdep +ghc-internaldep ~basedep ~ghc-boot-th |
| 2024-12-16 09:29 UTC | 2.23.0.0 newer than bounds | +104/−5685 lines, 9 filesdep −ghc-primdep −prettydep ~basedep ~ghc-boot-thnew-uploader |
| 2024-05-15 13:07 UTC | 2.22.0.0 newer than bounds | +176/−81 lines, 7 filesdep ~basedep ~ghc-boot-th |
| 2023-10-10 00:23 UTC | 2.21.0.0 newer than bounds | +275/−148 lines, 7 filesdep ~basedep ~ghc-boot-th |
| 2023-03-28 13:43 UTC | 2.20.0.0 newer than bounds | +215/−139 lines, 9 filesdep −filepathdep ~basedep ~ghc-boot-th |
showing 5 of 26 versions
th-extras >=0.0 && <0.1 0.0.0.8 → 0.0.0.9
| 2026-02-11 05:13 UTC | 0.0.0.9 | +36/−32 lines, 3 filesdep ~template-haskell |
| 2024-04-14 03:26 UTC | 0.0.0.8 | +22/−8 lines, 2 filesdep ~containersdep ~sybdep ~template-haskell |
| 2023-12-14 23:57 UTC | 0.0.0.7 | +13/−5 lines, 3 filesdep ~template-haskellnew-uploader |
| 2022-01-15 04:13 UTC | 0.0.0.6 | +50/−23 lines, 5 filesdep ~basedep ~template-haskelldep ~th-abstractionnew-uploader |
| 2021-11-18 21:06 UTC | 0.0.0.5 | +167/−23 lines, 3 filesdep +containersdep +th-abstractiondep ~basedep ~template-haskellnew-uploader |
showing 5 of 8 versions
Reverse dependencies
no known reverse dependencies