nixpkgs/pkgs/development/libraries/agda/ at fix-function-merge · tjh.dev/nixpkgs · tangled

tjh.dev / nixpkgs

Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)

nixpkgs / pkgs / development / libraries / agda /

at fix-function-merge 10 folders

Merge branch master into haskell-updates

2 years ago

agda-categories

treewide: Remove indefinite article from meta.description

2 years ago

agdaPackages.agda-prelude: unstable-2022-01-14 -> unstable-2023-10-04

2 years ago

agdaPackages.agdarsec: mark as broken

2 years ago

agdaPackages.cubical: add maintainer phijor

2 years ago

functional-linear-algebra

agdaPackages.functional-linear-algebra: 0.4.1 -> 0.5.0

2 years ago

Agda: mark packages as broken until 2.6.2 compatible release is made

4 years ago

agdaPackages.generics: init at 1.0.1

4 years ago

treewide: remove stdenv where not needed

5 years ago

standard-library

agdaPackages.standard-library: 2.0 -> 2.1

2 years ago