tangled alpha
login or join now
pyrox.dev / nixpkgs
lol
fork atom
overview
issues
pulls
pipelines
nixpkgs / pkgs / development / interpreters / acl2 /
at 25.11-pre 1 folder 2 files
libipasirglucose4
treewide: format all inactive Nix files
1 year ago
0001-Fix-some-paths-for-Nix-build.patch
acl2: 8.4 -> 8.5
3 years ago
default.nix
Revert "treewide: replace `rev` with `tag`"
9 months ago
tangled alpha
legal
terms of service privacy policy
resources
blog docs source brand
social
discord irc Bluesky bluesky
contact
team@tangled.org security@tangled.org
© 2026 Tangled Labs Oy. All rights reserved.
tangled alpha
legal
terms of service privacy policy
resources
blog docs source brand
social
discord irc Bluesky bluesky
contact
team@tangled.org security@tangled.org
© 2026 Tangled Labs Oy. All rights reserved.