Package: ftp.debian.org libdose2-ocaml-dev_1.4.2-3_amd64.deb: package says priority is extra, override says optional.
libdose2-ocaml_1.4.2-3_amd64.deb: package says priority is extra, override says optional. These have now been downgraded to extra since they depend on another package with priority extra: librpm-dev -Ralf -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
