[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, pristine-tar, updated. 9a2e4e45c1445bab6d6ff4658f9603e31538cc52
The following commit has been merged in the pristine-tar branch: commit c83bcccb2d03c1eafe68522f740e418b389a9f05 Author: Stephane Glondu st...@glondu.net Date: Sun Dec 25 13:19:49 2011 +0100 pristine-tar data for coq_8.3.pl3.orig.tar.gz diff --git a/coq_8.3.pl3.orig.tar.gz.delta b/coq_8.3.pl3.orig.tar.gz.delta new file mode 100644 index 000..1c88208 Binary files /dev/null and b/coq_8.3.pl3.orig.tar.gz.delta differ diff --git a/coq_8.3.pl3.orig.tar.gz.id b/coq_8.3.pl3.orig.tar.gz.id new file mode 100644 index 000..8973ca8 --- /dev/null +++ b/coq_8.3.pl3.orig.tar.gz.id @@ -0,0 +1 @@ +300293c119981054c95182a90c829058530a6b6f -- coq packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, pristine-tar, updated. 9a2e4e45c1445bab6d6ff4658f9603e31538cc52
The following commit has been merged in the pristine-tar branch: commit 9a2e4e45c1445bab6d6ff4658f9603e31538cc52 Author: Stephane Glondu st...@glondu.net Date: Sun Dec 25 13:46:44 2011 +0100 pristine-tar data for coq_8.3.pl3+dfsg.orig.tar.gz diff --git a/coq_8.3.pl3+dfsg.orig.tar.gz.delta b/coq_8.3.pl3+dfsg.orig.tar.gz.delta new file mode 100644 index 000..abdf74c Binary files /dev/null and b/coq_8.3.pl3+dfsg.orig.tar.gz.delta differ diff --git a/coq_8.3.pl3+dfsg.orig.tar.gz.id b/coq_8.3.pl3+dfsg.orig.tar.gz.id new file mode 100644 index 000..455f2ee --- /dev/null +++ b/coq_8.3.pl3+dfsg.orig.tar.gz.id @@ -0,0 +1 @@ +5fe4ac437bed43547b3695664974f492b55cb553 -- coq packaging ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits