This website requires JavaScript.
Explore
Help
Sign In
nathan
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
mirror of
https://github.com/NixOS/nixpkgs.git
synced
2026-08-31 12:44:44 +00:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
python-updates
Add File
New File
Upload File
Apply Patch
nixpkgs
/
pkgs
/
by-name
/
ac
/
acl2
History
jopejoe1
1abbdf4b91
acl2: make use of compound licenses
2026-07-16 11:59:03 +02:00
..
libipasirglucose4
acl2.libipasir: switch to finalAttrs pattern, switch to SRI hash
2026-06-03 11:43:29 -05:00
0001-path-changes-for-nix.patch
…
0002-sbcl-fp-trap-fallback.patch
…
package.nix
acl2: make use of compound licenses
2026-07-16 11:59:03 +02:00