The following commit has been merged in the pristine-tar branch:
commit 4bd5268aab4bc761d29921e884104a583710d70d
Author: Stephane Glondu
Date: Tue Apr 19 17:38:13 2011 +0200
pristine-tar data for coq_8.3.pl2+dfsg.orig.tar.gz
diff --git a/coq_8.3.pl2+dfsg.orig.tar.gz.delta
b/coq_8.3.pl2+df
The following commit has been merged in the pristine-tar branch:
commit 1bf5a52ae69a2869e095621bb5765026ba836887
Author: Stephane Glondu
Date: Tue Apr 19 16:44:39 2011 +0200
pristine-tar data for coq_8.3.pl2.orig.tar.gz
diff --git a/coq_8.3.pl2.orig.tar.gz.delta b/coq_8.3.pl2.orig.tar.gz.d
2 matches
Mail list logo