smt-lib
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.0.2 | 2010-07-19 01:24 UTC | TomHawkins | +125/−30 lines, 2 files | |
| 0.0.1 | 2010-07-17 05:44 UTC | TomHawkins | +850/−41 lines, 4 filesdep +arraydep +directory | |
| 0.0.0 | 2010-07-04 11:52 UTC | TomHawkins | +387/−0 lines, 4 filesdep +basedep +polyparsesetup-changed |
Dependencies of smt-lib-0.0.2
array >=0.3 && <0.4 0.3.0.3 → 0.5.8.0 newer than bounds
| 2024-09-08 07:13 UTC | 0.5.8.0 newer than bounds | +204/−8 lines, 6 filesdep ~basePVP ok |
| 2024-04-12 14:38 UTC | 0.5.7.0 newer than bounds | +34/−17 lines, 9 filesdep ~basePVP: major bump suggested |
| 2023-07-10 15:24 UTC | 0.5.6.0 newer than bounds | +159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok |
| 2023-02-13 16:01 UTC | 0.5.5.0 newer than bounds | +8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok |
| 2019-09-01 06:48 UTC | 0.5.4.0 newer than bounds | +33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested |
showing 5 of 18 versions
base >=4.0 && <5.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
directory >=1.0 && <1.1 1.0.1.2 → 1.3.11.0 newer than bounds
| 2026-05-27 05:59 UTC | 1.3.11.0 newer than bounds | +4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok |
| 2026-01-05 11:08 UTC | 1.3.10.1 newer than bounds | +4989/−4830 lines, 43 filesPVP: major bump suggested |
| 2025-12-24 02:55 UTC | 1.3.10.0 newer than bounds | +90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested |
| 2024-10-11 10:43 UTC | 1.3.9.0 newer than bounds | +235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested |
| 2024-05-20 06:52 UTC | 1.3.8.5 newer than bounds | +15/−13 lines, 7 filesdep ~basePVP ok |
showing 5 of 55 versions
polyparse >=1.4 1.13 → 1.13.1
| 2025-09-14 15:39 UTC | 1.13.1 | +186/−163 lines, 19 filesdep −faildep ~basenew-uploader |
| 2019-08-22 14:00 UTC | 1.13 | +49/−15 lines, 12 filesdep ~basedep ~bytestringdep ~text |
| 2018-10-30 20:47 UTC | 1.12.1 | +125/−55 lines, 13 filesdep +faildep ~basedep ~bytestringdep ~textnew-uploader |
| 2016-04-12 17:11 UTC | 1.12 | +582/−19 lines, 5 files |
| 2015-01-01 14:05 UTC | 1.11 | +55/−29 lines, 8 filesdep ~base |
showing 5 of 17 versions
Reverse dependencies
1 packages depend on smt-lib