pkgs/development/interpreters/acl2 · nixpkgs · Tangled

What happens if I push all of nixpkgs

nixpkgs pkgs development interpreters acl2

1 folder · 2 files

at devShellTools-shell

Wolfgang Walther · treewide: run nixfmt 1.0.0 · 1y ago

libipasirglucose4

treewide: format all inactive Nix files

0001-Fix-some-paths-for-Nix-build.patch

acl2: 8.4 -> 8.5

treewide: run nixfmt 1.0.0