From c042f85ec49c1651bf15e957724df0b3ba8d3261 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <gareuselesinge@debian.org>
Date: Sun, 25 Jan 2015 14:43:16 +0100
Subject: pristine-tar data for coq_8.5~beta1+dfsg.orig.tar.gz

---
 coq_8.5~beta1+dfsg.orig.tar.gz.delta | Bin 73578 -> 73751 bytes
 1 file changed, 0 insertions(+), 0 deletions(-)

diff --git a/coq_8.5~beta1+dfsg.orig.tar.gz.delta b/coq_8.5~beta1+dfsg.orig.tar.gz.delta
index 0a7f2333..92708706 100644
Binary files a/coq_8.5~beta1+dfsg.orig.tar.gz.delta and b/coq_8.5~beta1+dfsg.orig.tar.gz.delta differ
-- 
cgit v1.2.3