Subscribed packages
| Package | Open | Critical | Unassigned | In Progress |
|---|---|---|---|---|
| Totals | 51 | 0 | 51 | 0 |
| alt-ergo in Ubuntu | 0 | 0 | 0 | 0 |
| approx in Ubuntu | 2 | 0 | 2 | 0 |
| cameleon in Ubuntu | 0 | 0 | 0 | 0 |
| lwt in Ubuntu | 0 | 0 | 0 | 0 |
| matita in Ubuntu | 1 | 0 | 1 | 0 |
| ocaml in Ubuntu | 7 | 0 | 7 | 0 |
| sks in Ubuntu | 4 | 0 | 4 | 0 |
| unison in Ubuntu | 37 | 0 | 37 | 0 |
