nixpkgs/pkgs/development/libraries/agda
2026-01-30 21:32:17 +00:00
..
1lab agdaPackages._1lab: add updateScript and make version follow convention 2026-01-30 20:41:02 +01:00
agda-categories agdaPackages.agda-categories: fix hash mismatch error 2025-12-15 22:29:38 -05:00
agda-prelude agdaPackages.agda-prelude: add updateScript and follow version convention 2026-01-30 20:44:30 +01:00
agda2hs-base treewide: clean up 'meta = with' pattern 2025-12-10 18:09:49 +01:00
agdarsec treewide: clean up 'meta = with' pattern 2025-12-10 18:09:49 +01:00
cubical treewide: clean up 'meta = with' pattern 2025-12-10 18:09:49 +01:00
cubical-mini
functional-linear-algebra treewide: clean up 'meta = with' pattern 2025-12-10 18:09:49 +01:00
generics treewide: clean up 'meta = with' pattern 2025-12-10 18:09:49 +01:00
iowa-stdlib
standard-library treewide: clean up 'meta = with' pattern 2025-12-10 18:09:49 +01:00