[Git][ocaml-team/coq] Pushed new branch 8.10/debian

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/coq] Pushed new branch 8.10/debian
From: Ralf Treinen <gitlab@salsa.debian.org>
Date: Sat, 16 Nov 2019 20:39:29 +0000
Message-id: <[🔎] 5dd05e81b3366_3a52b13a0056f0c582431@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Ralf Treinen pushed new branch 8.10/debian at Debian OCaml Maintainers / coq

Reply to:

Prev by Date: [Git][ocaml-team/coq] Pushed new tag upstream/8.10.1
Next by Date: Re: Bug#941907: transition: ocaml
Previous by thread: [Git][ocaml-team/coq] Pushed new tag upstream/8.10.1
Next by thread: Bug#945016: Removed package(s) from unstable
Index(es):
- Date
- Thread