nixpkgs/pkgs/development/libraries/agda/TotalParserCombinators at 38bf7f94d03b7d86d7e0157845cb6302506d1fde - cafkafk/nixpkgs - git.fem.gg: Rust + Nix = ???

cafkafk/nixpkgs

History

Nikolay Amiantov 25618c3670 agda: migrate to haskell-ng, update and cleanup Resolves https://github.com/NixOS/nixpkgs/pull/7172.		2015-04-06 21:24:33 +02:00
..
contextfile
default.nix