packages feed

free-theorems

view on Hackage

versionuploadeduploaderchanges
0.3.2.12022-12-21 12:50 UTCJoachimBreitner+16/−590 lines, 7 filesdep −haskell-src-extsPVP: major bump suggested
0.3.2.02013-02-08 10:49 UTCDanielSeidel+161/−111 lines, 6 filesdep ~basedep ~haskell-src-exts
0.3.1.32010-10-12 08:47 UTCDanielSeidel+3/−3 lines, 2 filesnew-uploader
0.3.1.22009-03-24 08:55 UTCJanisVoigtlaender+2/−2 lines, 1 filesdep ~haskell-src-exts
0.3.1.12009-03-17 11:29 UTCJanisVoigtlaender+66/−36 lines, 3 filesdep +sybdep ~base
0.3.12009-03-02 09:22 UTCJanisVoigtlaender+192/−26 lines, 10 files
0.32008-10-17 14:16 UTCJoachimBreitner+184/−6 lines, 9 files
0.2.12008-10-16 10:12 UTCJoachimBreitner+42/−16 lines, 2 filesdep ~haskell-src-extsnew-uploader
0.22008-02-28 09:45 UTCJanisVoigtlaender+6609/−0 lines, 33 filesdep +basedep +containersdep +haskell-srcsetup-changed

Dependencies of free-theorems-0.3.2.1

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

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

haskell-src >=1.0 1.0.4.1 → 1.0.4.2
2025-08-29 05:59 UTC1.0.4.2+54/−49 lines, 4 filesdep −faildep −semigroupsdep ~basePVP: major bump suggested
2024-09-22 19:26 UTC1.0.4.1+33/−16 lines, 3 filesPVP: major bump suggested
2022-02-07 08:40 UTC1.0.4+9/−3 lines, 3 filesdep ~basePVP ok
2022-02-07 08:30 UTC1.0.3.2+237/−171 lines, 9 filesdep +faildep +semigroupsdep ~arraydep ~basedep ~prettynew-uploaderPVP ok
2019-11-09 18:24 UTC1.0.3.1+13/−21 lines, 4 filesdep −faildep −semigroupsdep ~arraydep ~basedep ~prettyPVP: major bump suggested

showing 5 of 14 versions

mtl >=1.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

pretty >=1.0.0.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

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

Reverse dependencies

5 packages depend on free-theorems

free-theorems-counterexamples 0.3.1.0 requires free-theorems >=0.3.1.3
free-theorems-seq 1.0 requires free-theorems >=0.3.1 && <0.4
free-theorems-webui 0.2.1.1 requires free-theorems >=0.3.1.3 && <0.4
ftshell 0.3.0.1 requires free-theorems >=0.3.1.3 && <0.4
polyseq 0.1.2.1 requires free-theorems >=0.3.1