packages feed

copilot-language

view on Hackage

versionuploadeduploaderchanges
4.82026-07-08 14:00 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
4.7.12026-05-08 22:34 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
4.72026-03-08 19:53 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
4.6.12026-01-08 18:25 UTCIvanPerez+9/−5 lines, 2 filesdep ~containersdep ~copilot-coredep ~copilot-interpreterPVP ok
4.62025-11-08 17:46 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
4.5.12025-09-08 14:27 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
4.52025-07-08 08:18 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
4.42025-05-08 14:25 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
4.32025-03-08 02:25 UTCIvanPerez+48/−27 lines, 7 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
4.22025-01-08 01:11 UTCIvanPerez+9/−5 lines, 2 filesdep ~containersdep ~copilot-coredep ~copilot-interpreterPVP ok
4.12024-11-08 10:22 UTCIvanPerez+34/−16 lines, 3 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
4.02024-09-08 06:34 UTCIvanPerez+164/−54 lines, 5 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
3.202024-07-08 03:45 UTCIvanPerez+85/−18 lines, 5 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
3.19.12024-05-08 07:43 UTCIvanPerez+12/−9 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
3.192024-03-08 09:07 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
3.18.12024-01-08 09:41 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theorem
3.182024-01-08 00:22 UTCIvanPerez+23/−7 lines, 5 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theorem
3.172023-11-08 00:25 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
3.16.12023-09-08 07:43 UTCIvanPerez+7/−4 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
3.162023-07-07 22:51 UTCIvanPerez+15/−11 lines, 6 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
3.152023-05-08 07:11 UTCIvanPerez+9/−6 lines, 3 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
3.142023-03-08 08:00 UTCIvanPerez+17/−13 lines, 4 filesdep −copilot-prettyprinterdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
3.132023-01-08 03:26 UTCIvanPerez+8/−5 lines, 2 filesdep ~copilot-coredep ~copilot-interpreterdep ~copilot-prettyprinterPVP ok
3.122022-11-08 03:01 UTCIvanPerez+15/−10 lines, 3 filesdep +copilot-prettyprinterdep ~copilot-coredep ~copilot-interpreterdep ~copilot-theoremPVP ok
3.112022-09-07 21:40 UTCIvanPerez+29/−22 lines, 7 filesdep +copilot-interpreterdep ~copilot-coredep ~copilot-theoremPVP ok
3.102022-07-07 17:25 UTCIvanPerez+51/−30 lines, 5 filesdep ~copilot-coredep ~copilot-theoremPVP ok
3.92022-05-07 18:55 UTCIvanPerez+30/−252 lines, 28 filesdep ~copilot-coredep ~copilot-theoremPVP ok
3.82022-03-08 01:20 UTCIvanPerez+860/−23 lines, 7 filesdep +HUnitdep +QuickCheckdep +copilot-languagedep ~basedep ~copilot-coredep ~copilot-theoremPVP ok
3.72022-01-07 23:53 UTCIvanPerez+15/−3 lines, 3 filesdep ~copilot-coredep ~copilot-theoremPVP ok
3.62021-11-08 00:50 UTCIvanPerez+71/−18 lines, 8 filesdep ~copilot-coredep ~copilot-theoremPVP ok
3.52021-09-07 12:32 UTCIvanPerez+25/−153 lines, 10 filesdep −ghc-primdep ~copilot-coredep ~copilot-theoremPVP ok
3.42021-07-07 19:59 UTCIvanPerez+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-theoremPVP ok
3.32021-05-14 22:43 UTCIvanPerez+25/−18 lines, 5 filesdep ~copilot-coredep ~copilot-theoremPVP ok
3.2.12021-03-07 14:59 UTCfrankdedden+584/−79 lines, 25 filesdep ~copilot-coredep ~copilot-theoremPVP: major bump suggested
3.22020-12-06 22:02 UTCIvanPerez+24/−18 lines, 3 filesdep ~copilot-coredep ~copilot-theoremdep ~ghc-primPVP ok
3.12019-11-23 00:40 UTCIvanPerez+8/−60 lines, 6 filesdep ~copilot-coredep ~copilot-theoremnew-uploaderPVP ok
3.0.12019-04-09 13:11 UTCfrankdedden+4/−4 lines, 2 filesdep ~copilot-corePVP ok
3.02019-04-01 22:20 UTCfrankdedden+119/−181 lines, 11 filesdep ~arraydep ~basedep ~containersnew-uploaderPVP ok
2.2.12017-07-12 16:37 UTCagoodloe+64/−59 lines, 23 filesdep ~copilot-coredep ~copilot-theoremnew-uploaderPVP ok
2.2.02015-10-23 20:44 UTCLeePike1 revisions+617/−242 lines, 13 filesdep +copilot-theoremdep ~copilot-core
2.1.22015-01-03 07:20 UTCLeePike+76/−32 lines, 17 filesdep +ghc-primdep ~basedep ~mtl
2.1.12013-02-25 04:41 UTCLeePike+9/−9 lines, 2 filesdep −ghc-primdep ~basedep ~containersdep ~mtlPVP ok
0.9.12012-03-06 18:05 UTCLeePike+2/−2 lines, 1 filesPVP ok
0.92012-03-06 17:49 UTCLeePike+33/−40 lines, 3 files
0.82012-03-03 05:09 UTCLeePike+24/−23 lines, 1 files
0.72012-03-02 03:42 UTCLeePike+170/−125 lines, 24 files
0.62012-02-13 02:05 UTCLeePike+5/−5 lines, 3 files
0.52012-02-10 17:34 UTCLeePike+15/−4 lines, 2 files
0.42012-02-04 04:12 UTCLeePike+30/−55 lines, 6 files
0.32012-01-28 22:06 UTCLeePike+53/−76 lines, 8 filesPVP ok
0.22012-01-01 20:26 UTCLeePike+487/−207 lines, 11 filesdep ~copilot-corePVP ok
0.12011-11-10 06:11 UTCLeePike+1614/−0 lines, 25 filesdep +arraydep +basedep +containerssetup-changed

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

array >=0.5 && <0.6 0.5.7.0 → 0.5.8.0
2024-09-08 07:13 UTC0.5.8.0+204/−8 lines, 6 filesdep ~basePVP ok
2024-04-12 14:38 UTC0.5.7.0+34/−17 lines, 9 filesdep ~basePVP: major bump suggested
2023-07-10 15:24 UTC0.5.6.0+159/−39 lines, 8 filesdep ~basenew-uploaderPVP ok
2023-02-13 16:01 UTC0.5.5.0+8/−4 lines, 3 filesdep ~basenew-uploaderPVP ok
2019-09-01 06:48 UTC0.5.4.0+33/−8 lines, 5 filesdep ~basesetup-changedPVP: major bump suggested

showing 5 of 18 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-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-interpreter >=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:53 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 25 versions

copilot-theorem >=4.8 && <4.9 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 outside bounds+26/−5 lines, 3 filesdep +fp-ieeedep ~copilot-coredep ~copilot-prettyprinterPVP ok
2026-03-08 19:53 UTC4.7 outside bounds+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok
2026-01-08 18:25 UTC4.6.1 outside bounds+9/−5 lines, 2 filesdep ~containersdep ~copilot-coredep ~copilot-prettyprinterPVP ok
2025-11-08 17:46 UTC4.6 outside bounds+6/−3 lines, 2 filesdep ~copilot-coredep ~copilot-prettyprinterPVP ok

showing 5 of 39 versions

data-reify >=0.6 && <0.7 0.6.3 → 0.6.4
2024-10-27 13:58 UTC0.6.4+276/−69 lines, 12 filesdep −base-compatdep ~basedep ~containersnew-component:exe:example1new-component:exe:simplifyPVP: major bump suggested
2020-10-12 10:47 UTC0.6.3+142/−57 lines, 6 filesdep +base-compatdep +hspecdep ~basePVP: major bump suggested
2020-09-30 23:14 UTC0.6.2+139/−70 lines, 4 filesdep +hashabledep +unordered-containersPVP: major bump suggested
2015-05-19 16:59 UTC0.6.1+199/−172 lines, 11 filesdep +data-reifynew-uploaderPVP ok
2011-01-08 03:57 UTC0.6+23/−11 lines, 2 filesdep ~basePVP ok

showing 5 of 10 versions

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

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

9 packages depend on copilot-language; 5 have bounds that exclude 4.8

arduino-copilot 1.7.9 requires copilot-language >=4.3 && <4.4 excludes current (upper bound)
copilot-frp-sketch 1.0.0 requires copilot-language >=3.7 && <3.8 excludes current (upper bound)
ogma-core 1.14.0 requires copilot-language >=4.6.1 && <4.8 excludes current (upper bound)
sketch-frp-copilot 1.0.11 requires copilot-language >=4.3 && <4.4 excludes current (upper bound)
zephyr-copilot 1.0.10 requires copilot-language >=4.3 && <4.4 excludes current (upper bound)
copilot 4.8 requires copilot-language >=4.8 && <4.9
copilot-libraries 4.8 requires copilot-language >=4.8 && <4.9
copilot-verifier 4.8 requires copilot-language >=4.8 && <4.9
copilot-visualizer 4.8 requires copilot-language >=4.8 && <4.9