new specification

[helm.git] / helm / software / matita / contribs / dama / dama / root

diff --git a/helm/software/matita/contribs/dama/dama/root b/helm/software/matita/contribs/dama/dama/root
index c57405b9448b54c4919bd8f57d79fcc38415ac43..c12f54b7e208e5626353d2436440fbab8bbed16e 100644 (file)
--- a/helm/software/matita/contribs/dama/dama/root
+++ b/helm/software/matita/contribs/dama/dama/root
@@ -1 +1 @@
-baseuri=cic:/matita/
+baseuri=cic:/matita/dama