Software catalogue for Canonical Ltd. - page 585
coq-record-update (Ubuntu package)
coq-reduction-effects (Ubuntu package)
coq-reglang (Ubuntu package)
coq-relation-algebra (Ubuntu package)
coq-serapi (Ubuntu package)
coq-simple-io (Ubuntu package)
coq-stdpp (Ubuntu package)
coq-theories (Ubuntu package)
coq-unicoq (Ubuntu package)
coq-unimath (Ubuntu package)
coqeal (Ubuntu package)
coqide (Ubuntu package)
coqprime (Ubuntu package)
coqprime-tools (Ubuntu package)
coquelicot (Ubuntu package)
cordova-ubuntu (Ubuntu package)
cordova-ubuntu-2.8 (Ubuntu package)
cordova-ubuntu-2.8-dev (Ubuntu package)
cordova-ubuntu-2.8-examples (Ubuntu package)
cordova-ubuntu-3.4 (Ubuntu package)
Showing elements 11681 - 11700 out of 386608
Latest security bulletins
| Secuity bulletin | Severity | Status | Published |
|---|---|---|---|
| SB20260619120: Ubuntu update for vim | Medium | 19.06.2026 | |
| SB20260619119: Ubuntu update for yard | Medium | 19.06.2026 | |
| SB20260619118: Ubuntu update for python-git | High | 19.06.2026 | |
| SB2026061866: Ubuntu update for node-pbkdf2 | Medium | 18.06.2026 | |
| SB2026061865: Ubuntu update for tomcat11 | Medium | 18.06.2026 | |
| SB2026061864: Ubuntu update for ldns | Medium | 18.06.2026 | |
| SB2026061863: Ubuntu update for linux | Low | 18.06.2026 | |
| SB2026061862: Ubuntu update for linux-aws-hwe | High | 18.06.2026 | |
| SB2026061861: Ubuntu update for linux-azure | High | 18.06.2026 | |
| SB2026061860: Ubuntu update for linux-oracle-5.15 | Low | 18.06.2026 |