packages feed

copilot-core

view on Hackage

versionuploadeduploaderchanges
4.82026-07-08 14:00 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
4.7.12026-05-08 21:43 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
4.72026-03-08 19:51 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
4.6.12026-01-08 18:25 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
4.62025-11-08 17:45 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
4.5.12025-09-08 14:26 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
4.52025-07-08 08:18 UTCIvanPerez+6/−6 lines, 3 filesPVP ok
4.42025-05-08 14:25 UTCIvanPerez+6/−3 lines, 3 filesPVP ok
4.32025-03-08 02:24 UTCIvanPerez+30/−3 lines, 4 filesPVP ok
4.22025-01-08 01:11 UTCIvanPerez+468/−45 lines, 6 filesPVP ok
4.12024-11-08 10:22 UTCIvanPerez+41/−12 lines, 3 filesPVP ok
4.02024-09-08 06:34 UTCIvanPerez+29/−2 lines, 4 filesPVP ok
3.202024-07-08 03:45 UTCIvanPerez+18/−4 lines, 4 filesPVP ok
3.19.12024-05-08 07:43 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
3.192024-03-08 09:06 UTCIvanPerez+268/−46 lines, 6 filesPVP ok
3.18.12024-01-08 09:40 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
3.182024-01-08 00:21 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
3.172023-11-08 00:24 UTCIvanPerez+56/−11 lines, 5 filesPVP ok
3.16.12023-09-08 07:42 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
3.162023-07-07 22:49 UTCIvanPerez+4/−1 lines, 2 filesPVP ok
3.152023-05-08 07:09 UTCIvanPerez+9/−372 lines, 8 filesdep −prettyPVP ok
3.142023-03-08 07:59 UTCIvanPerez+15/−965 lines, 10 filesPVP ok
3.132023-01-08 03:25 UTCIvanPerez+153/−1078 lines, 16 filesdep −dlistPVP ok
3.122022-11-08 02:59 UTCIvanPerez+318/−237 lines, 12 filesPVP ok
3.112022-09-07 21:40 UTCIvanPerez+26/−101 lines, 11 filesPVP ok
3.102022-07-07 17:22 UTCIvanPerez+157/−104 lines, 14 filesdep −mtlPVP ok
3.92022-05-07 18:53 UTCIvanPerez+213/−518 lines, 24 filesPVP ok
3.82022-03-08 01:16 UTCIvanPerez+9/−1 lines, 3 filesPVP ok
3.72022-01-07 23:52 UTCIvanPerez+23/−246 lines, 7 filesPVP ok
3.62021-11-08 00:49 UTCIvanPerez2 revisions+1501/−291 lines, 28 filesdep +HUnitdep +QuickCheckdep +copilot-coredep ~basedep ~prettyPVP ok
3.52021-09-07 12:32 UTCIvanPerez2 revisions+17/−70 lines, 5 filesPVP ok
3.42021-07-07 19:58 UTCIvanPerez2 revisions+20/−8 lines, 6 filesPVP ok
3.32021-05-14 22:43 UTCIvanPerez2 revisions+20/−18 lines, 4 filesPVP ok
3.2.12021-03-07 14:59 UTCfrankdedden2 revisions+353/−66 lines, 21 filesPVP ok
3.22020-12-06 21:53 UTCIvanPerez2 revisions+33/−26 lines, 5 filesdep −containersPVP ok
3.12019-11-23 00:34 UTCIvanPerez2 revisions+30/−627 lines, 12 filesdep −randomnew-uploaderPVP ok
3.0.12019-04-09 13:11 UTCfrankdedden2 revisions+51/−26 lines, 4 filesPVP: major bump suggested
3.02019-04-01 22:19 UTCfrankdedden2 revisions+300/−520 lines, 18 filesdep −pretty-ncolsdep ~basedep ~containersdep ~mtlnew-uploaderPVP ok
2.2.12017-07-12 16:36 UTCagoodloe+167/−353 lines, 20 filesnew-uploaderPVP: major bump suggested
2.2.02015-10-23 20:35 UTCLeePike+571/−20 lines, 13 filesPVP ok
2.1.22015-01-03 07:18 UTCLeePike+55/−34 lines, 9 filesdep ~basePVP: major bump suggested
2.1.12013-02-25 04:40 UTCLeePike+13/−13 lines, 4 filesdep ~basedep ~containersPVP ok
0.2.42012-03-02 03:39 UTCLeePike+140/−105 lines, 25 filesPVP: major bump suggested
0.2.32012-01-28 22:02 UTCLeePike+6/−3 lines, 2 filesPVP ok
0.2.22012-01-01 20:24 UTCLeePike+570/−379 lines, 17 filesPVP: major bump suggested
0.2.12011-11-14 17:55 UTCLeePike+280/−194 lines, 6 filesPVP: major bump suggested
0.22011-11-10 06:09 UTCLeePike+2368/−0 lines, 26 filesdep +basedep +containersdep +dlistsetup-changed

Dependencies of copilot-core-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

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-hunit >=0 0.3.0.2 → 0.3.0.3
2026-01-05 13:43 UTC0.3.0.3+42/−40 lines, 4 filesdep −extensible-exceptionsdep ~HUnitdep ~basedep ~test-frameworksetup-changednew-uploader
2015-09-04 15:42 UTC0.3.0.2+12/−4 lines, 2 filesdep ~HUnitnew-uploader
2013-10-09 00:28 UTC0.3.0.1+10/−4 lines, 1 filesnew-uploader
2012-12-04 19:56 UTC0.3.0+4/−1 lines, 2 filesdep ~test-framework
2012-01-27 12:54 UTC0.2.7+5/−5 lines, 2 files

showing 5 of 12 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

Reverse dependencies

12 packages depend on copilot-core; 2 have bounds that exclude 4.8

copilot-sbv 2.2.1 requires copilot-core ==2.2.1 excludes current (upper bound)
ogma-core 1.14.0 requires copilot-core >=4.6.1 && <4.8 excludes current (upper bound)
copilot 4.8 requires copilot-core >=4.8 && <4.9
copilot-bluespec 4.8 requires copilot-core >=4.8 && <4.9
copilot-c99 4.8 requires copilot-core >=4.8 && <4.9
copilot-cbmc 2.2.1 requires copilot-core >=2.2.1
copilot-interpreter 4.8 requires copilot-core >=4.8 && <4.9
copilot-language 4.8 requires copilot-core >=4.8 && <4.9
copilot-prettyprinter 4.8 requires copilot-core >=4.8 && <4.9
copilot-theorem 4.8 requires copilot-core >=4.8 && <4.9
copilot-verifier 4.8 requires copilot-core >=4.8 && <4.9
copilot-visualizer 4.8 requires copilot-core >=4.8 && <4.9