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

[Git][ocaml-team/hol-light][pristine-tar] pristine-tar data for hol-light_20190729.orig.tar.gz

Title: GitLab

Gianfranco Costamagna pushed to branch pristine-tar at Debian OCaml Maintainers / hol-light

Commits:

2 changed files:

Changes:

  • hol-light_20190729.orig.tar.gz.delta
    No preview for this file type
  • hol-light_20190729.orig.tar.gz.id
    1 
    +a566c45faba38f43c9e8b49864ae56a64f2efe5a

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