Branches for Gutsy

Name Status Last Modified Last Commit
lp:ubuntu/gutsy/coq 1 Development 2009-07-30 19:56:04 UTC
8. Add dependencies on ${misc:Depends}, ...

Author: Samuel Mimram
Revision Date: 2007-07-04 10:49:01 UTC

Add dependencies on ${misc:Depends}, closes: #431679.

11 of 1 result