Ubuntu
acl2 package

ubuntu/+source/acl2:debian/sid

  1. Git
  2. lp:ubuntu/+source/acl2
  3. debian/sid
Last commit made on 2024-07-28
Get this branch:
git clone -b debian/sid https://git.qastaging.paddev.net/ubuntu/+source/acl2
Members of git-ubuntu import can upload to this branch. Log in for directions.

Branch merges

Branch information

Name:
debian/sid
Repository:
lp:ubuntu/+source/acl2

Recent commits

There was an error while fetching commit information from code hosting service. Please try again in a few minutes. If the problem persists, contact Launchpad support.