nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-03 19:43:30 +00:00
Code Issues Packages Projects Releases Wiki Activity
7fa0fa45a8
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 agdaPackages.agda-prelude: unstable-2023-10-04 -> unstable-2024-08-22 2024-08-22 10:59:03 +02:00