[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/aac-tactics][master] 3 commits: Added lintian overrides for false issues

Title: GitLab

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:

Changes:

  • debian/changelog
    1 
    +aac-tactics (8.17.0-2) unstable; urgency=medium
    2 
    +
    3 
    +  * Add lintian overrides for false issues.
    4 
    +  * Bump Coq version depend.
    5 
    +
    6 
    + -- Julien Puydt <jpuydt@debian.org>  Mon, 12 Jun 2023 19:27:20 +0200
    7 
    +
    1 8 
     aac-tactics (8.17.0-1) unstable; urgency=medium
    2 9
    3 10 
       * Fix links in the doc base system.

  • debian/control
    ... ... @@ -4,7 +4,7 @@ Priority: optional
    4 4 
     Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
    5 5 
     Uploaders: Stéphane Glondu <glondu@debian.org>,
    6 6 
                Julien Puydt <jpuydt@debian.org>
    7 
    -Build-Depends: coq (>= 8.16),
    7 
    +Build-Depends: coq (>= 8.17),
    8 8 
                    debhelper-compat (= 13),
    9 9 
                    dh-coq,
    10 10 
                    dh-ocaml,

  • debian/libcoq-aac-tactics.lintian-overrides
    1 
    +# no issue
    2 
    +libcoq-aac-tactics: ocaml-dangling-cmx [usr/lib/ocaml/coq-aac-tactics/aac_plugin.cmx]
    3 
    +libcoq-aac-tactics: ocaml-dangling-cmxs [usr/lib/ocaml/coq/user-contrib/AAC_tactics/aac_plugin.cmxs]
    4 
    +libcoq-aac-tactics: ocaml-dangling-cmxa [usr/lib/ocaml/coq-aac-tactics/aac_plugin.cmxa]

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help

    Reply to: