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

[Git][ocaml-team/coq-doc][master] Improve the patch to compile with recent Python

Title: GitLab

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

Commits:

  • af5c0c2e
    by Julien Puydt at 2025-01-23T21:31:07+01:00 
    Improve the patch to compile with recent Python

2 changed files:

Changes:

  • debian/changelog
    1 
    -coq-doc (8.20.0-2) UNRELEASED; urgency=medium
    1 
    +coq-doc (8.20.0-2) unstable; urgency=medium
    2 2
    3 3 
       * Add patch to compile with recent Python versions
    4 4 
         (Closes: #1093324, #1093100).
    5 5
    6 
    - -- Julien Puydt <jpuydt@debian.org>  Mon, 20 Jan 2025 12:58:56 +0100
    6 
    + -- Julien Puydt <jpuydt@debian.org>  Thu, 23 Jan 2025 21:31:00 +0100
    7 7
    8 8 
     coq-doc (8.20.0-1) unstable; urgency=medium
    9 9

  • debian/patches/fix_recent_python.patch
    ... ... @@ -34,3 +34,13 @@ Forwarded: https://github.com/coq/coq/issues/20078
    34 34
    35 35 
      # The name for this set of Sphinx documents.
    36 36 
      # "<project> v<release> documentation" by default.
    37 
    +--- coq-doc.orig/doc/sphinx/dune
    38 
    ++++ coq-doc/doc/sphinx/dune
    39 
    +@@ -4,7 +4,3 @@
    40 
    +  (targets README.gen.rst)
    41 
    +  (deps (source_tree ../tools/coqrst) README.template.rst)
    42 
    +  (action (run ../tools/coqrst/regen_readme.py %{targets})))
    43 
    +-
    44 
    +-(rule
    45 
    +- (alias refman-html)
    46 
    +- (action (diff README.rst README.gen.rst)))

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

    Reply to: