This commit was manufactured by cvs2svn to create branch 'pacchetti'.

[helm.git] / helm / http_getter / helm_http_getter-0.0.1-1.spec

diff --git a/helm/http_getter/helm_http_getter-0.0.1-1.spec b/helm/http_getter/helm_http_getter-0.0.1-1.spec
deleted file mode 100644 (file)
index 9d9b55d..0000000
--- a/helm/http_getter/helm_http_getter-0.0.1-1.spec
+++ /dev/null
@@ -1,32 +0,0 @@
-Summary: The HELM http getter
-Name: helm_http_getter
-Version: 0.0.1
-Release: 1
-Copyright: GPL
-URL: http://www.cs.unibo.it/helm
-Packager: Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>
-Requires: helm_configuration = 0.0.1, helm_data = 0.0.1, perl-libwww-perl,
- perl-URI, MIME-BASE64, perl-HTML-Parser, perl-XML-Parser
-Group: Applications/Publishing
-Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_http_getter-0.0.1-1.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
-distributed library of formal mathematical knowledge. This package holds
-the getter used to map logical names into phisical names and download
-the required files.
-For more information see http://www.cs.unibo.it/helm
-
-%prep
-%setup
-
-%build
-cp config.cache.pkg config.cache
-./configure
-
-%install
-make install
-
-%files
-%doc AUTHORS COPYING ChangeLog NEWS README
-%attr(755,root,root) /usr/local/bin/http_getter.pl