osmo-mgw 1.15.0+dfsg1-1 medium
r-cran-ncmeta 0.5.0-1 medium
coq-deriving 0.2.3-3 medium
coq-reglang 1.2.2-5 medium