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