This website requires JavaScript.
Explore
Help
Sign In
gador
/
nixpkgs
Watch
1
Star
0
Fork
0
You've already forked nixpkgs
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
Files
current
nixpkgs
/
pkgs
/
by-name
/
ac
/
acl2
T
Add File
New File
Upload File
Apply Patch
Copy Permalink
Download directory as ZIP
Download directory as TAR.GZ
Delete Directory
History
7c6f434c
54d2f0da28
acl2: switch to finalAttrs pattern, switch to hash and tag, hardcode ${pname} (
#527662
)
2026-06-12 12:01:15 +00: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
acl2-minimal: fix aarch64-linux build
2026-05-23 01:09:20 -04:00
package.nix
acl2: switch to finalAttrs pattern, switch to hash
2026-06-03 12:25:23 -05:00
7c6f434c