[Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-8

To: debian-ocaml-maint@lists.debian.org
Subject: [Git][ocaml-team/ssreflect] Pushed new tag debian/1.14.0-8
From: "Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>
Date: Wed, 23 Mar 2022 15:47:11 +0000
Message-id: <[🔎] 623b40ff96aae_154e7b3f75083186e@godard.mail>
Reply-to: noreply@salsa.debian.org

Title: GitLab

Julien Puydt pushed new tag debian/1.14.0-8 at Debian OCaml Maintainers / ssreflect

Reply to:

Prev by Date: [Git][ocaml-team/ssreflect][master] 2 commits: Change b-dep from obsolete lua5.1 to lua5.4
Next by Date: Processing of ssreflect_1.14.0-8_source.changes
Previous by thread: [Git][ocaml-team/ssreflect][master] 2 commits: Change b-dep from obsolete lua5.1 to lua5.4
Next by thread: Processing of ssreflect_1.14.0-8_source.changes
Index(es):
- Date
- Thread