[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

[Git][ocaml-team/coq] Pushed new tag archive/debian/8.9.1-2

Title: GitLab

Stéphane Glondu pushed new tag archive/debian/8.9.1-2 at Debian OCaml Maintainers / coq

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.

Reply to: