Summary: The gtk interface for the library of project HELM Name: @PACKAGE@ Version: @VERSION@ Release: 1 Copyright: GPL URL: http://www.cs.unibo.it/helm Packager: Claudio Sacerdoti Coen Requires: helm_configuration >= 0.0.2, helm_data >= 0.0.2, helm_http_getter >= 0.0.2, helm_uwobo >= 0.0.2, ocaml >= 3.00, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk, lablgtkmathview >= 0.0.2 Group: Applications/Publishing 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 distributed library of formal mathematical knowledge. This package holds a gtk interface to the library. For more information see http://www.cs.unibo.it/helm %prep %setup %build ./configure --enable-defaults make make opt %install make install %files %doc AUTHORS COPYING ChangeLog NEWS README %attr(755,root,root) /usr/local/bin/mmlinterface %attr(755,root,root) /usr/local/bin/mmlinterface.opt