mirror/nixpkgs - Nix packages collection

Age	Commit message (Expand)	Author	Files	Lines
2023-08-06	agdaPackages._1lab: init at unstable-2023-03-07	Naïm Favier	1	-0/+2
2023-02-12	agda: fix passthru	Naïm Favier	1	-6/+3
2021-10-19	Merge pull request #98214 from turion/dev_test_all_agda_packages	Manuel Bärenz	1	-1/+4
2021-08-30	agdaPackages.agdarsec: Init at 0.4.1	Manuel Bärenz	1	-0/+2
2021-08-03	adga: Add test for all packages	Manuel Bärenz	1	-1/+4
2021-01-24	agdaPackages.mkDerivation: don't install Everything module	Alexander Ben Nasrallah	1	-0/+2
2020-10-15	agda-packages: add fla library at v0.1	Ryan Orendorff	1	-0/+3
2020-08-10	agdaPackages.generic: init at v0.1	Alex Rice	1	-0/+2
2020-05-19	agdaPackages.cubical: init at 0.2 (#76994)	Ryan Orendorff	1	-0/+2
2020-05-14	agda-categories: init at 0.1	Alex Rice	1	-0/+2
2020-05-14	agda: rework builder	Alex Rice	1	-0/+24