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@-1.tar.gz
+Source: www.cs.unibo.it:/helm/@PACKAGE@-@HELM_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
%build
cp config.cache.pkg config.cache
./configure
+make
%install
make install