packages feed

copilot-libraries

view on Hackage

versionuploadeduploaderchanges
4.82026-07-08 14:00 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
4.7.12026-05-08 22:35 UTCIvanPerez+78/−3 lines, 4 filesdep ~copilot-languagePVP ok
4.72026-03-08 19:53 UTCIvanPerez+8/−5 lines, 2 filesdep ~copilot-languagePVP ok
4.6.12026-01-08 18:25 UTCIvanPerez+7/−3 lines, 2 filesdep ~containersdep ~copilot-languagePVP ok
4.62025-11-08 17:46 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
4.5.12025-09-08 14:27 UTCIvanPerez+8/−5 lines, 2 filesdep ~copilot-languagePVP ok
4.52025-07-08 08:18 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
4.42025-05-08 14:25 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
4.32025-03-08 02:25 UTCIvanPerez+9/−12 lines, 4 filesdep ~copilot-languagePVP ok
4.22025-01-08 01:11 UTCIvanPerez+7/−3 lines, 2 filesdep ~containersdep ~copilot-languagePVP ok
4.12024-11-08 10:22 UTCIvanPerez+10/−6 lines, 2 filesdep ~copilot-languagePVP ok
4.02024-09-08 06:34 UTCIvanPerez+33/−22 lines, 4 filesdep ~copilot-languagePVP ok
3.202024-07-08 03:45 UTCIvanPerez+9/−6 lines, 2 filesdep ~copilot-languagePVP ok
3.19.12024-05-08 07:43 UTCIvanPerez+9/−6 lines, 2 filesdep ~copilot-languagePVP ok
3.192024-03-08 09:07 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.18.12024-01-08 09:41 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-language
3.182024-01-08 00:22 UTCIvanPerez+684/−2 lines, 5 filesdep +QuickCheckdep +copilot-interpreterdep +copilot-librariesdep ~basedep ~copilot-language
3.172023-11-08 00:25 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.16.12023-09-08 07:43 UTCIvanPerez+22/−8 lines, 4 filesdep ~copilot-languagePVP ok
3.162023-07-07 22:51 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.152023-05-08 07:11 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.142023-03-08 08:00 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.132023-01-08 03:26 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.122022-11-08 03:01 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.112022-09-07 21:40 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.102022-07-07 17:25 UTCIvanPerez+12/−8 lines, 2 filesdep −arraydep −data-reifydep ~copilot-languagedep ~mtlPVP ok
3.92022-05-07 18:55 UTCIvanPerez+65/−89 lines, 11 filesdep ~copilot-languagePVP ok
3.82022-03-08 01:21 UTCIvanPerez+8/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.72022-01-07 23:54 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.62021-11-08 00:51 UTCIvanPerez+41/−16 lines, 7 filesdep ~copilot-languagePVP ok
3.52021-09-07 12:32 UTCIvanPerez+13/−5 lines, 3 filesdep ~copilot-languagePVP ok
3.42021-07-07 19:59 UTCIvanPerez+5/−2 lines, 2 filesdep ~copilot-languagePVP ok
3.32021-05-14 22:45 UTCIvanPerez+12/−9 lines, 3 filesdep ~copilot-languagePVP ok
3.2.12021-03-07 14:59 UTCfrankdedden+182/−70 lines, 6 filesdep ~copilot-languagePVP ok
3.22020-12-06 22:03 UTCIvanPerez+11/−8 lines, 2 filesdep ~copilot-languagePVP ok
3.12019-11-23 00:41 UTCIvanPerez+5/−3 lines, 2 filesdep ~copilot-languagenew-uploaderPVP ok
3.02019-04-01 22:19 UTCfrankdedden+47/−14 lines, 2 filesdep +data-reifydep ~arraydep ~basedep ~containersnew-uploaderPVP ok
2.2.12017-07-12 16:38 UTCagoodloe+10/−12 lines, 2 filesdep ~copilot-languagenew-uploaderPVP: major bump suggested
2.2.02015-10-23 20:56 UTCLeePike+386/−120 lines, 11 filesdep ~copilot-languagePVP ok
2.1.12013-02-25 04:42 UTCLeePike+8/−8 lines, 1 filesdep ~basePVP ok
0.62012-03-06 17:56 UTCLeePike+3/−10 lines, 8 files
0.52012-03-03 05:11 UTCLeePike+10/−10 lines, 1 files
0.42012-03-02 03:24 UTCLeePike+57/−8 lines, 9 files
0.32012-02-13 06:43 UTCLeePike+23/−8 lines, 3 filesPVP ok
0.22012-01-01 20:27 UTCLeePike+1/−1 lines, 1 filesPVP ok
0.12011-11-10 06:24 UTCLeePike+945/−0 lines, 11 filesdep +arraydep +basedep +containerssetup-changed

Dependencies of copilot-libraries-4.8

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

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-interpreter >=0 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+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2026-03-08 19:53 UTC4.7+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2026-01-08 18:25 UTC4.6.1+5/−2 lines, 2 filesdep ~copilot-corePVP ok
2025-11-08 17:46 UTC4.6+5/−2 lines, 2 filesdep ~copilot-corePVP ok

showing 5 of 25 versions

copilot-language >=4.8 && <4.9 4.7.1 → 4.8
2026-07-08 14:00 UTC4.8+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
2026-05-08 22:34 UTC4.7.1 outside bounds+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
2026-03-08 19:53 UTC4.7 outside bounds+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
2026-01-08 18:25 UTC4.6.1 outside bounds+9/−5 lines, 2 filesdep ~containersdep ~copilot-coredep ~copilot-interpreterPVP ok
2025-11-08 17:46 UTC4.6 outside bounds+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok

showing 5 of 52 versions

copilot-theorem >=0 4.7.1 → 4.8
2026-07-08 14:00 UTC4.8+228/−195 lines, 8 filesdep +extradep −xmldep ~copilot-coredep ~copilot-prettyprinterPVP ok
2026-05-08 22:33 UTC4.7.1+26/−5 lines, 3 filesdep +fp-ieeedep ~copilot-coredep ~copilot-prettyprinterPVP ok
2026-03-08 19:53 UTC4.7+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
2026-01-08 18:25 UTC4.6.1+9/−5 lines, 2 filesdep ~containersdep ~copilot-coredep ~copilot-prettyprinterPVP ok
2025-11-08 17:46 UTC4.6+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok

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

parsec >=2.0 && <3.2 3.1.17.0 → 3.1.18.0
2025-01-05 00:08 UTC3.1.18.0+159/−170 lines, 7 filesdep −faildep ~basedep ~bytestringdep ~mtl
2023-10-04 06:08 UTC3.1.17.0+112/−25 lines, 8 filesdep +deepseqdep ~basedep ~bytestringdep ~tasty
2023-01-08 20:47 UTC3.1.16.1+6/−2 lines, 3 files
2023-01-08 18:03 UTC3.1.16.0+124/−19 lines, 8 filesdep ~base
2022-05-10 10:14 UTC3.1.15.1+19/−15 lines, 9 filesdep ~basedep ~mtldep ~text

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

Reverse dependencies

2 packages depend on copilot-libraries

copilot 4.8 requires copilot-libraries >=4.8 && <4.9
copilot-verifier 4.8 requires copilot-libraries >=4.8 && <4.9