drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk
|
-rw-r--r-- | 40637 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gBin.cmi
|
-rw-r--r-- | 34742 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gButton.cmi
|
-rw-r--r-- | 14505 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gContainer.cmi
|
-rw-r--r-- | 9816 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gData.cmi
|
-rw-r--r-- | 35001 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gDraw.cmi
|
-rw-r--r-- | 44408 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gEdit.cmi
|
-rw-r--r-- | 38961 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gList.cmi
|
-rw-r--r-- | 2819 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gMain.cmi
|
-rw-r--r-- | 53817 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gMenu.cmi
|
-rw-r--r-- | 62050 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gMisc.cmi
|
-rw-r--r-- | 56929 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gObj.cmi
|
-rw-r--r-- | 60380 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gPack.cmi
|
-rw-r--r-- | 23594 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gRange.cmi
|
-rw-r--r-- | 6419 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gToolbox.cmi
|
-rw-r--r-- | 17519 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gTree.cmi
|
-rw-r--r-- | 7968 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gUtil.cmi
|
-rw-r--r-- | 55232 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gWindow.cmi
|
-rw-r--r-- | 535 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gaux.cmi
|
-rw-r--r-- | 26483 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gdk.cmi
|
-rw-r--r-- | 10483 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gdkEvent.cmi
|
-rw-r--r-- | 56759 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gdkKeysyms.cmi
|
-rw-r--r-- | 1631 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/glib.cmi
|
-rw-r--r-- | 2115 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gpointer.cmi
|
-rw-r--r-- | 12682 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtk.cmi
|
-rw-r--r-- | 3219 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkArgv.cmi
|
-rw-r--r-- | 32591 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkBase.cmi
|
-rw-r--r-- | 11153 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkBin.cmi
|
-rw-r--r-- | 9125 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkButton.cmi
|
-rw-r--r-- | 11271 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkData.cmi
|
-rw-r--r-- | 17678 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkEdit.cmi
|
-rw-r--r-- | 513 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkInit.cmi
|
-rw-r--r-- | 23096 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkList.cmi
|
-rw-r--r-- | 1984 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkMain.cmi
|
-rw-r--r-- | 9338 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkMenu.cmi
|
-rw-r--r-- | 19769 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkMisc.cmi
|
-rw-r--r-- | 2630 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkNew.cmi
|
-rw-r--r-- | 23855 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkPack.cmi
|
-rw-r--r-- | 10571 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkRange.cmi
|
-rw-r--r-- | 3418 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkSignal.cmi
|
-rw-r--r-- | 606 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkThread.cmi
|
-rw-r--r-- | 4920 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkTree.cmi
|
-rw-r--r-- | 9930 | root |
root |
/usr/lib/ocaml/site-lib/lablgtk/gtkWindow.cmi
|
-rwxr-xr-x | 176340 | root |
root |
/usr/lib/ocaml/site-lib/stublibs/dlllablgtk.so
|
drwxr-xr-x | 4096 | root |
root |
/usr/share/doc/ocaml-lablgtk
|
-rw-r--r-- | 15575 | root |
root |
/usr/share/doc/ocaml-lablgtk/CHANGES
|
-rw-r--r-- | 1131 | root |
root |
/usr/share/doc/ocaml-lablgtk/COPYING
|
-rw-r--r-- | 15898 | root |
root |
/usr/share/doc/ocaml-lablgtk/README
|