Michael Raskin 60b6d5f8a8 acl2: 8.1.post.2018.09.20 -> 8.1; turns out there is a release

2018-09-21 19:09:47 +03:00

..

default.nix

acl2: 8.1.post.2018.09.20 -> 8.1; turns out there is a release

2018-09-21 19:09:47 +03:00