New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

acl2: 7.4 -> 8.0 #35489

Merged

vbgl merged 1 commit into NixOS:master from ryantm:auto-update/acl2-7.4-to-8.0

Feb 25, 2018

Member

ryantm commented Feb 24, 2018

Semi-automated update

builds on NixOS
binary runs on NixOS and shows correct version 8.0


          acl2: 7.4 -> 8.0

74761b1

Semi-automatic update; builds on NixOS

GrahamcOfBorg added 10.rebuild-darwin: 0 10.rebuild-linux: 1-10 labels

vbgl merged commit 81f04d6 into NixOS:master

ryantm deleted the auto-update/acl2-7.4-to-8.0 branch

September 2, 2018 00:42

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment