FirstOrderTheory
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1.0.6 | 2014-11-05 07:06 UTC | dillonhuff | +40/−2 lines, 3 filesdep +ProperPVP: minor bump suggested | |
| 0.1.0.4 | 2014-11-02 21:54 UTC | dillonhuff | +175/−0 lines, 6 filesdep +basedep +containerssetup-changed |
Dependencies of FirstOrderTheory-0.1.0.6
Proper >=0 0.4.2.0 → 0.5.2.0
| 2014-11-03 01:31 UTC | 0.5.2.0 | +302/−267 lines, 7 filesdep +sybdep ~base |
| 2014-06-24 19:48 UTC | 0.4.2.0 | +1/−1 lines, 1 files |
| 2014-06-24 03:12 UTC | 0.4.1.0 | +1/−1 lines, 1 files |
| 2014-06-24 02:35 UTC | 0.4.0.0 | +157/−6 lines, 4 files |
| 2014-06-23 01:33 UTC | 0.3.0.0 | +26/−9 lines, 2 files |
showing 5 of 7 versions
base >=4.6 && <4.7 4.6.0.1 → 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
containers >=0 0.7 → 0.8
| 2025-03-01 13:03 UTC | 0.8 | +8447/−7031 lines, 37 filesnew-uploaderPVP ok |
| 2023-09-27 12:15 UTC | 0.7 | +76/−33 lines, 3 filesPVP ok |
| 2023-09-28 04:21 UTC | 0.6.8 | +644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested |
| 2023-02-01 03:11 UTC | 0.6.7 | +783/−229 lines, 20 filesPVP: major bump suggested |
| 2022-07-22 06:30 UTC | 0.6.6 | +736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok |
showing 5 of 42 versions
Reverse dependencies
2 packages depend on FirstOrderTheory