packages feed

yices

view on Hackage

versionuploadeduploaderchanges
0.0.0.122012-02-07 09:52 UTCKiYungAhn+3/−4 lines, 2 filesdep −template-haskelldep −th-lift
0.0.0.112011-09-21 08:33 UTCKiYungAhn+24/−6 lines, 4 files
0.0.0.102011-06-01 17:30 UTCKiYungAhn+2/−2 lines, 2 files
0.0.0.92011-02-07 20:44 UTCKiYungAhn+14/−14 lines, 5 filesdep +template-haskelldep +th-liftdep −haskell98
0.0.0.82010-10-25 23:40 UTCKiYungAhn+3/−3 lines, 2 filesdep ~base
0.0.0.72010-02-04 10:58 UTCKiYungAhn+14/−4 lines, 5 files
0.0.0.62010-01-03 08:11 UTCKiYungAhn+149/−92 lines, 5 files
0.0.0.42009-08-05 06:17 UTCKiYungAhn+7/−3 lines, 3 files
0.0.0.32009-08-04 17:10 UTCKiYungAhn+5/−5 lines, 3 files
0.0.0.12009-07-24 00:24 UTCKiYungAhn+615/−0 lines, 8 filesdep +basedep +haskell98dep +parsecsetup-changed

Dependencies of yices-0.0.0.12

base >=4 && <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

parsec >=0 3.1.17.0 → 3.1.18.0
2025-01-05 00:08 UTC3.1.18.0+159/−170 lines, 7 filesdep −faildep ~basedep ~bytestringdep ~mtl
2023-10-04 06:08 UTC3.1.17.0+112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tasty
2023-01-08 20:47 UTC3.1.16.1+6/−2 lines, 3 files
2023-01-08 18:03 UTC3.1.16.0+124/−19 lines, 8 filesdep ~base
2022-05-10 10:14 UTC3.1.15.1+19/−15 lines, 9 filesdep ~basedep ~mtldep ~text

showing 5 of 27 versions

process >=0 1.6.29.0 → 1.6.30.0
2026-06-11 10:14 UTC1.6.30.0+19/−1 lines, 2 files
2026-05-24 11:03 UTC1.6.29.0+5282/−4831 lines, 7 filesdep ~base
2026-04-18 12:18 UTC1.6.28.0+70/−33 lines, 3 files
2026-03-08 19:39 UTC1.6.27.0+3/−2 lines, 2 files
2026-03-07 13:46 UTC1.6.26.2+4852/−5346 lines, 7 files

showing 5 of 57 versions

Reverse dependencies

4 packages depend on yices

afv 0.1.1 requires yices >=0.0.0.6
cao 0.1.1 requires yices >=0
fault-tree 0.0.0 requires yices >=0.0.0.7 && <0.0.1
improve 0.4.0 requires yices >=0.0.0.7 && <0.0.1