yices-painless
| version | uploaded | uploader | changes | |
|---|---|---|---|---|
| 0.1.2 | 2011-01-17 22:46 UTC | DonaldStewart | +176/−88 lines, 6 files | |
| 0.1.1 | 2011-01-16 21:09 UTC | DonaldStewart | +235/−91 lines, 11 files | |
| 0.1 | 2011-01-15 21:48 UTC | DonaldStewart | +5005/−0 lines, 10 filesdep +basedep +containersdep +prettysetup-changed |
Dependencies of yices-painless-0.1.2
base >3 && <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
containers >=0.2 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
pretty >=0 1.1.3.5 → 1.1.3.6
| 2018-01-29 04:01 UTC | 1.1.3.6 | +101/−5 lines, 7 filesdep +criteriondep +prettydep ~base |
| 2017-02-03 23:16 UTC | 1.1.3.5 | +8/−3 lines, 3 files |
| 2016-06-03 18:38 UTC | 1.1.3.4 | +26/−4 lines, 6 files |
| 2016-02-29 19:00 UTC | 1.1.3.3 | +165/−109 lines, 7 files |
| 2015-03-19 09:15 UTC | 1.1.3.2 | +27/−25 lines, 6 files |
showing 5 of 17 versions
strict-concurrency >=0 0.2.4.2 → 0.2.4.3
| 2018-10-09 12:52 UTC | 0.2.4.3 | +26/−4 lines, 2 filesdep ~basedep ~deepseq |
| 2017-08-29 11:52 UTC | 0.2.4.2 | +38/−192 lines, 8 filesdep ~basedep ~deepseqnew-uploader |
| 2010-08-12 00:01 UTC | 0.2.4.1 | +3/−3 lines, 2 filesdep −parallel |
| 2010-08-05 17:32 UTC | 0.2.4 | +5/−4 lines, 3 filesdep +deepseqdep ~basedep ~parallel |
| 2010-02-26 19:13 UTC | 0.2.3 | +3/−3 lines, 2 filesdep ~base |
showing 5 of 9 versions
vector >=0.7 0.13.1.0 → 0.13.2.0
| 2024-10-31 18:01 UTC | 0.13.2.0 | +5177/−672 lines, 53 filesdep −HUnitdep ~QuickCheckdep ~basedep ~doctest |
| 2023-10-07 13:35 UTC | 0.13.1.0 | +302/−238 lines, 22 filesdep ~QuickCheckdep ~basedep ~doctestnew-uploader |
| 2022-06-19 19:35 UTC | 0.13.0.0 | +19079/−19259 lines, 70 filesdep +tasty-benchdep +tasty-inspection-testingdep +vector-streamdep −faildep −ghc-primdep −semigroupsdep ~basedep ~doctestdep ~primitive |
| 2021-09-21 16:21 UTC | 0.12.3.1 | +265/−191 lines, 13 filesdep ~basedep ~deepseqdep ~doctest |
| 2021-04-06 19:54 UTC | 0.12.3.0 | +1218/−39 lines, 11 filesdep ~basedep ~ghc-prim |
showing 5 of 43 versions
Reverse dependencies
1 packages depend on yices-painless