]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0-1.spec
added generation of LaTeX documentation
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20001129-0.1.0-1.spec
1 Summary: LablGTK : an interface to the GIMP Tool Kit for OCaml
2 Name: lablgtk_20001129
3 Version: 0.1.0
4 Release: 1
5 Copyright: LGPL
6 Group: Development/Libraries
7 Source: ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/lablgtk_20001129-0.1.0.tar.gz
8 %description
9 LablGTK is an interface to the GIMP Tool Kit for OCaml.
10
11 %prep
12 %setup
13
14 %build
15 make configure
16 make
17 make opt
18
19 %install
20 make install
21
22 %files
23 %doc CHANGES COPYING README doc
24
25 /usr/lib/ocaml/lablgtk/gBin.cmi
26 /usr/lib/ocaml/lablgtk/gBin.ml
27 /usr/lib/ocaml/lablgtk/gBin.mli
28 /usr/lib/ocaml/lablgtk/gButton.cmi
29 /usr/lib/ocaml/lablgtk/gButton.ml
30 /usr/lib/ocaml/lablgtk/gButton.mli
31 /usr/lib/ocaml/lablgtk/gContainer.cmi
32 /usr/lib/ocaml/lablgtk/gContainer.ml
33 /usr/lib/ocaml/lablgtk/gContainer.mli
34 /usr/lib/ocaml/lablgtk/gData.cmi
35 /usr/lib/ocaml/lablgtk/gData.ml
36 /usr/lib/ocaml/lablgtk/gData.mli
37 /usr/lib/ocaml/lablgtk/gDraw.cmi
38 /usr/lib/ocaml/lablgtk/gDraw.ml
39 /usr/lib/ocaml/lablgtk/gDraw.mli
40 /usr/lib/ocaml/lablgtk/gEdit.cmi
41 /usr/lib/ocaml/lablgtk/gEdit.ml
42 /usr/lib/ocaml/lablgtk/gEdit.mli
43 /usr/lib/ocaml/lablgtk/gList.cmi
44 /usr/lib/ocaml/lablgtk/gList.ml
45 /usr/lib/ocaml/lablgtk/gList.mli
46 /usr/lib/ocaml/lablgtk/gMain.cmi
47 /usr/lib/ocaml/lablgtk/gMain.ml
48 /usr/lib/ocaml/lablgtk/gMenu.cmi
49 /usr/lib/ocaml/lablgtk/gMenu.ml
50 /usr/lib/ocaml/lablgtk/gMenu.mli
51 /usr/lib/ocaml/lablgtk/gMisc.cmi
52 /usr/lib/ocaml/lablgtk/gMisc.ml
53 /usr/lib/ocaml/lablgtk/gMisc.mli
54 /usr/lib/ocaml/lablgtk/gObj.cmi
55 /usr/lib/ocaml/lablgtk/gObj.ml
56 /usr/lib/ocaml/lablgtk/gObj.mli
57 /usr/lib/ocaml/lablgtk/gPack.cmi
58 /usr/lib/ocaml/lablgtk/gPack.ml
59 /usr/lib/ocaml/lablgtk/gPack.mli
60 /usr/lib/ocaml/lablgtk/gRange.cmi
61 /usr/lib/ocaml/lablgtk/gRange.ml
62 /usr/lib/ocaml/lablgtk/gRange.mli
63 /usr/lib/ocaml/lablgtk/gTree.cmi
64 /usr/lib/ocaml/lablgtk/gTree.ml
65 /usr/lib/ocaml/lablgtk/gTree.mli
66 /usr/lib/ocaml/lablgtk/gUtil.cmi
67 /usr/lib/ocaml/lablgtk/gUtil.ml
68 /usr/lib/ocaml/lablgtk/gUtil.mli
69 /usr/lib/ocaml/lablgtk/gWindow.cmi
70 /usr/lib/ocaml/lablgtk/gWindow.ml
71 /usr/lib/ocaml/lablgtk/gWindow.mli
72 /usr/lib/ocaml/lablgtk/gaux.cmi
73 /usr/lib/ocaml/lablgtk/gaux.ml
74 /usr/lib/ocaml/lablgtk/gdk.cmi
75 /usr/lib/ocaml/lablgtk/gdk.ml
76 /usr/lib/ocaml/lablgtk/gdk.mli
77 /usr/lib/ocaml/lablgtk/gdkEvent.cmi
78 /usr/lib/ocaml/lablgtk/gdkEvent.ml
79 /usr/lib/ocaml/lablgtk/gdkKeysyms.cmi
80 /usr/lib/ocaml/lablgtk/gdkKeysyms.ml
81 /usr/lib/ocaml/lablgtk/gdk_tags.h
82 /usr/lib/ocaml/lablgtk/glGtk.mli
83 /usr/lib/ocaml/lablgtk/glib.cmi
84 /usr/lib/ocaml/lablgtk/glib.ml
85 /usr/lib/ocaml/lablgtk/gpointer.cmi
86 /usr/lib/ocaml/lablgtk/gpointer.ml
87 /usr/lib/ocaml/lablgtk/gtk.cmi
88 /usr/lib/ocaml/lablgtk/gtk.ml
89 /usr/lib/ocaml/lablgtk/gtkArgv.cmi
90 /usr/lib/ocaml/lablgtk/gtkArgv.ml
91 /usr/lib/ocaml/lablgtk/gtkBase.cmi
92 /usr/lib/ocaml/lablgtk/gtkBase.ml
93 /usr/lib/ocaml/lablgtk/gtkBin.cmi
94 /usr/lib/ocaml/lablgtk/gtkBin.ml
95 /usr/lib/ocaml/lablgtk/gtkButton.cmi
96 /usr/lib/ocaml/lablgtk/gtkButton.ml
97 /usr/lib/ocaml/lablgtk/gtkData.cmi
98 /usr/lib/ocaml/lablgtk/gtkData.ml
99 /usr/lib/ocaml/lablgtk/gtkEdit.cmi
100 /usr/lib/ocaml/lablgtk/gtkEdit.ml
101 /usr/lib/ocaml/lablgtk/gtkInit.cmi
102 /usr/lib/ocaml/lablgtk/gtkInit.cmo
103 /usr/lib/ocaml/lablgtk/gtkInit.cmx
104 /usr/lib/ocaml/lablgtk/gtkInit.ml
105 /usr/lib/ocaml/lablgtk/gtkInit.o
106 /usr/lib/ocaml/lablgtk/gtkList.cmi
107 /usr/lib/ocaml/lablgtk/gtkList.ml
108 /usr/lib/ocaml/lablgtk/gtkMain.cmi
109 /usr/lib/ocaml/lablgtk/gtkMain.ml
110 /usr/lib/ocaml/lablgtk/gtkMenu.cmi
111 /usr/lib/ocaml/lablgtk/gtkMenu.ml
112 /usr/lib/ocaml/lablgtk/gtkMisc.cmi
113 /usr/lib/ocaml/lablgtk/gtkMisc.ml
114 /usr/lib/ocaml/lablgtk/gtkNew.cmi
115 /usr/lib/ocaml/lablgtk/gtkNew.ml
116 /usr/lib/ocaml/lablgtk/gtkPack.cmi
117 /usr/lib/ocaml/lablgtk/gtkPack.ml
118 /usr/lib/ocaml/lablgtk/gtkRange.cmi
119 /usr/lib/ocaml/lablgtk/gtkRange.ml
120 /usr/lib/ocaml/lablgtk/gtkSignal.cmi
121 /usr/lib/ocaml/lablgtk/gtkSignal.ml
122 /usr/lib/ocaml/lablgtk/gtkSignal.mli
123 /usr/lib/ocaml/lablgtk/gtkThInit.cmi
124 /usr/lib/ocaml/lablgtk/gtkThInit.cmo
125 /usr/lib/ocaml/lablgtk/gtkThInit.ml
126 /usr/lib/ocaml/lablgtk/gtkThread.cmi
127 /usr/lib/ocaml/lablgtk/gtkThread.cmo
128 /usr/lib/ocaml/lablgtk/gtkThread.ml
129 /usr/lib/ocaml/lablgtk/gtkTree.cmi
130 /usr/lib/ocaml/lablgtk/gtkTree.ml
131 /usr/lib/ocaml/lablgtk/gtkWindow.cmi
132 /usr/lib/ocaml/lablgtk/gtkWindow.ml
133 /usr/lib/ocaml/lablgtk/gtk_tags.h
134 /usr/lib/ocaml/lablgtk/lablgtk.a
135 /usr/lib/ocaml/lablgtk/lablgtk.cma
136 /usr/lib/ocaml/lablgtk/lablgtk.cmxa
137 /usr/lib/ocaml/lablgtk/lablgtktop
138 /usr/lib/ocaml/lablgtk/lablgtktop_t
139 /usr/lib/ocaml/lablgtk/liblablgtk.a
140 /usr/lib/ocaml/lablgtk/ml_gdk.h
141 /usr/lib/ocaml/lablgtk/ml_glib.h
142 /usr/lib/ocaml/lablgtk/ml_gtk.h
143 /usr/lib/ocaml/lablgtk/wrappers.h