packages feed

agda-language-server

view on Hackage

versionuploadeduploaderchanges
82026-09-22 06:27 UTCbanacorn+112/−8 lines, 7 filesPVP ok
72026-09-16 08:51 UTCbanacorn+1985/−973 lines, 41 filesdep +attoparsecdep +directorydep +filepathdep ~Agdadep ~lspdep ~network-simplePVP ok
0.2.6.3.02023-11-23 10:21 UTCAndreasAbel+280/−94 lines, 23 filesdep ~AgdaPVP: major bump suggested
0.2.6.2.2.12023-11-21 13:48 UTCAndreasAbel+40/−15 lines, 6 filesdep ~lspPVP ok
0.2.6.2.22023-11-21 13:16 UTCAndreasAbel+2/−2 lines, 2 filesPVP ok
0.2.2.6.22023-11-21 07:35 UTCAndreasAbel+87/−72 lines, 8 filesdep ~Agdadep ~lspnew-uploaderPVP: major bump suggested
0.2.12021-10-25 06:27 UTCbanacorn1 revisions+2/−2 lines, 2 filesdep ~lspPVP ok
0.2.02021-10-22 09:01 UTCbanacorn+1429/−803 lines, 32 filesdep +tastydep +tasty-goldendep +tasty-hunitdep ~Agdadep ~lsp
0.0.3.02021-04-06 04:40 UTCbanacorn+3479/−0 lines, 31 filesdep +Agdadep +aesondep +agda-language-serversetup-changed

Dependencies of agda-language-server-8

Agda ==2.8.0 && ==2.7.0.1 && ==2.6.4.3 && >=0 && ==2.8.0 && ==2.7.0.1 && ==2.6.4.3 && >=0 && ==2.8.0 && ==2.7.0.1 && ==2.6.4.3 && >=0 2.8.0.1 → 2.8.0.2
2026-09-13 07:57 UTC2.8.0.2 outside bounds+61/−23 lines, 12 filesPVP ok
2026-09-01 13:36 UTC2.8.0.1 outside bounds+765/−740 lines, 15 filesdep ~basedep ~containersdep ~template-haskellPVP ok
2025-07-05 20:33 UTC2.8.0 outside bounds+18634/−12622 lines, 330 filesdep +enummapsetdep +filelockdep +filemanipdep ~STMonadTransdep ~aesondep ~ansi-terminalsetup-changedPVP ok
2024-09-12 18:40 UTC2.7.0.1 outside bounds+297/−576 lines, 15 filesdep ~basesetup-changedPVP: major bump suggested
2024-08-16 12:31 UTC2.7.0 outside bounds+9365/−8442 lines, 212 filesdep +pqueuedep −time-compatdep ~basedep ~containersdep ~parallelsetup-changedPVP ok

showing 5 of 48 versions

aeson >=0 2.3.1.0 → 2.3.2.0
2026-09-12 18:04 UTC2.3.2.0+97/−60 lines, 13 filesPVP ok
2026-07-05 10:37 UTC2.3.1.0+101/−42 lines, 17 filesdep ~text-iso8601PVP ok
2026-05-21 08:35 UTC2.3.0.0+54/−41 lines, 17 filesdep ~nothunksdep ~text-iso8601new-uploaderPVP ok
2026-08-29 13:20 UTC2.2.5.1+36/−24 lines, 4 filesnew-uploaderPVP ok
2026-05-12 15:10 UTC2.2.5.0+13/−3 lines, 3 filesdep ~semialignPVP ok

showing 5 of 105 versions

attoparsec >=0 0.14.3 → 0.14.4
2022-01-10 18:41 UTC0.14.4+736/−940 lines, 30 filesdep +attoparsecdep +tasty-benchdep −criteriondep ~QuickCheckdep ~bytestringdep ~ghc-primPVP ok
2021-12-09 02:44 UTC0.14.3+107/−39 lines, 5 filesPVP ok
2021-10-30 15:07 UTC0.14.2+10/−9 lines, 3 filesdep ~basedep ~ghc-primdep ~semigroupsPVP ok
2021-03-22 21:21 UTC0.14.1+172/−34 lines, 10 filesPVP ok
2021-02-10 01:00 UTC0.13.2.5+53/−15 lines, 4 filesdep ~QuickCheckdep ~bytestringdep ~ghc-primPVP: major bump suggested

showing 5 of 61 versions

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

bytestring >=0 0.12.1.0 → 0.12.2.0
2024-12-06 21:41 UTC0.12.2.0+538/−437 lines, 44 filesdep ~QuickCheckdep ~basePVP ok
2024-02-16 03:27 UTC0.12.1.0+3398/−1642 lines, 37 filesdep +sybdep ~basePVP: major bump suggested
2023-08-16 01:53 UTC0.12.0.2+16/−2 lines, 3 files
2023-08-05 00:03 UTC0.12.0.1+47/−9 lines, 3 files
2023-07-07 01:45 UTC0.12.0.0+1459/−520 lines, 21 filesdep +data-array-bytePVP ok

showing 5 of 49 versions

containers >=0 0.8 → 0.8.1
2026-10-04 06:08 UTC0.8.1+8085/−5169 lines, 39 filesdep +template-haskell-liftdep ~arraydep ~deepseqPVP: major bump suggested
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

showing 5 of 43 versions

directory >=0 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

filepath >=0 1.5.4.0 → 1.5.5.0
2026-01-20 08:14 UTC1.5.5.0+68/−12 lines, 8 filesdep +QuickCheckdep +template-haskell-liftdep +template-haskell-quasiquoterPVP ok
2024-11-17 13:06 UTC1.5.4.0+26/−6 lines, 3 filesdep ~basePVP ok
2024-06-29 15:30 UTC1.5.3.0+876/−871 lines, 13 filesdep −QuickCheckdep ~basePVP: major bump suggested
2024-01-26 07:02 UTC1.5.2.0+330/−256 lines, 11 filesdep +generic-derivingdep +generic-randomdep +tastydep ~basedep ~os-stringPVP ok
2023-11-25 08:29 UTC1.5.0.0+53/−3744 lines, 35 filesdep +os-stringdep ~basePVP ok

showing 5 of 35 versions

ghc-experimental >=0 9.1204.0 → 9.1401.0
2025-12-19 11:53 UTC9.1401.0+354/−40 lines, 9 filesdep −ghc-primdep ~basedep ~ghc-internalPVP ok
2026-03-27 12:26 UTC9.1204.0+31/−2 lines, 2 filesdep ~ghc-internalPVP ok
2025-12-27 10:29 UTC9.1203.0+8/−9 lines, 2 filesdep ~ghc-internalPVP ok
2024-12-16 09:29 UTC9.1201.0+69/−8 lines, 4 filesdep ~basedep ~ghc-internaldep ~ghc-prim
2025-09-12 14:21 UTC9.1003.0+2/−2 lines, 1 filesdep ~ghc-internal

showing 5 of 7 versions

lsp >=2 2.7.0.1 → 2.8.0.0
2026-02-17 10:12 UTC2.8.0.0+508/−137 lines, 10 filesdep +websocketsdep ~containersdep ~lsp-typesnew-uploaderPVP ok
2024-12-31 12:51 UTC2.7.0.1+9/−5 lines, 2 filesdep ~data-defaultdep ~extradep ~hashablePVP: major bump suggested
2024-06-06 11:58 UTC2.7.0.0+23/−21 lines, 4 filesdep −randomdep −uuiddep ~lsp-typesdep ~text-ropePVP ok
2024-05-09 14:48 UTC2.6.0.0+294/−229 lines, 6 filesdep +unliftiodep ~containersdep ~lensPVP ok
2024-04-30 10:32 UTC2.5.0.0+161/−93 lines, 10 filesdep +extradep −row-typesdep ~lsp-typesPVP ok

showing 5 of 19 versions

lsp-test >=0 0.17.1.1 → 0.18.0.0
2026-02-17 10:12 UTC0.18.0.0+70/−19 lines, 7 filesdep ~containersdep ~lspdep ~lsp-typesnew-uploaderPVP ok
2024-12-31 12:51 UTC0.17.1.1+9/−5 lines, 2 filesdep ~Diffdep ~data-defaultdep ~extraPVP: major bump suggested
2024-06-06 11:58 UTC0.17.1.0+149/−86 lines, 11 filesdep ~lspdep ~lsp-typesPVP: major bump suggested
2024-05-09 14:48 UTC0.17.0.2+35/−6 lines, 3 filesdep ~containersdep ~extradep ~lensPVP ok
2024-04-30 10:32 UTC0.17.0.1+53/−52 lines, 13 filesdep −row-typesdep ~containersdep ~lspdep ~lsp-typesPVP: major bump suggested

showing 5 of 55 versions

lsp-types >=2 2.3.0.1 → 2.4.0.0
2026-02-17 10:12 UTC2.4.0.0+14/−7 lines, 3 filesdep ~containersdep ~template-haskellnew-uploaderPVP ok
2024-12-31 12:51 UTC2.3.0.1+10/−6 lines, 2 filesdep ~Diffdep ~data-defaultdep ~hashablePVP ok
2024-06-06 11:58 UTC2.3.0.0+1015/−411 lines, 7 filesdep +hspec-goldendep ~prettyprinterPVP ok
2024-04-30 10:32 UTC2.2.0.0+18717/−14686 lines, 119 filesdep +witherabledep −lens-aesondep ~aesondep ~containersdep ~lensPVP ok
2024-02-05 14:23 UTC2.1.1.0+1119/−1267 lines, 307 filesdep +generic-arbitrarydep −unordered-containersdep ~Diffdep ~aesondep ~basePVP: major bump suggested

showing 5 of 22 versions

mtl >=0 2.3.1 → 2.3.2
2025-12-08 04:58 UTC2.3.2+112/−21 lines, 12 filesdep ~basenew-uploaderPVP: major bump suggested
2022-10-31 21:28 UTC2.3.1+188/−33 lines, 8 filesdep ~basePVP: major bump suggested
2022-05-07 20:34 UTC2.3+1284/−520 lines, 29 filesdep ~basedep ~transformersnew-uploaderPVP ok
2018-02-24 22:15 UTC2.2.2+152/−36 lines, 14 filesdep ~basePVP: major bump suggested
2014-06-02 02:22 UTC2.2.1+179/−4 lines, 8 filesdep ~basedep ~transformersPVP: major bump suggested

showing 5 of 20 versions

network >=0 3.2.8.0 → 3.2.9.0
2026-08-21 04:56 UTC3.2.9.0+140/−131 lines, 10 filesPVP ok
2025-08-11 22:53 UTC3.2.8.0+100/−25 lines, 10 filesPVP: major bump suggested
2024-11-27 00:22 UTC3.2.7.0+46/−36 lines, 6 filesPVP ok
2024-11-12 01:48 UTC3.2.6.0+23/−4 lines, 5 filesPVP ok
2024-11-07 00:14 UTC3.2.5.0+77/−28 lines, 5 filesPVP ok

showing 5 of 94 versions

network-simple ==0.4.2 0.4.2 → 0.4.5 newer than bounds
2019-06-12 22:20 UTC0.4.5 newer than bounds+12/−2 lines, 2 filesdep +network-bsddep ~network
2019-06-08 08:42 UTC0.4.4 newer than bounds+15/−4 lines, 4 filesdep ~basedep ~networkdep ~socks
2018-09-26 17:28 UTC0.4.3 newer than bounds+120/−15 lines, 4 filesdep +socksdep −exceptionsdep ~bytestringdep ~networkdep ~transformersPVP ok
2018-07-31 18:02 UTC0.4.2+137/−95 lines, 3 filesdep +safe-exceptionsPVP: major bump suggested
2018-05-15 12:37 UTC0.4.1 outside bounds+118/−75 lines, 7 filesdep ~basedep ~bytestringdep ~exceptionssetup-changedPVP: major bump suggested

showing 5 of 18 versions

prettyprinter >=0 1.7.1 → 1.7.2
2026-04-28 13:43 UTC1.7.2+240/−167 lines, 17 filesdep +tasty-benchdep −faildep −gaugedep −transformersdep ~QuickCheckdep ~basedep ~base-compatPVP: major bump suggested
2021-09-11 09:06 UTC1.7.1+197/−164 lines, 31 filesdep ~bytestringPVP ok
2020-07-31 13:28 UTC1.7.0+4220/−3960 lines, 32 filesdep ~semigroupsPVP ok
2020-06-20 22:40 UTC1.6.2+176/−87 lines, 6 filesPVP ok
2020-02-10 18:33 UTC1.6.1+373/−145 lines, 13 filesPVP: major bump suggested

showing 5 of 20 versions

process >=0 1.6.29.0 → 1.6.30.0
2026-06-11 10:14 UTC1.6.30.0+19/−1 lines, 2 filesPVP ok
2026-05-24 11:03 UTC1.6.29.0+5282/−4831 lines, 7 filesdep ~basePVP ok
2026-04-18 12:18 UTC1.6.28.0+70/−33 lines, 3 filesPVP ok
2026-03-08 19:39 UTC1.6.27.0+3/−2 lines, 2 filesPVP ok
2026-03-07 13:46 UTC1.6.26.2+4852/−5346 lines, 7 filesPVP ok

showing 5 of 57 versions

stm >=0 2.5.3.0 → 2.5.3.1
2024-04-12 15:34 UTC2.5.3.1+7/−3 lines, 3 filesdep ~basePVP: major bump suggested
2023-11-17 23:47 UTC2.5.3.0+222/−123 lines, 6 filesPVP: major bump suggested
2023-10-06 15:16 UTC2.5.2.1+11/−5 lines, 3 filesPVP ok
2023-10-05 21:19 UTC2.5.2.0+258/−270 lines, 9 filesdep ~basePVP: major bump suggested
2022-08-04 22:51 UTC2.5.1.0+42/−5 lines, 5 filesdep +semigroupsdep ~basePVP ok

showing 5 of 24 versions

strict >=0 0.5 → 0.5.1
2024-07-03 09:43 UTC0.5.1+112/−321 lines, 7 filesdep −bifunctor-classes-compatdep −semigroupsdep −transformers-compatdep ~assocdep ~basedep ~binaryPVP: major bump suggested
2023-03-14 20:10 UTC0.5+21/−19 lines, 3 filesdep +bifunctor-classes-compatdep −bifunctorsdep ~assocdep ~bytestringdep ~deepseqPVP ok
2020-12-06 14:07 UTC0.4.0.1+8/−7 lines, 3 filesdep ~bytestringdep ~hashabledep ~semigroupsnew-uploaderPVP: major bump suggested
2020-08-06 13:10 UTC0.4+1529/−310 lines, 14 filesdep +assocdep +bifunctorsdep +binarydep −arraydep ~basenew-uploaderPVP ok
2008-03-07 14:48 UTC0.3.2+2/−55 lines, 4 filesdep ~base

showing 5 of 9 versions

tasty >=0 1.5.3 → 1.5.4
2026-03-25 20:04 UTC1.5.4+332/−166 lines, 22 filesdep −semigroupsPVP ok
2025-01-05 19:52 UTC1.5.3+36/−11 lines, 3 filesdep ~containersdep ~optparse-applicativePVP: major bump suggested
2024-11-03 00:34 UTC1.5.2+22/−5 lines, 4 filesdep ~basePVP ok
2024-06-22 10:14 UTC1.5.1+131/−63 lines, 10 filesdep ~basePVP: major bump suggested
2023-09-10 00:08 UTC1.5+1005/−263 lines, 24 filesdep ~ansi-terminaldep ~containersdep ~optparse-applicativePVP ok

showing 5 of 75 versions

tasty-golden >=0 2.3.5 → 2.3.6
2026-02-01 10:41 UTC2.3.6+114/−31 lines, 7 filesdep −asyncdep −mtldep −taggeddep ~basenew-uploaderPVP ok
2022-01-05 11:38 UTC2.3.5+125/−67 lines, 5 filesdep +typed-processdep −processdep −unix-compatPVP ok
2020-06-05 10:35 UTC2.3.4+114/−13 lines, 5 filesPVP ok
2020-05-10 18:26 UTC2.3.3.3+55/−5 lines, 5 filesdep +unix-compatdep ~tastyPVP ok
2020-04-27 20:30 UTC2.3.3.2+9/−7 lines, 3 filesPVP ok

showing 5 of 30 versions

tasty-hunit >=0 0.10.1 → 0.10.2
2024-06-22 10:14 UTC0.10.2+15/−7 lines, 4 filesPVP ok
2023-09-10 00:12 UTC0.10.1+30/−52 lines, 5 filesdep ~basedep ~call-stackdep ~tastynew-uploaderPVP ok
2020-12-18 09:42 UTC0.10.0.3+55/−10 lines, 4 filesdep ~basePVP ok
2019-05-15 05:50 UTC0.10.0.2+38/−8 lines, 3 filesdep ~tastyPVP: major bump suggested
2017-12-01 19:24 UTC0.10.0.1+51/−29 lines, 4 filesPVP: major bump suggested

showing 5 of 15 versions

tasty-quickcheck >=0 0.11 → 0.11.1
2025-01-05 19:53 UTC0.11.1+66/−33 lines, 4 filesdep +regex-tdfadep −pcre-lightdep ~QuickCheckdep ~basedep ~optparse-applicativePVP: major bump suggested
2024-06-22 10:14 UTC0.11+132/−49 lines, 4 filesdep ~QuickCheckPVP ok
2023-09-10 00:10 UTC0.10.3+52/−14 lines, 3 filesdep ~QuickCheckdep ~optparse-applicativedep ~randomnew-uploaderPVP ok
2021-11-20 19:17 UTC0.10.2+21/−13 lines, 3 filesdep ~basePVP: major bump suggested
2020-12-18 09:42 UTC0.10.1.2+27/−13 lines, 4 filesdep ~basePVP: major bump suggested

showing 5 of 23 versions

text >=0 2.1.3 → 2.1.4
2026-01-28 08:30 UTC2.1.4+30991/−20199 lines, 35 filesdep +template-haskell-liftdep ~QuickCheckdep ~template-haskellPVP ok
2025-08-01 20:08 UTC2.1.3+2107/−1827 lines, 30 filesdep +splitmixdep +temporarydep ~QuickCheckdep ~ghc-primdep ~template-haskellPVP ok
2024-10-26 13:22 UTC2.1.2+43588/−15378 lines, 41 filesdep ~basedep ~binaryPVP: major bump suggested
2024-02-16 22:16 UTC2.1.1+986/−412 lines, 26 filesdep ~QuickCheckdep ~ghc-primdep ~template-haskellPVP: major bump suggested
2023-08-26 18:49 UTC2.1+448/−53 lines, 19 filesdep +data-array-bytedep ~QuickCheckdep ~ghc-primdep ~template-haskellnew-uploaderPVP ok

showing 5 of 82 versions

unix >=2.8.0.0 && <2.9 2.8.7.0 → 2.8.8.0
2025-09-23 08:10 UTC2.8.8.0+161/−207 lines, 6 filesdep ~basedep ~timePVP ok
2025-05-10 14:12 UTC2.8.7.0+8400/−7941 lines, 12 filesdep ~basedep ~timePVP ok
2024-11-19 15:41 UTC2.8.6.0+1133/−333 lines, 14 filesdep ~basedep ~timePVP: major bump suggested
2024-04-08 19:21 UTC2.8.5.1+7507/−6738 lines, 5 filesdep ~basedep ~filepathdep ~os-stringPVP: major bump suggested
2023-12-01 00:53 UTC2.8.5.0+55/−9 lines, 7 filesdep +os-stringdep ~filepathdep ~timePVP ok

showing 5 of 34 versions

Reverse dependencies

no known reverse dependencies