acl2
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.0.1 | 2014-10-01 13:40 UTC | TomHawkins | +5/−13 lines, 2 filesPVP: major bump suggested | |
| 0.0.0 | 2014-09-25 13:35 UTC | TomHawkins | +321/−0 lines, 4 filesdep +basedep +processsetup-changed |
Dependencies of acl2-0.0.1
base >=4.0 && <6.0 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
process >=1.0 && <2.0 1.6.29.0 → 1.6.30.0
| 2026-06-11 10:14 UTC | 1.6.30.0 | +19/−1 lines, 2 files |
| 2026-05-24 11:03 UTC | 1.6.29.0 | +5282/−4831 lines, 7 filesdep ~base |
| 2026-04-18 12:18 UTC | 1.6.28.0 | +70/−33 lines, 3 files |
| 2026-03-08 19:39 UTC | 1.6.27.0 | +3/−2 lines, 2 files |
| 2026-03-07 13:46 UTC | 1.6.26.2 | +4852/−5346 lines, 7 files |
showing 5 of 57 versions
Reverse dependencies
1 packages depend on acl2