|
|
| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| coq |
Debian |
experimental |
proof assistant for higher-order logic (toplevel and compiler) |
8.2~rc2+dfsg-3 |
| coq |
Debian |
stable |
proof assistant for higher-order logic (toplevel and compiler) |
8.1.pl3+dfsg-1+b2 |
| coq |
Debian |
testing |
proof assistant for higher-order logic (toplevel and compiler) |
8.2.pl1+dfsg-6+b2 |
| coq |
Debian |
unstable |
proof assistant for higher-order logic (toplevel and compiler) |
8.2.pl1+dfsg-6+b2 |
|
|
|
