| gappa |
PPA for Guillaume Melquiond -
Ubuntu Maverick
|
0.16.0-1~ppa+maverick1 |
|
None
|
| gappa |
PPA for Guillaume Melquiond -
Ubuntu Lucid
|
0.15.1-1~ppa+lucid1 |
|
None
|
| why3 |
PPA for Guillaume Melquiond -
Ubuntu Maverick
|
0.70-1~ppa+maverick1 |
|
None
|
| why3 |
PPA for Guillaume Melquiond -
Ubuntu Lucid
|
0.70-1~ppa+lucid1 |
|
None
|
| libgappa-coq |
PPA for Guillaume Melquiond -
Ubuntu Lucid
|
0.16.0-1~ppa+lucid1 |
|
None
|
| libgappa-coq |
PPA for Guillaume Melquiond -
Ubuntu Maverick
|
0.16.0-1~ppa+maverick1 |
|
None
|
| libinterval-coq |
PPA for Guillaume Melquiond -
Ubuntu Lucid
|
0.13.0-1~ppa+lucid2 |
|
None
|
| libinterval-coq |
PPA for Guillaume Melquiond -
Ubuntu Maverick
|
0.13.0-1~ppa+maverick1 |
|
None
|
| libflocq-coq |
PPA for Guillaume Melquiond -
Ubuntu Maverick
|
1.4.0-1~ppa+maverick2 |
|
None
|
| libflocq-coq |
PPA for Guillaume Melquiond -
Ubuntu Lucid
|
1.4.0-1~ppa+lucid2 |
|
None
|
| scite |
PPA for Guillaume Melquiond -
Ubuntu Lucid
|
2.03-1ppa1 |
|
None
|
