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


Commits:
5d8435cf by Ralf Treinen at 2019-02-14T10:01:11Z
pristine-tar data for why3_1.2.0.orig.tar.gz

- - - - -


2 changed files:

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


Changes:

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


=====================================
why3_1.2.0.orig.tar.gz.id
=====================================
@@ -0,0 +1 @@
+f0bedf2e2d57aaf59ff399db70161fce8cb9cd66



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

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

Reply via email to