added snapshot of the coq exportation metadata

[helm.git] / metadata / dumps / matita_dump_1139256508.gz

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