X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0-1.spec;fp=helm%2FDEVEL%2Flablgtk%2Flablgtk_20001129-0.1.0-1.spec;h=0000000000000000000000000000000000000000;hp=8ab9a2222f9d3887087f2206f5f365365a0d9000;hb=869549224eef6278a48c16ae27dd786376082b38;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8 diff --git a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0-1.spec b/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0-1.spec deleted file mode 100644 index 8ab9a2222..000000000 --- a/helm/DEVEL/lablgtk/lablgtk_20001129-0.1.0-1.spec +++ /dev/null @@ -1,143 +0,0 @@ -Summary: LablGTK : an interface to the GIMP Tool Kit for OCaml -Name: lablgtk_20001129 -Version: 0.1.0 -Release: 1 -Copyright: LGPL -Group: Development/Libraries -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. - -%prep -%setup - -%build -make configure -make -make opt - -%install -make install - -%files -%doc CHANGES COPYING README doc - -/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