nixpkgs/pkgs/development/libraries/agda/ at 16.09-beta · pyrox.dev/nixpkgs · tangled

pyrox.dev / nixpkgs

lol

nixpkgs / pkgs / development / libraries / agda /

at 16.09-beta 9 folders

Agda: marked some old packages as broken

9 years ago

TotalParserCombinators

Agda: marked some old packages as broken

9 years ago

Agda: marked some old packages as broken

9 years ago

agda-iowa-stdlib

agda: the Iowa stdlib seems to be behind a private SVN now

10 years ago

agda-prelude: 2014-09-27 -> 2016-04-18

9 years ago

agda-stdlib: 2.4.2.3 -> v0.12 (for Agda-2.5.1)

9 years ago

Agda: marked some old packages as broken

9 years ago

Fix lots of fetchgit hashes (fallout from #15469)

9 years ago

agda: migrate to haskell-ng, update and cleanup

10 years ago