Ryan Mulligan 81f04d6b49 acl2: 7.4 -> 8.0 ... Semi-automatic update; builds on NixOS		2018-02-25 16:18:46 +01:00
..
default.nix	acl2: 7.4 -> 8.0	2018-02-25 16:18:46 +01:00