packages feed

bindings-yices

view on Hackage

versionuploadeduploaderchanges
0.3.0.22015-08-22 12:36 UTCPepeIborra+5/−1 lines, 2 files
0.3.0.12015-08-22 12:30 UTCPepeIborra+6/−2 lines, 1 files
0.32015-08-22 08:37 UTCPepeIborra+6/−1 lines, 2 files
0.22010-06-02 18:05 UTCPepeIborra+126/−113 lines, 3 files
0.12009-12-25 17:17 UTCPepeIborra+813/−0 lines, 4 filesdep +basesetup-changed

Dependencies of bindings-yices-0.3.0.2

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

Reverse dependencies

1 packages depend on bindings-yices

yices-easy 0.1 requires bindings-yices >=0.2