Ubuntu
acl2 package

Branches for Raring

Name Status Last Modified Last Commit
lp://qastaging/ubuntu/raring/acl2 2 Mature 2013-01-13 17:54:15 UTC
26. HOME="/tmp" environment for make DOC

Author: Camm Maguire
Revision Date: 2013-01-13 17:54:15 UTC

HOME="/tmp" environment for make DOC
lp://qastaging/ubuntu/raring-proposed/acl2 2 Mature 2013-12-11 19:27:32 UTC
26. HOME="/tmp" environment for make DOC

Author: Camm Maguire
Revision Date: 2013-01-13 17:54:15 UTC

HOME="/tmp" environment for make DOC
1 → 2 of 2 results First • Previous • Next • Last