From f60abed748b22306db4985a9158ea9accf7fbad7 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Fri, 13 Nov 2015 11:31:56 +0100
Subject: pristine-tar data for coq_8.5~beta3+dfsg.orig.tar.gz

---
 coq_8.5~beta3+dfsg.orig.tar.gz.delta | Bin 78109 -> 78177 bytes
 1 file 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
index 2bbadb40..b25545e9 100644
Binary files a/coq_8.5~beta3+dfsg.orig.tar.gz.delta and b/coq_8.5~beta3+dfsg.orig.tar.gz.delta differ
-- 
cgit v1.2.3