]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0-1.spec
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / lablgtk_gtkmathview / lablgtk-20000829_gtkmathview-0.1.0-1.spec
1 Summary: GtkMathView : the binding for lablgtk of the GtkMathView widget
2 Name: lablgtk-20000829_gtkmathview
3 Version: 0.1.0
4 Release: 1
5 Copyright: LGPL
6 Group: Development/Libraries
7 Requires: lablgtk_20000829 gtkmathview
8 Source: www.cs.unibo.it:/~lpadovan/helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.1.0.tar.gz
9 %description
10 GtkMathView is the binding for lablgtk of the GtkMathView widget.
11
12 %prep
13 %setup
14
15 %build
16 make
17 make opt
18
19 %install
20 make install
21
22 %files
23 %doc COPYING
24
25 /usr/lib/ocaml/lablgtk/mathview