packages feed

simple-smt

view on Hackage

versionuploadeduploaderchanges
0.9.82024-12-13 21:14 UTCIavorDiatchki+153/−39 lines, 2 files
0.9.72021-06-29 22:16 UTCIavorDiatchki+18/−3 lines, 3 files
0.9.62021-03-22 21:57 UTCIavorDiatchki+71/−3 lines, 3 files
0.9.52020-07-08 21:23 UTCIavorDiatchki+4/−2 lines, 3 files
0.9.42019-02-15 18:34 UTCIavorDiatchki1 revisions+12/−1 lines, 3 files
0.9.32018-10-24 22:31 UTCIavorDiatchki1 revisions+43/−6 lines, 3 filesdep ~base
0.9.12018-06-28 00:04 UTCIavorDiatchki+34/−1 lines, 3 files
0.82018-04-30 15:07 UTCIavorDiatchki+85/−13 lines, 3 files
0.7.12017-10-02 22:36 UTCIavorDiatchki+8/−3 lines, 2 files
0.7.02017-02-17 00:47 UTCIavorDiatchki+2/−1 lines, 2 files
0.6.02015-03-31 23:50 UTCIavorDiatchki+47/−12 lines, 3 files
0.5.52015-03-30 23:29 UTCIavorDiatchki+27/−3 lines, 2 files
0.5.42015-02-25 18:35 UTCIavorDiatchki+3/−3 lines, 2 files
0.5.32015-01-15 00:23 UTCIavorDiatchki+15/−1 lines, 3 files
0.5.22015-01-14 22:45 UTCIavorDiatchki+2/−2 lines, 2 files
0.5.12015-01-14 21:30 UTCIavorDiatchki+30/−2 lines, 3 files
0.5.02015-01-13 21:48 UTCIavorDiatchki+49/−2 lines, 2 files
0.4.02014-12-12 18:00 UTCIavorDiatchki+5/−2 lines, 3 files
0.3.02014-12-01 01:03 UTCIavorDiatchki+15/−2 lines, 2 files
0.2.0.02014-11-26 22:49 UTCIavorDiatchki+80/−69 lines, 2 files
0.1.0.02014-11-13 21:24 UTCIavorDiatchki+689/−0 lines, 4 filesdep +basedep +processsetup-changed

Dependencies of simple-smt-0.9.8

base >=4.8 && <10 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

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

2 packages depend on simple-smt

co-feldspar 0.1.0.1 requires simple-smt >=0
cryptol 3.5.0 requires simple-smt >=0.9.8