X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0-1.spec;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20000829-0.1.0-1.spec;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=4b579e85225200f4473bfaf8d7f81927902f58de;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0-1.spec b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0-1.spec
deleted file mode 100644
index 4b579e852..000000000
--- a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0-1.spec
+++ /dev/null
@@ -1,25 +0,0 @@
-Summary: LablGTK : an interface to the GIMP Tool Kit for OCaml
-Name: lablgtk_20000829
-Version: 0.1.0
-Release: 1
-Copyright: LGPL
-Group: Development/Libraries
-Source: ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/lablgtk-20000829.tar.gz
-%description
-LablGTK is an interface to the GIMP Tool Kit for OCaml.
-
-%prep
-%setup
-
-%build
-make configure
-make
-make opt
-
-%install
-make install
-
-%files
-%doc CHANGES COPYING README doc
-
-/usr/lib/ocaml/lablgtk/