Related packages
PPA packages
10 packages| Name | Uploaded to | Version | When | Failures |
|---|---|---|---|---|
| libidd-ocaml-dev | Mathias Kende PPA - Ubuntu Karmic | 0.5-1 | None | |
| libsaferun-ocaml-dev | Mathias Kende PPA - Ubuntu Jaunty | 0.1-1 | None | |
| zanorg | Mathias Kende PPA - Ubuntu Jaunty | 0.5-1 | None | |
| netlist | Mathias Kende PPA - Ubuntu Jaunty | 1.0.0-2 | None | |
| saferun | Mathias Kende PPA - Ubuntu Jaunty | 0.5-1 | None | |
| rezo | Mathias Kende PPA - Ubuntu Jaunty | 0.8-1 | None | |
| libptrace-ocaml-dev | Mathias Kende PPA - Ubuntu Jaunty | 0.8-1 | None | |
| libsmbclient-ocaml-dev | Mathias Kende PPA - Ubuntu Jaunty | 1.0-2 | None | |
| ocamlmk | Mathias Kende PPA - Ubuntu Jaunty | 1.0.1-1 | None | |
| polysem | Mathias Kende PPA - Ubuntu Jaunty | 1.0-1 | None |
