tangled alpha
login or join now
pyrox.dev / nixpkgs
lol
fork atom
overview
issues
pulls
pipelines
nixpkgs / pkgs / development / interpreters / acl2 /
at master 1 folder 2 files
libipasirglucose4
treewide: format all inactive Nix files
1 year ago
0001-path-changes-for-nix.patch
acl2: 8.5 -> 8.6 and mark darwin builds as compatible
4 months ago
default.nix
acl2: 8.5 -> 8.6 and mark darwin builds as compatible
4 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
© 2025 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
© 2025 Tangled Labs Oy. All rights reserved.