archives/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-03-08 02:44:05 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/development/libraries/agda
History
Exact
Naïm Camille Favier 016e48a7c3
agdaPackages.agda-prelude: add updateScript and follow version conven… (#485469)
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