Ubuntu
acl2 package

Branches for Vivid

Name Status Last Modified Last Commit
lp:ubuntu/vivid/acl2 2 Mature 2015-01-16 10:35:45 UTC
32. New upstream release

Author: Camm Maguire
Revision Date: 2015-01-16 10:35:45 UTC

New upstream release
lp:ubuntu/vivid-proposed/acl2 1 Development 2015-01-16 10:35:45 UTC
34. New upstream release

Author: Camm Maguire
Revision Date: 2015-01-16 10:35:45 UTC

New upstream release
1 → 2 of 2 results First • Previous • Next • Last