Software catalogue for Canonical Ltd. - page 584
coq-doc-pdf (Ubuntu package)
coq-dpdgraph (Ubuntu package)
coq-dpdgraph-tools (Ubuntu package)
coq-elpi (Ubuntu package)
coq-equations (Ubuntu package)
coq-ext-lib (Ubuntu package)
coq-extructures (Ubuntu package)
coq-float (Ubuntu package)
coq-gappa (Ubuntu package)
coq-hammer (Ubuntu package)
coq-hierarchy-builder (Ubuntu package)
coq-highschoolgeometry (Ubuntu package)
coq-hott (Ubuntu package)
coq-interval (Ubuntu package)
coq-iris (Ubuntu package)
coq-libhyps (Ubuntu package)
coq-math-classes (Ubuntu package)
coq-menhirlib (Ubuntu package)
coq-mtac2 (Ubuntu package)
coq-quickchick (Ubuntu package)
Showing elements 11661 - 11680 out of 386471
Latest security bulletins
| Secuity bulletin | Severity | Status | Published |
|---|---|---|---|
| SB20260424147: Ubuntu update for gst-plugins-bad1.0 | High | 24.04.2026 | |
| SB20260424146: Ubuntu update for linux-ibm | Low | 24.04.2026 | |
| SB20260424145: Ubuntu update for jq | High | 24.04.2026 | |
| SB20260424144: Ubuntu update for libopenmpt | High | 24.04.2026 | |
| SB20260424143: Ubuntu update for avahi | Medium | 24.04.2026 | |
| SB2026042376: Ubuntu update for linux-aws | Low | 23.04.2026 | |
| SB2026042375: Ubuntu update for linux-hwe-6.8 | Low | 23.04.2026 | |
| SB2026042374: Ubuntu update for linux-oracle | Low | 23.04.2026 | |
| SB2026042373: Ubuntu update for linux-raspi-realtime | Low | 23.04.2026 | |
| SB2026042372: Ubuntu update for linux-azure | Low | 23.04.2026 |