packages feed

simple-smt

view on Hackage

versionuploadeduploaderchanges
1.0.12026-08-31 22:28 UTCIavorDiatchki+163/−6 lines, 4 filesdep ~basePVP ok
1.02026-08-31 18:47 UTCIavorDiatchki+56/−43 lines, 2 filesPVP ok
0.9.92026-08-26 23:10 UTCIavorDiatchki+245/−17 lines, 3 filesdep +containersdep +simple-get-optdep +simple-smtdep ~basenew-component:exe:diff-sexpPVP ok
0.9.82024-12-13 21:14 UTCIavorDiatchki+153/−39 lines, 2 filesPVP: major bump suggested
0.9.72021-06-29 22:16 UTCIavorDiatchki+18/−3 lines, 3 filesPVP ok
0.9.62021-03-22 21:57 UTCIavorDiatchki+71/−3 lines, 3 filesPVP ok
0.9.52020-07-08 21:23 UTCIavorDiatchki+4/−2 lines, 3 filesPVP ok
0.9.42019-02-15 18:34 UTCIavorDiatchki1 revisions+12/−1 lines, 3 filesPVP: major bump suggested
0.9.32018-10-24 22:31 UTCIavorDiatchki1 revisions+43/−6 lines, 3 filesdep ~basePVP: major bump suggested
0.9.12018-06-28 00:04 UTCIavorDiatchki+34/−1 lines, 3 filesPVP ok
0.82018-04-30 15:07 UTCIavorDiatchki+85/−13 lines, 3 filesPVP ok
0.7.12017-10-02 22:36 UTCIavorDiatchki+8/−3 lines, 2 filesPVP ok
0.7.02017-02-17 00:47 UTCIavorDiatchki+2/−1 lines, 2 filesPVP ok
0.6.02015-03-31 23:50 UTCIavorDiatchki+47/−12 lines, 3 filesPVP ok
0.5.52015-03-30 23:29 UTCIavorDiatchki+27/−3 lines, 2 filesPVP ok
0.5.42015-02-25 18:35 UTCIavorDiatchki+3/−3 lines, 2 filesPVP ok
0.5.32015-01-15 00:23 UTCIavorDiatchki+15/−1 lines, 3 filesPVP ok
0.5.22015-01-14 22:45 UTCIavorDiatchki+2/−2 lines, 2 filesPVP ok
0.5.12015-01-14 21:30 UTCIavorDiatchki+30/−2 lines, 3 filesPVP ok
0.5.02015-01-13 21:48 UTCIavorDiatchki+49/−2 lines, 2 filesPVP ok
0.4.02014-12-12 18:00 UTCIavorDiatchki+5/−2 lines, 3 filesPVP ok
0.3.02014-12-01 01:03 UTCIavorDiatchki+15/−2 lines, 2 filesPVP ok
0.2.0.02014-11-26 22:49 UTCIavorDiatchki+80/−69 lines, 2 filesPVP ok
0.1.0.02014-11-13 21:24 UTCIavorDiatchki+689/−0 lines, 4 filesdep +basedep +processsetup-changed

Dependencies of simple-smt-1.0.1

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

containers >=0 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

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

showing 5 of 57 versions

simple-get-opt >=0 0.4 → 0.5
2022-10-07 09:04 UTC0.5+51/−26 lines, 2 filesPVP ok
2020-01-07 17:50 UTC0.4+22/−11 lines, 2 filesPVP ok
2019-03-05 01:10 UTC0.3+8/−5 lines, 2 filesPVP ok
2018-11-21 19:52 UTC0.2.0+25/−8 lines, 2 filesdep ~basePVP ok
2015-01-19 19:25 UTC0.1.0.0+237/−0 lines, 4 filesdep +basesetup-changed

Reverse dependencies

3 packages depend on simple-smt; 1 have bounds that exclude 1.0.1

qute-symex 0.1.1 requires simple-smt >=0.9.8 && <0.10 excludes current (upper bound)
co-feldspar 0.1.0.1 requires simple-smt >=0
cryptol 3.6.0 requires simple-smt >=1.0.1