Synchronised packages

13 of 3 results
Name Uploaded to Version When Failures
why Ubuntu Precise 2.30+dfsg-3 2012-01-17 None
coq Ubuntu Precise 8.3.pl3+dfsg-1 2012-01-07 None
frama-c Ubuntu Precise 20111001+nitrogen+dfsg-3 2012-01-07 None
13 of 3 results