archives/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-03-14 00:16:33 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
nixpkgs/pkgs/development/libraries/agda/1lab
History
Exact
jopejoe1 bd6d30ffed agdaPackages._1lab: add updateScript and make version follow convention
2026-01-30 20:41:02 +01:00
..
default.nix agdaPackages._1lab: add updateScript and make version follow convention 2026-01-30 20:41:02 +01:00