[Git][ocaml-team/coq] Pushed new tag upstream/8.19.1+dfsg

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/coq] Pushed new tag upstream/8.19.1+dfsg
From: "Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>
Date: Mon, 11 Mar 2024 14:48:38 +0000
Message-id: <[🔎] 65ef19c663261_202e2a6b36413567dc@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Julien Puydt pushed new tag upstream/8.19.1+dfsg at Debian OCaml Maintainers / coq

Reply to:

Prev by Date: [Git][ocaml-team/coq][upstream] New upstream version 8.19.1+dfsg
Next by Date: Re: RFS: omd/1.3.2-1 [ITP] -- Markdown frontend in pure OCaml
Previous by thread: [Git][ocaml-team/coq][upstream] New upstream version 8.19.1+dfsg
Next by thread: Bug#1066043: RFS: lem/2022-12-10+dfsg-1 [ITP] -- Tool merging math and logic for executable definitions (tool)
Index(es):
- Date
- Thread