]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/helm_gtk_interface-0.0.1-1.spec
Some Requires were missing. Same checks still missing in configure.in
[helm.git] / helm / interface / helm_gtk_interface-0.0.1-1.spec
index 3a861e24c46e39b5a1363be2b1062f6bd840ba62..52de9d9ccac353048dbbfdcd6a9b759ca4637f79 100644 (file)
@@ -5,7 +5,7 @@ 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, helm_http_getter = 0.0.1, helm_xsltd = 0.0.1
+Requires: helm_configuration = 0.0.1, helm_data = 0.0.1, helm_http_getter = 0.0.1, helm_xsltd = 0.0.1, ocaml >= 3.00, ocaml-findlib, ocaml-netstring, ocaml-pxp, lablgtk_20001129, lablgtk-20001129_gtkmathview
 Group: Applications/Publishing
 Source: www.cs.unibo.it:/~lpadovan/mml-widget/helm_gtk_interface-0.0.1-1.tar.gz
 %description