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

[Git][ocaml-team/coq-doc][pristine-tar] 2 commits: pristine-tar data for coq-doc_8.17.0.orig.tar.gz



Title: GitLab

Stéphane Glondu pushed to branch pristine-tar at Debian OCaml Maintainers / coq-doc

Commits:

  • 9942a05f
    by Stephane Glondu at 2023-08-01T17:03:55+02:00
    pristine-tar data for coq-doc_8.17.0.orig.tar.gz
    
  • b4276bcb
    by Stephane Glondu at 2023-08-12T11:51:26+02:00
    pristine-tar data for coq-doc_8.17.1.orig.tar.gz
    

4 changed files:

Changes:

  • coq-doc_8.17.0.orig.tar.gz.delta
    No preview for this file type
  • coq-doc_8.17.0.orig.tar.gz.id
    1
    +b716a7d215b86fe47d1828ee24d92ebc9f5467a3

  • coq-doc_8.17.1.orig.tar.gz.delta
    No preview for this file type
  • coq-doc_8.17.1.orig.tar.gz.id
    1
    +d993f91211ae34ed7bb1b07b93b2bcfd21b30de7


  • Reply to: