[Git][ocaml-team/coq] Pushed new tag debian/8.16.1+dfsg-1

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/coq] Pushed new tag debian/8.16.1+dfsg-1
From: "Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>
Date: Tue, 29 Nov 2022 08:30:52 +0000
Message-id: <[🔎] 6385c33cc3ed0_3eae8a26df3ce034436d@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Julien Puydt pushed new tag debian/8.16.1+dfsg-1 at Debian OCaml Maintainers / coq

Reply to:

Prev by Date: Re: OCaml support for mcl (Was: Help with mcl needed: util/rand.h missing)
Next by Date: [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.16.1+dfsg.orig.tar.xz
Previous by thread: Re: OCaml support for mcl (Was: Help with mcl needed: util/rand.h missing)
Next by thread: [Git][ocaml-team/coq][pristine-tar] pristine-tar data for coq_8.16.1+dfsg.orig.tar.xz
Index(es):
- Date
- Thread