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

[Git][ocaml-team/coq-doc][master] 3 commits: Fix d/watch

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc

Commits:

  • c50f9c30
    by Julien Puydt at 2022-10-02T22:28:34+02:00 
    Fix d/watch
  • 4fb904a7
    by Julien Puydt at 2022-10-02T22:31:25+02:00 
    Try to fix the clean target to avoid FTBFS
  • ab29d8dd
    by Julien Puydt at 2022-10-02T22:34:31+02:00 
    Prepare for upload

3 changed files:

Changes:

  • debian/changelog
    1 
    +coq-doc (8.16.0-2) unstable; urgency=medium
    2 
    +
    3 
    +  * Fix d/watch.
    4 
    +  * Try to fix the clean target to avoid FTBFS.
    5 
    +
    6 
    + -- Julien Puydt <jpuydt@debian.org>  Sun, 02 Oct 2022 22:34:23 +0200
    7 
    +
    1 8 
     coq-doc (8.16.0-1) unstable; urgency=medium
    2 9
    3 10 
       * New upstream release.

  • debian/control
    ... ... @@ -7,7 +7,7 @@ Uploaders: Samuel Mimram <smimram@debian.org>,
    7 7 
                Hendrik Tews <hendrik@askra.de>,
    8 8 
                Julien Puydt <jpuydt@debian.org>
    9 9 
     Standards-Version: 4.6.1
    10 
    -Build-Depends: debhelper-compat (= 13), dune
    10 
    +Build-Depends: debhelper-compat (= 13), dune, sphinx (>= 4.5.0)
    11 11 
     Build-Depends-Indep: camlp5,
    12 12 
                          fig2dev,
    13 13 
                          fonts-freefont-otf,
    ... ... @@ -23,7 +23,6 @@ Build-Depends-Indep: camlp5,
    23 23 
                          python3-pexpect,
    24 24 
                          python3-sphinx-rtd-theme,
    25 25 
                          python3-sphinxcontrib.bibtex,
    26 
    -                     sphinx (>= 4.5.0),
    27 26 
                          texlive,
    28 27 
                          texlive-base,
    29 28 
                          texlive-fonts-recommended,

  • debian/watch
    1 1 
     version=4
    2 
    -https://github.com/coq/coq/releases .*/[vV]?(\d[^\s+]+)\.tar\.gz
    2 
    +https://github.com/coq/coq/tags .*/[vV]?(\d[^\s+]+)\.tar\.gz

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

    Reply to: