[Git][ocaml-team/alt-ergo] Pushed new tag archive/debian/2.0.0-5

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/alt-ergo] Pushed new tag archive/debian/2.0.0-5
From: Stéphane Glondu <gitlab@salsa.debian.org>
Date: Sun, 01 Sep 2019 06:21:05 +0000
Message-id: <[🔎] 5d6b6351344f2_577b2ade5d84e91c19479b@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Stéphane Glondu pushed new tag archive/debian/2.0.0-5 at Debian OCaml Maintainers / alt-ergo

Reply to:

Next by Date: [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.0.0-5
Next by thread: [Git][ocaml-team/alt-ergo] Pushed new tag debian/2.0.0-5
Index(es):
- Date
- Thread