[Git][ocaml-team/coq-doc] Pushed new tag debian/8.20.0-2

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/coq-doc] Pushed new tag debian/8.20.0-2
From: "Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>
Date: Thu, 23 Jan 2025 21:07:54 +0000
Message-id: <[🔎] 6792afaaaf0_3c2109f37b435377ed@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Julien Puydt pushed new tag debian/8.20.0-2 at Debian OCaml Maintainers / coq-doc

Reply to:

Prev by Date: [Git][ocaml-team/coq-doc][master] Improve the patch to compile with recent Python
Next by Date: Bug#1093324: marked as done (coq-doc: FTBFS: No module named 'typing.io'; 'typing' is not a package)
Previous by thread: [Git][ocaml-team/coq-doc][master] Improve the patch to compile with recent Python
Next by thread: ben_1.8_source.changes ACCEPTED into unstable
Index(es):
- Date
- Thread