cornelis 0.2.0.1 maintained outdated

agda-mode for Neovim

Name: cornelis-0.2.0.1
Package set: top-level
Homepage: https://hackage.haskell.org/package/cornelis
License: BSD-3-Clause
Main program: cornelis
Source: pkgs/development/haskell-modules/hackage-packages.nix:168021
Derivation: /nix/store/p2dq7hgg2ipjgnmm18ds73cx2rdqkrd2-cornelis-0.2.0.1.drv
Repology: outdated, newest version is 2.8.0 · cornelis (as of 2026-10-07T10:23:38Z)

Maintainers 2

Handle	Name	Contact	Via
malob	Malo Bourgon	GitHub · mbourgon@gmail.com	listed on package
phijor	Philipp Joram	GitHub · nixpkgs@phijor.me	listed on package

Dependencies 25

Package	As	Maintainers	Used by (transitive)	Status
haskellPackages.QuickCheck 2.15.0.1	buildInputs		23,490	unmaintained
haskellPackages.aeson 2.2.4.1	buildInputs		14,968	unmaintained outdated
haskellPackages.async 2.2.6	buildInputs		18,146	unmaintained
haskellPackages.diff-loc 0.1.0.0	buildInputs		3	unmaintained
haskellPackages.fingertree 0.1.6.3	buildInputs		8,553	unmaintained
haskellPackages.generic-lens 2.2.2.0	buildInputs		376	unmaintained
haskellPackages.hspec 2.11.17	buildInputs		21,604	unmaintained outdated
haskellPackages.lens 5.3.6	buildInputs		11,377	unmaintained
haskellPackages.levenshtein 0.2.1.0	buildInputs		4	unmaintained
haskellPackages.megaparsec 9.7.0	buildInputs		1,373	unmaintained outdated
haskellPackages.nvim-hs 2.3.2.4	buildInputs		7	unmaintained outdated
haskellPackages.nvim-hs-contrib 2.0.0.2	buildInputs		4	unmaintained
haskellPackages.prettyprinter 1.7.1	buildInputs		22,291	unmaintained outdated
haskellPackages.random 1.2.1.3	buildInputs		23,759	unmaintained
haskellPackages.resourcet 1.3.0	buildInputs		12,940	unmaintained
haskellPackages.temporary 1.3	buildInputs		21,685	unmaintained
haskellPackages.unagi-chan 0.4.1.4	buildInputs		153	unmaintained
haskellPackages.unliftio-core 0.2.1.0	buildInputs		15,852	unmaintained
haskellPackages.vector 0.13.2.0	buildInputs		19,744	unmaintained
ghc 9.10.3	nativeBuildInputs	cdepillabout, guibou, maralorn, sternenseemann, wolfgangwalther	27,267	maintained
removeReferencesTo	nativeBuildInputs		51,814	unmaintained
bashNonInteractive 5.3p15	other input	andir, balsoft, infinisil, pyrox0	102,441	maintained outdated
coreutils 9.11	other input	andir, balsoft, dasJ, mdaniels5757, pyrox0	102,431	maintained outdated
glibcLocales 2.44	other input		55,257	unmaintained
stdenv 26.05pre-git	other input		90,330	team-only

Used by 1 directly, 1 transitively

Package	As	Maintainers	Used by (transitive)	Status
vimPlugins.cornelis 0.12-compat	other input		0	unmaintained