[Pkg-ocaml-maint-commits] [SCM] coq-float packaging branch, pristine-tar, updated. c4960afeeb273cdc0aefe24c27602f121cca6858

Stephane Glondu steph at glondu.net
Mon Feb 23 14:25:34 UTC 2009


The following commit has been merged in the pristine-tar branch:
commit c4960afeeb273cdc0aefe24c27602f121cca6858
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Feb 23 15:22:27 2009 +0100

    pristine-tar data for coq-float_8.2-1.2.orig.tar.gz

diff --git a/coq-float_8.2-1.2.orig.tar.gz.delta b/coq-float_8.2-1.2.orig.tar.gz.delta
new file mode 100644
index 0000000..be59657
Binary files /dev/null and b/coq-float_8.2-1.2.orig.tar.gz.delta differ
diff --git a/coq-float_8.2-1.2.orig.tar.gz.id b/coq-float_8.2-1.2.orig.tar.gz.id
new file mode 100644
index 0000000..c6c1207
--- /dev/null
+++ b/coq-float_8.2-1.2.orig.tar.gz.id
@@ -0,0 +1 @@
+d27a393b9c8fe0af19601c2aadcd54b464d391c9

-- 
coq-float packaging



More information about the Pkg-ocaml-maint-commits mailing list