ghc-proofs
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1.1 | 2017-09-05 13:00 UTC | JoachimBreitner | +13/−8 lines, 4 files | |
| 0.1 | 2017-08-26 09:17 UTC | JoachimBreitner | +1479/−0 lines, 9 filesdep +basedep +ghcdep +ghc-proofssetup-changed |
Dependencies of ghc-proofs-0.1.1
base >=4.9 && <4.11 4.10.1.0 → 4.22.0.0 newer than bounds
| 2025-12-19 11:52 UTC | 4.22.0.0 newer than bounds | +886/−215 lines, 28 filesdep ~ghc-internalPVP ok |
| 2026-03-27 12:26 UTC | 4.21.2.0 newer than bounds | +10/−3 lines, 4 filesdep ~ghc-internalPVP ok |
| 2025-12-27 10:31 UTC | 4.21.1.0 newer than bounds | +17/−5 lines, 4 filesdep ~ghc-internalPVP ok |
| 2024-12-16 09:24 UTC | 4.21.0.0 newer than bounds | +1170/−396 lines, 39 filesdep ~ghc-internalPVP ok |
| 2025-09-12 14:13 UTC | 4.20.2.0 newer than bounds | +13/−2 lines, 2 filesdep ~ghc-internalPVP ok |
showing 5 of 60 versions
ghc >=8.2 && <8.4 8.2.2 → 9.14.1 newer than bounds
| 2025-12-19 11:51 UTC | 9.14.1 newer than bounds | +94968/−73927 lines, 535 filesdep +ghc-internaldep ~basedep ~containersdep ~ghc-bootsetup-changedPVP ok |
| 2026-03-27 12:26 UTC | 9.12.4 newer than bounds | +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 newer than bounds | +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 newer than bounds | +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 newer than bounds | +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
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
1 packages depend on ghc-proofs