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

[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_8.20.0.orig.tar.gz



Title: GitLab

Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq-doc

Commits:

  • ef33fe16
    by Julien Puydt at 2024-12-26T21:32:44+01:00
    pristine-tar data for coq-doc_8.20.0.orig.tar.gz
    

2 changed files:

Changes:

  • coq-doc_8.20.0.orig.tar.gz.delta
    No preview for this file type
  • coq-doc_8.20.0.orig.tar.gz.id
    1
    +3c0eb49d28e6df24f7e6b4c2764bcef88adadb74


  • Reply to: