R. RyanTM c5d08e471c acl2: 8.1 -> 8.2 ... Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/acl2/versions		2019-05-19 19:31:37 -07:00
..
default.nix	acl2: 8.1 -> 8.2	2019-05-19 19:31:37 -07:00