Ralf Treinen pushed to branch pristine-tar at Debian OCaml Maintainers / why3


Commits:
86738644 by Ralf Treinen at 2024-03-01T20:30:45+01:00
pristine-tar data for why3_1.7.1.orig.tar.gz

- - - - -


2 changed files:

- + why3_1.7.1.orig.tar.gz.delta
- + why3_1.7.1.orig.tar.gz.id


Changes:

=====================================
why3_1.7.1.orig.tar.gz.delta
=====================================
Binary files /dev/null and b/why3_1.7.1.orig.tar.gz.delta differ


=====================================
why3_1.7.1.orig.tar.gz.id
=====================================
@@ -0,0 +1 @@
+059629efdc5dd74819e0aed912b3426dd423fc6a



View it on GitLab: 
https://salsa.debian.org/ocaml-team/why3/-/commit/867386441ce55fddb792468c262438a62f1ef37b

-- 
View it on GitLab: 
https://salsa.debian.org/ocaml-team/why3/-/commit/867386441ce55fddb792468c262438a62f1ef37b
You're receiving this email because of your account on salsa.debian.org.


Reply via email to