pkgs/development/interpreters/acl2 · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development interpreters acl2

1 folder · 2 files

C4 Patino · acl2: 8.5 -> 8.6 and mark darwin builds as compatible · 1y ago

libipasirglucose4

treewide: format all inactive Nix files

0001-path-changes-for-nix.patch

acl2: 8.5 -> 8.6 and mark darwin builds as compatible

acl2: 8.5 -> 8.6 and mark darwin builds as compatible