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
-
b4276bcb
by Stephane Glondu at 2023-08-12T11:51:26+02:00
4 changed files:
- + coq-doc_8.17.0.orig.tar.gz.delta
- + coq-doc_8.17.0.orig.tar.gz.id
- + coq-doc_8.17.1.orig.tar.gz.delta
- + coq-doc_8.17.1.orig.tar.gz.id
Changes:
1 | +b716a7d215b86fe47d1828ee24d92ebc9f5467a3 |
1 | +d993f91211ae34ed7bb1b07b93b2bcfd21b30de7 |