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

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/coq-doc] Pushed new tag debian/8.20.0-1
From: "Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>
Date: Thu, 26 Dec 2024 20:59:32 +0000
Message-id: <[🔎] 676dc3b41484f_278c8d97873ab0119705e3@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

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

Reply to:

Prev by Date: [Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.20.0.orig.tar.gz
Next by Date: [Git][ocaml-team/coq-doc][upstream] New upstream version 8.20.0
Previous by thread: [Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.20.0.orig.tar.gz
Next by thread: [Git][ocaml-team/coq-doc][upstream] New upstream version 8.20.0
Index(es):
- Date
- Thread