Maintained Packages
| 1 → 22 of 22 results | First • Previous • Next • Last |
| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| otter | Ubuntu Precise | 3.3f-1.1 | None | |
| otter | Debian Sid | 3.3f-1.1 | None | |
| tcpser | Ubuntu Oneiric | 1.0rc12-1ubuntu1 | None | |
| tcpser | Debian Lenny | 1.0rc12-1 | None | |
| pydot | Debian Lenny | 1.0.2-1 | None | |
| prover9-manual | Debian Lenny | 0.0.200806a-1 | None | |
| p9m4 | Debian Lenny | 0.5.dfsg-1 | None | |
| otter | Debian Lenny | 3.3f-1 | None | |
| ladr | Debian Lenny | 0.0.200806a-1 | None | |
| dot2tex | Debian Lenny | 2.8.2-1 | None | |
| prover9-manual | Ubuntu Intrepid | 0.0.200806a-1 | None | |
| ladr | Ubuntu Intrepid | 0.0.200806a-1 | None | |
| dot2tex | Ubuntu Intrepid | 2.8.2-1 | None | |
| pydot | Ubuntu Intrepid | 1.0.2-1 | None | |
| p9m4 | Ubuntu Intrepid | 0.5.dfsg-1 | None | |
| tcpser | Ubuntu Intrepid | 1.0rc12-1 | None | |
| pydot | Ubuntu Hardy | 0.9.10-2 | None | |
| dot2tex | Ubuntu Hardy | 2.6.1-1 | None | |
| dot2tex | Ubuntu Gutsy | 2.0.3-1 | None | |
| otter | Ubuntu Gutsy | 3.3f-1 | None | |
| pydot | Ubuntu Feisty | 0.9.10-1 | None | |
| tcpser | Ubuntu Feisty | 1.0rc10-1 | None |
| 1 → 22 of 22 results | First • Previous • Next • Last |
