packages feed

free-theorems-seq-webui

view on Hackage

versionuploadeduploaderchanges
1.0.0.22011-03-30 22:56 UTCDanielSeidel+8/−8 lines, 3 filesdep ~free-theorems-seq
1.0.0.12011-03-15 09:15 UTCDanielSeidel+6/−3 lines, 2 files
1.02011-03-11 17:08 UTCDanielSeidel+300/−0 lines, 7 filesdep +basedep +cgidep +containerssetup-changed

Dependencies of free-theorems-seq-webui-1.0.0.2

base (>=1 && <4) && >=4 4.21.2.0 → 4.22.0.0
2025-12-19 11:52 UTC4.22.0.0 outside bounds+886/−215 lines, 28 filesdep ~ghc-internalPVP ok
2026-03-27 12:26 UTC4.21.2.0 outside bounds+10/−3 lines, 4 filesdep ~ghc-internalPVP ok
2025-12-27 10:31 UTC4.21.1.0 outside bounds+17/−5 lines, 4 filesdep ~ghc-internalPVP ok
2024-12-16 09:24 UTC4.21.0.0 outside bounds+1170/−396 lines, 39 filesdep ~ghc-internalPVP ok
2025-09-12 14:13 UTC4.20.2.0 outside bounds+13/−2 lines, 2 filesdep ~ghc-internalPVP ok

showing 5 of 60 versions

cgi >=3001.1.5.1 3001.5.1.0 → 3001.5.2.0
2026-06-12 08:52 UTC3001.5.2.0+32/−11 lines, 3 filesdep ~textdep ~xhtmlPVP: major bump suggested
2025-02-23 09:24 UTC3001.5.1.0+26/−12 lines, 4 filesdep +textdep ~containersdep ~timedep ~xhtmlPVP: major bump suggested
2023-01-16 11:12 UTC3001.5.0.1+21/−7 lines, 3 filesdep ~bytestringdep ~containersdep ~mtlPVP ok
2019-10-07 18:21 UTC3001.5.0.0+24/−16 lines, 5 filesdep ~basedep ~multipartPVP ok
2019-01-25 16:21 UTC3001.4.0.0+1685/−1637 lines, 21 filesdep +cgidep −mtl-compatdep −networkdep ~basedep ~bytestringdep ~mtlnew-component:exe:cookie.cginew-component:exe:error.cginew-component:exe:hello.cginew-component:exe:printinput.cginew-component:exe:redirect.cginew-component:exe:showAllInputs.cginew-component:exe:upload.cgiPVP ok

showing 5 of 36 versions

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

free-theorems-seq >=1 && <2 (empty) → 1.0
2011-03-11 17:07 UTC1.0+1751/−0 lines, 16 filesdep +arraydep +basedep +bytestringsetup-changed
mtl >=1.1.0.0 2.3.1 → 2.3.2
2025-12-08 04:58 UTC2.3.2+112/−21 lines, 12 filesdep ~basenew-uploader
2022-10-31 21:28 UTC2.3.1+188/−33 lines, 8 filesdep ~base
2022-05-07 20:34 UTC2.3+1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploader
2018-02-24 22:15 UTC2.2.2+152/−36 lines, 14 filesdep ~base
2014-06-02 02:22 UTC2.2.1+179/−4 lines, 8 filesdep ~basedep ~transformers

showing 5 of 20 versions

network >=2.1.0.0 3.2.7.0 → 3.2.8.0
2025-08-11 22:53 UTC3.2.8.0+100/−25 lines, 10 files
2024-11-27 00:22 UTC3.2.7.0+46/−36 lines, 6 files
2024-11-12 01:48 UTC3.2.6.0+23/−4 lines, 5 files
2024-11-07 00:14 UTC3.2.5.0+77/−28 lines, 5 files
2024-09-27 01:27 UTC3.2.4.0+56/−16 lines, 6 files

showing 5 of 93 versions

pretty >=1 && <2 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

syb >=0.1.0.0 0.7.3 → 0.7.4
2026-03-07 17:18 UTC0.7.4+27/−18 lines, 4 files
2025-08-21 20:31 UTC0.7.3+176/−154 lines, 13 filesdep ~base
2023-07-30 17:25 UTC0.7.2.4+434/−64 lines, 7 files
2023-03-18 23:19 UTC0.7.2.3+50/−36 lines, 4 filesdep ~mtl
2022-09-17 15:09 UTC0.7.2.2+108/−79 lines, 36 files

showing 5 of 33 versions

utf8-string >=0.3.1.1 1.0.1.1 → 1.0.2
2021-01-03 18:33 UTC1.0.2+286/−46 lines, 8 filesdep +HUnitdep +utf8-stringdep ~base
2015-08-23 16:19 UTC1.0.1.1+12/−2 lines, 3 filesdep ~base
2015-08-21 22:38 UTC1.0.1+71/−3 lines, 3 filesdep ~base
2015-01-23 01:51 UTC1+17/−194 lines, 5 filesdep ~base
2014-05-19 08:05 UTC0.3.8+50/−7 lines, 9 filesdep ~base

showing 5 of 16 versions

xhtml >=3000.0.2.1 3000.4.0.0 → 3000.4.1.0
2026-06-18 13:26 UTC3000.4.1.0+6/−3 lines, 3 filesPVP: major bump suggested
2024-11-17 11:17 UTC3000.4.0.0+47/−19 lines, 4 filesnew-uploader
2023-07-21 08:33 UTC3000.3.0.0+639/−304 lines, 15 filesdep +bytestringdep +containersdep +textdep ~base
2018-03-09 17:07 UTC3000.2.2.1+19/−4 lines, 3 filesdep ~base
2017-06-17 20:51 UTC3000.2.2+82/−118 lines, 18 filesdep +semigroupsdep ~basenew-uploader

showing 5 of 17 versions

Reverse dependencies

1 packages depend on free-theorems-seq-webui

acme-everything 2018.11.18 requires free-theorems-seq-webui >=0