| Paket |
Quelle |
Archiv |
Kurzbeschreibung |
Version |
| dot2tex |
Debian |
testing |
Graphviz to LaTeX converter |
2.8.7+repack-1 |
| dot2tex |
Debian |
unstable |
Graphviz to LaTeX converter |
2.8.7+repack-1 |
| ladr4-apps |
Debian |
testing |
the LADR deduction library, miscellaneous applications |
0.0.200902a-2 |
| ladr4-apps |
Debian |
unstable |
the LADR deduction library, miscellaneous applications |
0.0.200902a-2 |
| libladr-dev |
Debian |
unstable |
the LADR deduction library, development files |
0.0.200902a-2 |
| libladr-dev |
Debian |
testing |
the LADR deduction library, development files |
0.0.200902a-2 |
| libladr4 |
Debian |
unstable |
the LADR deduction library |
0.0.200902a-2 |
| libladr4 |
Debian |
testing |
the LADR deduction library |
0.0.200902a-2 |
| prover9 |
Debian |
unstable |
theorem prover and countermodel generator |
0.0.200902a-2 |
| prover9 |
Debian |
testing |
theorem prover and countermodel generator |
0.0.200902a-2 |
| prover9-doc |
Debian |
unstable |
documentation for Prover9 and associated programs |
0.0.200902a-1 |
| prover9-doc |
Debian |
testing |
documentation for Prover9 and associated programs |
0.0.200902a-1 |
| prover9-mace4 |
Debian |
unstable |
GUI for Prover9 and Mace4 |
0.5.dfsg-2 |
| prover9-mace4 |
Debian |
testing |
GUI for Prover9 and Mace4 |
0.5.dfsg-2 |
