diff options
author | Enrico Tassi <gareuselesinge@debian.org> | 2015-11-13 11:31:56 +0100 |
---|---|---|
committer | Enrico Tassi <gareuselesinge@debian.org> | 2015-11-13 11:31:56 +0100 |
commit | f60abed748b22306db4985a9158ea9accf7fbad7 (patch) | |
tree | af6f935dfabc9bf6d5b09389b4d15efdde2ea3f1 | |
parent | 75a2e44cc4426bdea05f5469434a0a0bfbb2f401 (diff) |
pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz
-rw-r--r-- | coq_8.5~beta3+dfsg.orig.tar.gz.delta | bin | 78109 -> 78177 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/coq_8.5~beta3+dfsg.orig.tar.gz.delta b/coq_8.5~beta3+dfsg.orig.tar.gz.delta Binary files differindex 2bbadb40..b25545e9 100644 --- a/coq_8.5~beta3+dfsg.orig.tar.gz.delta +++ b/coq_8.5~beta3+dfsg.orig.tar.gz.delta |