Julien Puydt pushed to branch master at Debian OCaml Maintainers / aac-tactics
Commits: 3e7913af by Julien Puydt at 2023-06-11T09:23:20+02:00 Added lintian overrides for false issues - - - - - 988494cf by Julien Puydt at 2023-06-12T10:13:02+02:00 Bump Coq version depend - - - - - a14c3424 by Julien Puydt at 2023-06-12T19:27:28+02:00 Prepare for upload - - - - - 3 changed files: - debian/changelog - debian/control - + debian/libcoq-aac-tactics.lintian-overrides Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,10 @@ +aac-tactics (8.17.0-2) unstable; urgency=medium + + * Add lintian overrides for false issues. + * Bump Coq version depend. + + -- Julien Puydt <[email protected]> Mon, 12 Jun 2023 19:27:20 +0200 + aac-tactics (8.17.0-1) unstable; urgency=medium * Fix links in the doc base system. ===================================== debian/control ===================================== @@ -4,7 +4,7 @@ Priority: optional Maintainer: Debian OCaml Maintainers <[email protected]> Uploaders: Stéphane Glondu <[email protected]>, Julien Puydt <[email protected]> -Build-Depends: coq (>= 8.16), +Build-Depends: coq (>= 8.17), debhelper-compat (= 13), dh-coq, dh-ocaml, ===================================== debian/libcoq-aac-tactics.lintian-overrides ===================================== @@ -0,0 +1,4 @@ +# no issue +libcoq-aac-tactics: ocaml-dangling-cmx [usr/lib/ocaml/coq-aac-tactics/aac_plugin.cmx] +libcoq-aac-tactics: ocaml-dangling-cmxs [usr/lib/ocaml/coq/user-contrib/AAC_tactics/aac_plugin.cmxs] +libcoq-aac-tactics: ocaml-dangling-cmxa [usr/lib/ocaml/coq-aac-tactics/aac_plugin.cmxa] View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/c77fea6c252707f508802495c248a0b4f5227b02...a14c3424a4758495a6bc62643a699388a41c135f -- View it on GitLab: https://salsa.debian.org/ocaml-team/aac-tactics/-/compare/c77fea6c252707f508802495c248a0b4f5227b02...a14c3424a4758495a6bc62643a699388a41c135f You're receiving this email because of your account on salsa.debian.org.
