X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0-1.spec;h=8ab9a2222f9d3887087f2206f5f365365a0d9000;hb=fde0ad77237a2fbdfb5621d5b5085fe7c82e3f92;hp=09b4b2eb95f89e1e8e5471ae2af8e6156af32fa4;hpb=993347ab3975ccc7c39dc0324255fab4a75bc0e2;p=helm.git diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0-1.spec b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0-1.spec index 09b4b2eb9..8ab9a2222 100644 --- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0-1.spec +++ b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0-1.spec @@ -4,7 +4,7 @@ Version: 0.1.0 Release: 1 Copyright: LGPL Group: Development/Libraries -Source: ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/lablgtk-20001129.tar.gz +Source: ftp://ftp.kurims.kyoto-u.ac.jp/pub/lang/olabl/lablgtk_20001129-0.1.0.tar.gz %description LablGTK is an interface to the GIMP Tool Kit for OCaml. @@ -22,4 +22,122 @@ make install %files %doc CHANGES COPYING README doc -/usr/lib/ocaml/lablgtk/ +/usr/lib/ocaml/lablgtk/gBin.cmi +/usr/lib/ocaml/lablgtk/gBin.ml +/usr/lib/ocaml/lablgtk/gBin.mli +/usr/lib/ocaml/lablgtk/gButton.cmi +/usr/lib/ocaml/lablgtk/gButton.ml +/usr/lib/ocaml/lablgtk/gButton.mli +/usr/lib/ocaml/lablgtk/gContainer.cmi +/usr/lib/ocaml/lablgtk/gContainer.ml +/usr/lib/ocaml/lablgtk/gContainer.mli +/usr/lib/ocaml/lablgtk/gData.cmi +/usr/lib/ocaml/lablgtk/gData.ml +/usr/lib/ocaml/lablgtk/gData.mli +/usr/lib/ocaml/lablgtk/gDraw.cmi +/usr/lib/ocaml/lablgtk/gDraw.ml +/usr/lib/ocaml/lablgtk/gDraw.mli +/usr/lib/ocaml/lablgtk/gEdit.cmi +/usr/lib/ocaml/lablgtk/gEdit.ml +/usr/lib/ocaml/lablgtk/gEdit.mli +/usr/lib/ocaml/lablgtk/gList.cmi +/usr/lib/ocaml/lablgtk/gList.ml +/usr/lib/ocaml/lablgtk/gList.mli +/usr/lib/ocaml/lablgtk/gMain.cmi +/usr/lib/ocaml/lablgtk/gMain.ml +/usr/lib/ocaml/lablgtk/gMenu.cmi +/usr/lib/ocaml/lablgtk/gMenu.ml +/usr/lib/ocaml/lablgtk/gMenu.mli +/usr/lib/ocaml/lablgtk/gMisc.cmi +/usr/lib/ocaml/lablgtk/gMisc.ml +/usr/lib/ocaml/lablgtk/gMisc.mli +/usr/lib/ocaml/lablgtk/gObj.cmi +/usr/lib/ocaml/lablgtk/gObj.ml +/usr/lib/ocaml/lablgtk/gObj.mli +/usr/lib/ocaml/lablgtk/gPack.cmi +/usr/lib/ocaml/lablgtk/gPack.ml +/usr/lib/ocaml/lablgtk/gPack.mli +/usr/lib/ocaml/lablgtk/gRange.cmi +/usr/lib/ocaml/lablgtk/gRange.ml +/usr/lib/ocaml/lablgtk/gRange.mli +/usr/lib/ocaml/lablgtk/gTree.cmi +/usr/lib/ocaml/lablgtk/gTree.ml +/usr/lib/ocaml/lablgtk/gTree.mli +/usr/lib/ocaml/lablgtk/gUtil.cmi +/usr/lib/ocaml/lablgtk/gUtil.ml +/usr/lib/ocaml/lablgtk/gUtil.mli +/usr/lib/ocaml/lablgtk/gWindow.cmi +/usr/lib/ocaml/lablgtk/gWindow.ml +/usr/lib/ocaml/lablgtk/gWindow.mli +/usr/lib/ocaml/lablgtk/gaux.cmi +/usr/lib/ocaml/lablgtk/gaux.ml +/usr/lib/ocaml/lablgtk/gdk.cmi +/usr/lib/ocaml/lablgtk/gdk.ml +/usr/lib/ocaml/lablgtk/gdk.mli +/usr/lib/ocaml/lablgtk/gdkEvent.cmi +/usr/lib/ocaml/lablgtk/gdkEvent.ml +/usr/lib/ocaml/lablgtk/gdkKeysyms.cmi +/usr/lib/ocaml/lablgtk/gdkKeysyms.ml +/usr/lib/ocaml/lablgtk/gdk_tags.h +/usr/lib/ocaml/lablgtk/glGtk.mli +/usr/lib/ocaml/lablgtk/glib.cmi +/usr/lib/ocaml/lablgtk/glib.ml +/usr/lib/ocaml/lablgtk/gpointer.cmi +/usr/lib/ocaml/lablgtk/gpointer.ml +/usr/lib/ocaml/lablgtk/gtk.cmi +/usr/lib/ocaml/lablgtk/gtk.ml +/usr/lib/ocaml/lablgtk/gtkArgv.cmi +/usr/lib/ocaml/lablgtk/gtkArgv.ml +/usr/lib/ocaml/lablgtk/gtkBase.cmi +/usr/lib/ocaml/lablgtk/gtkBase.ml +/usr/lib/ocaml/lablgtk/gtkBin.cmi +/usr/lib/ocaml/lablgtk/gtkBin.ml +/usr/lib/ocaml/lablgtk/gtkButton.cmi +/usr/lib/ocaml/lablgtk/gtkButton.ml +/usr/lib/ocaml/lablgtk/gtkData.cmi +/usr/lib/ocaml/lablgtk/gtkData.ml +/usr/lib/ocaml/lablgtk/gtkEdit.cmi +/usr/lib/ocaml/lablgtk/gtkEdit.ml +/usr/lib/ocaml/lablgtk/gtkInit.cmi +/usr/lib/ocaml/lablgtk/gtkInit.cmo +/usr/lib/ocaml/lablgtk/gtkInit.cmx +/usr/lib/ocaml/lablgtk/gtkInit.ml +/usr/lib/ocaml/lablgtk/gtkInit.o +/usr/lib/ocaml/lablgtk/gtkList.cmi +/usr/lib/ocaml/lablgtk/gtkList.ml +/usr/lib/ocaml/lablgtk/gtkMain.cmi +/usr/lib/ocaml/lablgtk/gtkMain.ml +/usr/lib/ocaml/lablgtk/gtkMenu.cmi +/usr/lib/ocaml/lablgtk/gtkMenu.ml +/usr/lib/ocaml/lablgtk/gtkMisc.cmi +/usr/lib/ocaml/lablgtk/gtkMisc.ml +/usr/lib/ocaml/lablgtk/gtkNew.cmi +/usr/lib/ocaml/lablgtk/gtkNew.ml +/usr/lib/ocaml/lablgtk/gtkPack.cmi +/usr/lib/ocaml/lablgtk/gtkPack.ml +/usr/lib/ocaml/lablgtk/gtkRange.cmi +/usr/lib/ocaml/lablgtk/gtkRange.ml +/usr/lib/ocaml/lablgtk/gtkSignal.cmi +/usr/lib/ocaml/lablgtk/gtkSignal.ml +/usr/lib/ocaml/lablgtk/gtkSignal.mli +/usr/lib/ocaml/lablgtk/gtkThInit.cmi +/usr/lib/ocaml/lablgtk/gtkThInit.cmo +/usr/lib/ocaml/lablgtk/gtkThInit.ml +/usr/lib/ocaml/lablgtk/gtkThread.cmi +/usr/lib/ocaml/lablgtk/gtkThread.cmo +/usr/lib/ocaml/lablgtk/gtkThread.ml +/usr/lib/ocaml/lablgtk/gtkTree.cmi +/usr/lib/ocaml/lablgtk/gtkTree.ml +/usr/lib/ocaml/lablgtk/gtkWindow.cmi +/usr/lib/ocaml/lablgtk/gtkWindow.ml +/usr/lib/ocaml/lablgtk/gtk_tags.h +/usr/lib/ocaml/lablgtk/lablgtk.a +/usr/lib/ocaml/lablgtk/lablgtk.cma +/usr/lib/ocaml/lablgtk/lablgtk.cmxa +/usr/lib/ocaml/lablgtk/lablgtktop +/usr/lib/ocaml/lablgtk/lablgtktop_t +/usr/lib/ocaml/lablgtk/liblablgtk.a +/usr/lib/ocaml/lablgtk/ml_gdk.h +/usr/lib/ocaml/lablgtk/ml_glib.h +/usr/lib/ocaml/lablgtk/ml_gtk.h +/usr/lib/ocaml/lablgtk/wrappers.h