Ubuntu
acl2 package

ubuntu/+source/acl2:applied/ubuntu/eoan-devel

  1. Git
  2. lp:ubuntu/+source/acl2
  3. applied/ubuntu/eoan-devel
Last commit made on 2019-04-04
Get this branch:
git clone -b applied/ubuntu/eoan-devel https://git.launchpad.net/ubuntu/+source/acl2
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
applied/ubuntu/eoan-devel
Repository:
lp:ubuntu/+source/acl2

Recent commits

7049893... by Camm Maguire

8.1dfsg-3 (patches applied)

Imported using git-ubuntu import.

88dee8e... by Camm Maguire

<short summary of the patch>

Gbp-Pq: do-not-pre-allocate-contiguous-blocks1-in-acl2.lisp.

1c3be5c... by Camm Maguire

<short summary of the patch>

Gbp-Pq: remove-pcert-local-elided-for-final-file.

a933ee1... by Camm Maguire

fix elementary-bounders .final file

Gbp-Pq: remove-pcert-elementary-bounders-for-final-file.

1512a69... by Camm Maguire

8.1dfsg-3 (patches unapplied)

Imported using git-ubuntu import.

d8ca2d5... by Camm Maguire

8.1dfsg-2 (patches applied)

Imported using git-ubuntu import.

ebc7913... by Camm Maguire

8.1dfsg-2 (patches unapplied)

Imported using git-ubuntu import.

3c222e2... by Camm Maguire

<short summary of the patch>

Gbp-Pq: do-not-pre-allocate-contiguous-blocks1-in-acl2.lisp.

373fbc6... by Camm Maguire

<short summary of the patch>

Gbp-Pq: remove-pcert-local-elided-for-final-file.

0850b89... by Camm Maguire

fix elementary-bounders .final file

Gbp-Pq: remove-pcert-elementary-bounders-for-final-file.