dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity
c9da1f6842
nixpkgs/pkgs/development/libraries/agda/1lab
History
Naïm Favier 170a9778b4
agdaPackages._1lab: unstable-2023-03-07 -> unstable-2023-10-11
2023-10-24 20:34:06 +02:00
..
default.nix