added snapshot of the coq exportation metadata

diff --git a/helm/software/metadata/dumps/README b/helm/software/metadata/dumps/README
new file mode 100644 (file)
index 0000000..e38d548
--- /dev/null
+++ b/helm/software/metadata/dumps/README
@@ -0,0 +1,3 @@
+Dumps of the Matita database containing rows regarding the Coq exportation.
+
+Tue, 14 Feb 2006 13:36:16 -0500 zack

diff --git a/helm/software/metadata/dumps/matita_dump_1139256508.gz b/helm/software/metadata/dumps/matita_dump_1139256508.gz
new file mode 100644 (file)
index 0000000..6b98712
Binary files /dev/null and b/helm/software/metadata/dumps/matita_dump_1139256508.gz differ