nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-27 16:15:05 +00:00
Code Issues Packages Projects Releases Wiki Activity
7fdaae10d5
nixpkgs/pkgs/development/libraries/agda/agda-prelude
History
Naïm Favier 606a1663e5
agdaPackages.agda-prelude: unstable-2023-10-04 -> unstable-2024-08-22
2024-08-22 10:59:03 +02:00
..
default.nix