This website requires JavaScript.
Explore
Help
Sign In
Dawoox
/
nixpkgs
Watch
1
Star
1
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Actions
2
Packages
Projects
Releases
Wiki
Activity
Files
f2b5b1e6af41a5f3d364b35581250de52c684d52
nixpkgs
/
pkgs
/
build-support
/
agda
History
wrvsrx
1df3c7cb48
agda.withPackages: add libraryFile to passthru
2025-10-02 14:55:13 +08:00
..
default.nix
…
lib.nix
…
