Hi, I finally pushed a few packages updates to alioth, so they need a review & sponsored upload. ## mathcomp That's the largest one. I brought in v1.6, which is compatible with Coq 8.5 and ships ssreflect as part of mathcomp (closes FTBFS #813820), so the ssreflect source package should be deleted. I also moved the documentation to a separate package, and cleaned up a number of things. I pushed the branches as v1.6/{master,upstream,pristine-tar} on alioth. ## camlpdf - Update to v2.1.1. - Fixes copyright information, closing #742881 which resulted in camlpdf's deletion from the archive. - Various small improvements. For some reason, the package failed to link when setting hardening+=all. Is this a known problem of (some) OCaml packages with C stubs? ## apron - Many cleanups (Vcs-* URLs, Standards-Version, copyright, typos) - Made libapron-dev depend on libapron, fixing broken symlinks discovered by piuparts (#715070) - Move some shlib symlinks to libapron-dev. Breaks and Replaces were set accordingly. - Use build-time hardening for the C parts - Added doc-base metadata ## aac-tactics - Update to upstream version 8.5.1, compatible with Coq 8.5 This resolves FTBFS #813459 - Pointed the upstream URLs to Github - Many cleanups Best, nicoo
Attachment:
signature.asc
Description: PGP signature