nixpkgs/pkgs/development/interpreters/acl2
2018-09-21 13:07:40 +03:00
..
default.nix acl2: 8.0 -> 8.0.post.2018.09.20; fixes build with fresher SBCL 2018-09-21 13:07:40 +03:00