[Git][ocaml-team/coq] Pushed new tag debian/8.12.0-3

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/coq] Pushed new tag debian/8.12.0-3
From: Ralf Treinen <gitlab@salsa.debian.org>
Date: Thu, 10 Sep 2020 06:55:36 +0000
Message-id: <[🔎] 5f59cde812bd2_75873fe7c4353194927976@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Ralf Treinen pushed new tag debian/8.12.0-3 at Debian OCaml Maintainers / coq

Reply to:

Prev by Date: [Git][ocaml-team/coq][master] 32 commits: New upstream version 8.10.1
Next by Date: failed s390x build of coq 8.12.0-3
Previous by thread: [Git][ocaml-team/coq][master] 32 commits: New upstream version 8.10.1
Next by thread: failed s390x build of coq 8.12.0-3
Index(es):
- Date
- Thread