packages feed

copilot-theorem

view on Hackage

versionuploadeduploaderchanges
4.82026-07-08 14:00 UTCIvanPerez+228/−195 lines, 8 filesdep +extradep −xmldep ~copilot-coredep ~copilot-prettyprinterPVP ok
4.7.12026-05-08 22:33 UTCIvanPerez+26/−5 lines, 3 filesdep +fp-ieeedep ~copilot-coredep ~copilot-prettyprinterPVP ok
4.72026-03-08 19:53 UTCIvanPerez+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
4.6.12026-01-08 18:25 UTCIvanPerez+9/−5 lines, 2 filesdep ~containersdep ~copilot-coredep ~copilot-prettyprinterPVP ok
4.62025-11-08 17:46 UTCIvanPerez+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
4.5.12025-09-08 14:27 UTCIvanPerez+8/−40 lines, 3 filesdep −parsecdep ~copilot-coredep ~copilot-prettyprinterPVP ok
4.52025-07-08 08:18 UTCIvanPerez+19/−21 lines, 5 filesdep ~copilot-coredep ~copilot-prettyprinterdep ~what4PVP ok
4.42025-05-08 14:25 UTCIvanPerez+70/−22 lines, 9 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
4.32025-03-08 02:25 UTCIvanPerez+641/−143 lines, 9 filesdep +HUnitdep ~copilot-coredep ~copilot-prettyprinterPVP ok
4.22025-01-08 01:11 UTCIvanPerez+11/−6 lines, 3 filesdep ~containersdep ~copilot-coredep ~copilot-prettyprinterPVP ok
4.12024-11-08 10:22 UTCIvanPerez+17/−13 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
4.02024-09-08 06:34 UTCIvanPerez+199/−10 lines, 4 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
3.202024-07-08 03:45 UTCIvanPerez+8/−4 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterdep ~what4PVP ok
3.19.12024-05-08 07:43 UTCIvanPerez+35/−281 lines, 4 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
3.192024-03-08 09:07 UTCIvanPerez+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
3.18.12024-01-08 09:41 UTCIvanPerez+12/−4 lines, 7 filesdep ~copilot-coredep ~copilot-prettyprinter
3.182024-01-08 00:22 UTCIvanPerez+162/−3 lines, 4 filesdep +QuickCheckdep +copilot-theoremdep +test-frameworkdep ~basedep ~copilot-coredep ~copilot-prettyprinter
3.172023-11-08 00:25 UTCIvanPerez+10/−5 lines, 3 filesdep ~copilot-coredep ~copilot-prettyprinterdep ~what4PVP ok
3.16.12023-09-08 07:42 UTCIvanPerez+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
3.162023-07-07 22:51 UTCIvanPerez+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
3.152023-05-08 07:10 UTCIvanPerez+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
3.142023-03-08 08:00 UTCIvanPerez+8/−4 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterdep ~what4PVP ok
3.132023-01-08 03:26 UTCIvanPerez+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
3.122022-11-08 03:01 UTCIvanPerez+1827/−951 lines, 5 filesdep +copilot-prettyprinterdep ~copilot-coredep ~what4PVP ok
3.112022-09-07 21:40 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-corePVP ok
3.102022-07-07 17:23 UTCIvanPerez+21/−24 lines, 2 filesdep −ansi-terminaldep −filepathdep ~bimapdep ~copilot-coredep ~mtlPVP ok
3.92022-05-07 18:54 UTCIvanPerez+437/−670 lines, 33 filesdep ~copilot-corePVP ok
3.82022-03-08 01:19 UTCIvanPerez+29/−24 lines, 4 filesdep ~copilot-corePVP ok
3.72022-01-07 23:52 UTCIvanPerez+7/−3 lines, 2 filesdep ~copilot-coredep ~what4PVP ok
3.62021-11-08 00:50 UTCIvanPerez+7/−3 lines, 3 filesdep ~copilot-corePVP ok
3.52021-09-07 12:32 UTCIvanPerez+15/−11 lines, 5 filesdep ~copilot-corePVP ok
3.42021-07-07 19:58 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-corePVP ok
3.32021-05-14 22:43 UTCIvanPerez+33/−28 lines, 5 filesdep +libBFdep ~copilot-coredep ~what4PVP ok
3.2.12021-03-07 14:59 UTCfrankdedden+1553/−104 lines, 35 filesdep +bv-sizeddep +filepathdep +panicdep ~copilot-corePVP ok
3.22020-12-06 22:01 UTCIvanPerez+17/−2 lines, 2 filesdep ~copilot-corePVP ok
3.12019-11-23 00:38 UTCIvanPerez+6/−15 lines, 4 filesdep ~copilot-corenew-uploaderPVP ok
3.02019-04-01 22:20 UTCfrankdedden+39/−590 lines, 7 filesdep −smtlib2dep ~ansi-terminaldep ~basedep ~bimapnew-uploaderPVP ok
2.2.12017-07-12 16:39 UTCagoodloe+306/−316 lines, 35 filesdep ~copilot-coredep ~smtlib2new-uploaderPVP: major bump suggested
2.2.02015-10-23 21:40 UTCLeePike+5169/−0 lines, 37 filesdep +ansi-terminaldep +basedep +bimapsetup-changed

Dependencies of copilot-theorem-4.8

HUnit >=0 1.6.1.0 → 1.6.2.0
2021-01-19 18:27 UTC1.6.2.0+48/−42 lines, 5 filesdep ~call-stackPVP: major bump suggested
2020-10-31 12:09 UTC1.6.1.0+35/−21 lines, 4 filesPVP ok
2017-03-20 01:42 UTC1.6.0.0+9/−5 lines, 4 filesdep ~basePVP ok
2016-10-16 03:35 UTC1.5.0.0+47/−27 lines, 5 filesPVP ok
2016-10-07 03:13 UTC1.4.0.0+761/−778 lines, 12 filesdep +call-stackPVP ok

showing 5 of 22 versions

QuickCheck >=0 2.17.1.0 → 2.18.0.0
2026-02-26 12:42 UTC2.18.0.0+826/−542 lines, 23 filesPVP ok
2025-10-13 12:40 UTC2.17.1.0+18/−8 lines, 4 filesdep ~randomPVP: major bump suggested
2025-10-07 12:26 UTC2.17.0.0+667/−129 lines, 14 filesdep +data-array-bytedep +hintdep +splitdep −ghc-primdep −old-localedep −old-timedep ~basedep ~randomdep ~template-haskellPVP ok
2025-06-17 07:53 UTC2.16.0.0+477/−86 lines, 15 filesdep ~basenew-uploaderPVP ok
2024-05-27 14:54 UTC2.15.0.1+15/−6 lines, 4 filesdep ~randomPVP ok

showing 5 of 65 versions

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

bimap >=0.3 && <0.4 || >=0.5 && <0.6 0.4.0 → 0.5.0
2022-05-15 01:41 UTC0.5.0+49/−5 lines, 3 filesPVP ok
2019-06-14 03:38 UTC0.4.0 outside bounds+34/−9 lines, 2 filesdep +deepseqdep +ghc-primPVP ok
2017-04-28 14:47 UTC0.3.3+6/−2 lines, 2 filesPVP ok
2016-01-19 02:07 UTC0.3.2+567/−2 lines, 3 filesdep ~basePVP ok
2015-10-18 01:41 UTC0.3.1+133/−578 lines, 9 filesdep +QuickCheckdep +exceptionsdep +template-haskelldep ~basesetup-changedPVP: major bump suggested

showing 5 of 12 versions

bv-sized >=1.0.2 && <1.1 1.0.6 → 1.0.7
2026-01-24 01:55 UTC1.0.7+9/−15 lines, 3 filesdep ~parameterized-utilsnew-uploaderPVP: major bump suggested
2025-03-05 20:32 UTC1.0.6+19/−5 lines, 4 filesdep ~randomPVP: major bump suggested
2023-01-23 18:13 UTC1.0.5+159/−119 lines, 5 filesdep ~MonadRandomdep ~bytestringdep ~deepseqnew-uploaderPVP: major bump suggested
2022-04-08 23:38 UTC1.0.4+51/−8 lines, 7 filesdep ~basedep ~bytestringPVP ok
2021-04-24 23:07 UTC1.0.3+136/−27 lines, 7 filesdep +MonadRandomdep +deepseqdep +randomdep ~tastydep ~tasty-hedgehogPVP: major bump suggested

showing 5 of 18 versions

containers >=0.4 && <0.9 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

copilot-core >=4.8 && <4.9 4.7.1 → 4.8
2026-07-08 14:00 UTC4.8+4/−1 lines, 2 filesPVP ok
2026-05-08 21:43 UTC4.7.1 outside bounds+4/−1 lines, 2 filesPVP ok
2026-03-08 19:51 UTC4.7 outside bounds+4/−1 lines, 2 filesPVP ok
2026-01-08 18:25 UTC4.6.1 outside bounds+4/−1 lines, 2 filesPVP ok
2025-11-08 17:45 UTC4.6 outside bounds+4/−1 lines, 2 filesPVP ok

showing 5 of 47 versions

copilot-prettyprinter >=4.8 && <4.9 4.7.1 → 4.8
2026-07-08 14:00 UTC4.8+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2026-05-08 22:33 UTC4.7.1 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2026-03-08 19:51 UTC4.7 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2026-01-08 18:25 UTC4.6.1 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2025-11-08 17:46 UTC4.6 outside bounds+5/−2 lines, 2 filesdep ~copilot-corePVP ok

showing 5 of 24 versions

data-default >=0.7 && <0.9 0.8.0.1 → 0.8.0.2
2026-01-06 19:33 UTC0.8.0.2+27/−2 lines, 4 filesPVP: major bump suggested
2025-03-16 21:34 UTC0.8.0.1+146/−2 lines, 2 filesdep ~containersPVP ok
2024-10-23 20:22 UTC0.8.0.0+363/−34 lines, 4 filesdep −data-default-classdep −data-default-instances-containersdep −data-default-instances-dlistdep ~basedep ~containersPVP ok
2024-10-17 19:18 UTC0.7.1.3+10/−6 lines, 2 filesdep ~data-default-classdep ~data-default-instances-containersdep ~data-default-instances-dlistPVP ok
2024-10-13 14:25 UTC0.7.1.2+182/−62 lines, 4 filesdep +containersdep +data-defaultdep +mtldep ~data-default-classPVP: major bump suggested

showing 5 of 17 versions

directory >=1.3 && <1.4 1.3.10.1 → 1.3.11.0
2026-05-27 05:59 UTC1.3.11.0+4560/−4504 lines, 25 filesdep ~file-iodep ~filepathdep ~os-stringPVP ok
2026-01-05 11:08 UTC1.3.10.1+4989/−4830 lines, 43 filesPVP: major bump suggested
2025-12-24 02:55 UTC1.3.10.0+90/−39 lines, 7 filesdep ~Win32dep ~basePVP: major bump suggested
2024-10-11 10:43 UTC1.3.9.0+235/−158 lines, 14 filesdep +file-iodep ~basedep ~timePVP: major bump suggested
2024-05-20 06:52 UTC1.3.8.5+15/−13 lines, 7 filesdep ~basePVP ok

showing 5 of 55 versions

extra >=1.7 && <1.9 1.8 → 1.8.1
2025-11-23 14:32 UTC1.8.1+48/−4 lines, 6 filesPVP ok
2024-10-19 13:35 UTC1.8+113/−18 lines, 9 filesdep ~basePVP ok
2024-05-11 15:55 UTC1.7.16+4/−2 lines, 3 filesdep ~basePVP: major bump suggested
2024-05-10 13:07 UTC1.7.15+21/−8 lines, 9 filesPVP ok
2023-07-01 19:19 UTC1.7.14+10/−4 lines, 3 filesdep ~basePVP ok

showing 5 of 74 versions

fp-ieee >=0.1 && <0.2 0.1.0.5 → 0.1.0.6
2025-12-29 13:03 UTC0.1.0.6+205/−188 lines, 12 filesdep ~QuickCheckdep ~basedep ~doctestPVP ok
2024-12-15 09:31 UTC0.1.0.5+12/−7 lines, 3 filesdep ~QuickCheckdep ~basePVP ok
2024-02-18 03:50 UTC0.1.0.4+51/−6 lines, 8 filesdep ~basePVP ok
2023-11-18 03:22 UTC0.1.0.3+201/−31 lines, 14 filesdep ~QuickCheckdep ~basedep ~doctestPVP ok
2021-11-30 09:35 UTC0.1.0.2+110/−422 lines, 9 filesdep +tasty-benchdep −decimal-arithmeticdep −gaugedep ~ghc-bignumPVP ok

showing 5 of 7 versions

libBF >=0.6.2 && <0.7 0.6.7 → 0.6.8
2024-06-05 22:18 UTC0.6.8+32/−3 lines, 5 files
2023-11-29 00:33 UTC0.6.7+73/−40 lines, 5 filesdep +tastydep +tasty-hunitdep ~base
2023-07-17 19:26 UTC0.6.6+9952/−9282 lines, 11 files
2022-08-29 19:46 UTC0.6.5.1+11/−5 lines, 2 files
2022-08-29 19:08 UTC0.6.5+9/−3 lines, 2 files

showing 5 of 12 versions

mtl >=2.0 && <2.4 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

panic >=0.4.0 && <0.5 0.4.0.0 → 0.4.0.1
2018-06-19 00:29 UTC0.4.0.1+4/−4 lines, 2 files
2018-05-22 21:36 UTC0.4.0.0+2/−2 lines, 2 files
2018-05-22 21:18 UTC0.3.0.0 outside bounds+16/−3 lines, 2 files
2018-05-22 21:05 UTC0.2.0.0 outside bounds+124/−0 lines, 5 filesdep +basedep +gitrevdep +template-haskellsetup-changed
parameterized-utils >=2.1.1 && <2.2 2.1.11.0 → 2.3.0.0 newer than bounds
2026-03-09 15:08 UTC2.3.0.0 newer than bounds+20/−31 lines, 6 filesdep −microlens-prodep −profunctors
2026-01-22 19:29 UTC2.2.0.0 newer than bounds+52/−38 lines, 12 filesdep +microlensdep +microlens-prodep −lens
2025-11-05 00:21 UTC2.1.11.0+6/−4 lines, 2 filesdep −ghc-primnew-uploader
2025-03-20 19:26 UTC2.1.10.0+128/−5 lines, 15 filesdep ~basenew-uploader
2024-09-19 14:50 UTC2.1.9.0+12/−8 lines, 3 filesdep ~hashtables

showing 5 of 19 versions

pretty >=1.0 && <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

process >=1.6 && <1.7 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

random >=1.1 && <1.4 1.3.0 → 1.3.1
2025-04-04 14:25 UTC1.3.1+15/−6 lines, 3 files
2025-01-06 04:03 UTC1.3.0+2410/−538 lines, 16 filesdep +data-array-bytedep ~basedep ~transformers
2024-12-14 20:31 UTC1.2.1.3+22/−37 lines, 3 filesdep −doctestdep −mwc-randomdep −unliftiodep ~basedep ~containersdep ~primitive
2024-02-04 16:26 UTC1.2.1.2+17/−12 lines, 2 filesdep ~doctestdep ~tasty
2022-05-09 02:32 UTC1.2.1.1+8/−9 lines, 3 filesdep −ghc-byteorderdep ~bytestringdep ~doctestdep ~mtl

showing 5 of 15 versions

test-framework >=0 0.8.2.2 → 0.8.2.3
2026-01-05 13:44 UTC0.8.2.3+15/−15 lines, 3 filesdep −bytestringdep −old-localedep −semigroupsdep ~ansi-terminaldep ~ansi-wl-pprintdep ~hostname
2025-04-11 08:21 UTC0.8.2.2+34/−35 lines, 3 filesdep −libxmldep −utf8-stringdep ~QuickCheck
2025-02-26 19:51 UTC0.8.2.1+1700/−1542 lines, 55 filesdep +utf8-stringdep −base-orphansdep ~HUnitdep ~QuickCheckdep ~ansi-terminalsetup-changednew-uploader
2017-12-30 17:50 UTC0.8.2.0+134/−79 lines, 13 filesdep +base-orphansdep +semigroupsdep ~QuickCheckdep ~ansi-terminaldep ~ansi-wl-pprintsetup-changed
2015-01-09 04:04 UTC0.8.1.1+7/−2 lines, 2 filesdep ~ansi-terminaldep ~time

showing 5 of 34 versions

test-framework-quickcheck2 >=0 0.3.0.6 → 0.3.0.7
2026-01-05 13:43 UTC0.3.0.7+14/−10 lines, 3 filesdep −extensible-exceptions
2025-02-26 19:51 UTC0.3.0.6+40/−33 lines, 4 filesdep ~QuickCheckdep ~basedep ~randomsetup-changednew-uploader
2018-09-03 17:10 UTC0.3.0.5+12/−7 lines, 3 filesdep ~QuickCheckdep ~random
2017-06-16 14:41 UTC0.3.0.4+47/−36 lines, 5 filesdep ~QuickCheckdep ~basedep ~test-frameworksetup-changednew-uploader
2014-04-11 10:30 UTC0.3.0.3+25/−4 lines, 2 filesdep ~QuickCheckdep ~randomdep ~test-frameworknew-uploader

showing 5 of 24 versions

transformers >=0.5 && <0.7 0.6.2.0 → 0.6.3.0
2026-01-12 12:42 UTC0.6.3.0+28/−1 lines, 4 files
2025-04-06 22:39 UTC0.6.2.0+41/−42 lines, 8 filesdep ~ghc-prim
2024-09-25 11:37 UTC0.6.1.2+70/−21 lines, 19 files
2023-08-01 19:13 UTC0.6.1.1+281/−42 lines, 11 files
2023-02-04 08:15 UTC0.6.1.0+64/−4 lines, 8 files

showing 5 of 42 versions

what4 >=1.3 && <1.8 1.7.2 → 1.7.3
2026-01-26 16:47 UTC1.7.3+26/−3 lines, 4 files
2025-11-19 10:56 UTC1.7.2+67/−6 lines, 4 files
2025-11-05 16:12 UTC1.7.1.0+519/−157 lines, 17 filesdep −ghc-primdep −utf8-stringdep ~basedep ~parameterized-utilsdep ~prettyprinternew-uploader
2025-03-21 02:20 UTC1.7+560/−78 lines, 13 filesdep ~basedep ~containersdep ~hedgehognew-component:exe:bool-normalizationnew-uploader
2025-02-26 21:41 UTC1.6.3+17/−4 lines, 4 files

showing 5 of 16 versions

Reverse dependencies

5 packages depend on copilot-theorem; 1 have bounds that exclude 4.8

ogma-core 1.14.0 requires copilot-theorem >=4.6.1 && <4.8 excludes current (upper bound)
copilot 4.8 requires copilot-theorem >=4.8 && <4.9
copilot-language 4.8 requires copilot-theorem >=4.8 && <4.9
copilot-libraries 4.8 requires copilot-theorem >=0
copilot-verifier 4.8 requires copilot-theorem >=4.8 && <4.9