Summary: The configuration files shared by all the tools of project HELM
Name: @PACKAGE@
-Version: @HELM_VERSION@
+Version: @VERSION@
Release: 1
Copyright: GPL
URL: http://www.cs.unibo.it/helm
Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
Group: Applications/Publishing
-Source: www.cs.unibo.it:/helm/@PACKAGE@-@HELM_VERSION@.tar.gz
+Source: www.cs.unibo.it:/helm/@PACKAGE@-@VERSION@.tar.gz
%description
HELM (Hypertextual Electronic Library of Mathematics) is a project aimed
at the creation of tools for the development and exploitation of a huge