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

[Git][ocaml-team/hol-light] Pushed new tag debian/20190729-0.1

Title: GitLab

Gianfranco Costamagna pushed new tag debian/20190729-0.1 at Debian OCaml Maintainers / hol-light

—
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: