[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_20230128.orig.tar.gz

Title: GitLab

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / hol-light

Commits:

  • 3ef5fcbc
    by Stephane Glondu at 2023-01-31T12:02:25+01:00 
    pristine-tar data for hol-light_20230128.orig.tar.gz

2 changed files:

Changes:

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

    • —
    View it on GitLab.
    You're receiving this email because of your account on salsa.debian.org. Manage all notifications · Help

    Reply to: