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


Commits:
6c5367aa by Ralf Treinen at 2020-09-23T21:13:58+02:00
pristine-tar data for why3_1.3.3.orig.tar.gz

- - - - -


2 changed files:

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


Changes:

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


=====================================
why3_1.3.3.orig.tar.gz.id
=====================================
@@ -0,0 +1 @@
+ab18a6a0fd9b4dd00384831c92cee1d7fe793c0d



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

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


Reply via email to