packages feed

smtLib

view on Hackage

versionuploadeduploaderchanges
1.12019-01-10 23:16 UTCIavorDiatchki+4/−1 lines, 4 files
1.0.92018-04-30 15:11 UTCIavorDiatchki+3/−1 lines, 3 files
1.0.82016-05-09 20:38 UTCIavorDiatchki+36/−22 lines, 4 files
1.0.72014-02-14 18:54 UTCIavorDiatchki1 revisions+2/−2 lines, 2 files
1.0.62013-07-03 18:29 UTCIavorDiatchki1 revisions+7/−3 lines, 3 files
1.0.52013-07-03 16:51 UTCIavorDiatchki1 revisions+52/−7 lines, 3 files
1.0.42013-05-23 20:50 UTCIavorDiatchki1 revisions+17/−12 lines, 14 filesdep ~base
1.0.32013-04-18 17:00 UTCIavorDiatchki+47/−1 lines, 2 files
1.0.22011-12-20 17:46 UTCIavorDiatchki+1/−3 lines, 1 files
1.0.12011-12-20 07:41 UTCIavorDiatchki+1/−79 lines, 3 filesdep −processdep −smtLib
1.02011-12-19 22:29 UTCIavorDiatchki+1254/−0 lines, 18 filesdep +basedep +prettydep +processsetup-changed

Dependencies of smtLib-1.1

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

pretty >=0 1.1.3.5 → 1.1.3.6
2018-01-29 04:01 UTC1.1.3.6+101/−5 lines, 7 filesdep +criteriondep +prettydep ~base
2017-02-03 23:16 UTC1.1.3.5+8/−3 lines, 3 files
2016-06-03 18:38 UTC1.1.3.4+26/−4 lines, 6 files
2016-02-29 19:00 UTC1.1.3.3+165/−109 lines, 7 files
2015-03-19 09:15 UTC1.1.3.2+27/−25 lines, 6 files

showing 5 of 17 versions

Reverse dependencies

1 packages depend on smtLib; 1 have bounds that exclude 1.1

Hsmtlib 2.8.8.8 requires smtLib >=1.0 && <1.1 excludes current (upper bound)