packages feed

yices-easy

view on Hackage

versionuploadeduploaderchanges
0.12010-09-29 05:58 UTCKeeganMcAllister+854/−0 lines, 10 filesdep +basedep +bindings-yicesdep +containerssetup-changed

Dependencies of yices-easy-0.1

base >=3 && <5 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

bindings-yices >=0.2 0.3.0.1 → 0.3.0.2
2015-08-22 12:36 UTC0.3.0.2+5/−1 lines, 2 files
2015-08-22 12:30 UTC0.3.0.1+6/−2 lines, 1 files
2015-08-22 08:37 UTC0.3+6/−1 lines, 2 files
2010-06-02 18:05 UTC0.2+126/−113 lines, 3 files
2009-12-25 17:17 UTC0.1 outside bounds+813/−0 lines, 4 filesdep +basesetup-changed
containers >=0.3 0.7 → 0.8
2025-03-01 13:03 UTC0.8+8447/−7031 lines, 37 filesnew-uploaderPVP ok
2023-09-27 12:15 UTC0.7+76/−33 lines, 3 filesPVP ok
2023-09-28 04:21 UTC0.6.8+644/−184 lines, 17 filesdep ~basedep ~deepseqPVP: major bump suggested
2023-02-01 03:11 UTC0.6.7+783/−229 lines, 20 filesPVP: major bump suggested
2022-07-22 06:30 UTC0.6.6+736/−1039 lines, 32 filesdep +template-haskelldep ~basePVP ok

showing 5 of 42 versions

transformers >=0.2 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 files

showing 5 of 42 versions

Reverse dependencies

1 packages depend on yices-easy

acme-everything 2018.11.18 requires yices-easy >=0