Ubuntu
acl2 package

ubuntu/+source/acl2:importer/debian/pristine-tar

  1. Git
  2. lp:ubuntu/+source/acl2
  3. importer/debian/pristine-tar
Last commit made on 2022-08-25
Get this branch:
git clone -b importer/debian/pristine-tar 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:
importer/debian/pristine-tar
Repository:
lp:ubuntu/+source/acl2

Recent commits

9655ab8... by Ubuntu Git Importer <email address hidden>

pristine-tar data for acl2_8.5dfsg.orig.tar.gz

fc5e50c... by Ubuntu Git Importer <email address hidden>

pristine-tar data for acl2_8.4dfsg.orig.tar.gz

c16f1ec... by Ubuntu Git Importer <email address hidden>

pristine-tar data for acl2_8.3dfsg.orig.tar.gz

039e114... by Ubuntu Git Importer <email address hidden>

pristine-tar data for acl2_8.2dfsg.orig.tar.gz

ef9b580... by Ubuntu Git Importer <email address hidden>

pristine-tar data for acl2_8.1dfsg.orig.tar.gz

5e36089... by Ubuntu Git Importer <email address hidden>

pristine-tar data for acl2_8.0dfsg.orig.tar.gz

c383764... by Ubuntu Git Importer <email address hidden>

pristine-tar data for acl2_7.4dfsg.orig.tar.gz

28f1a6e... by Ubuntu Git Importer <email address hidden>

pristine-tar data for acl2_7.2dfsg.orig.tar.gz

74cd737... by Ubuntu Git Importer <email address hidden>

pristine-tar data for acl2_7.1dfsg.orig.tar.gz

f72298c... by Ubuntu Git Importer <email address hidden>

pristine-tar data for acl2_7.1.orig.tar.gz