drwxr-xr-x | 4096 | root |
root |
/usr/lib/ocaml/lablgtk
|
-rw-r--r-- | 40657 | root |
root |
/usr/lib/ocaml/lablgtk/gBin.cmi
|
-rw-r--r-- | 34756 | root |
root |
/usr/lib/ocaml/lablgtk/gButton.cmi
|
-rw-r--r-- | 14517 | root |
root |
/usr/lib/ocaml/lablgtk/gContainer.cmi
|
-rw-r--r-- | 9824 | root |
root |
/usr/lib/ocaml/lablgtk/gData.cmi
|
-rw-r--r-- | 35011 | root |
root |
/usr/lib/ocaml/lablgtk/gDraw.cmi
|
-rw-r--r-- | 44420 | root |
root |
/usr/lib/ocaml/lablgtk/gEdit.cmi
|
-rw-r--r-- | 38971 | root |
root |
/usr/lib/ocaml/lablgtk/gList.cmi
|
-rw-r--r-- | 2823 | root |
root |
/usr/lib/ocaml/lablgtk/gMain.cmi
|
-rw-r--r-- | 53839 | root |
root |
/usr/lib/ocaml/lablgtk/gMenu.cmi
|
-rw-r--r-- | 62082 | root |
root |
/usr/lib/ocaml/lablgtk/gMisc.cmi
|
-rw-r--r-- | 56961 | root |
root |
/usr/lib/ocaml/lablgtk/gObj.cmi
|
-rw-r--r-- | 60400 | root |
root |
/usr/lib/ocaml/lablgtk/gPack.cmi
|
-rw-r--r-- | 23606 | root |
root |
/usr/lib/ocaml/lablgtk/gRange.cmi
|
-rw-r--r-- | 6423 | root |
root |
/usr/lib/ocaml/lablgtk/gToolbox.cmi
|
-rw-r--r-- | 17527 | root |
root |
/usr/lib/ocaml/lablgtk/gTree.cmi
|
-rw-r--r-- | 7980 | root |
root |
/usr/lib/ocaml/lablgtk/gUtil.cmi
|
-rw-r--r-- | 55246 | root |
root |
/usr/lib/ocaml/lablgtk/gWindow.cmi
|
-rw-r--r-- | 535 | root |
root |
/usr/lib/ocaml/lablgtk/gaux.cmi
|
-rw-r--r-- | 26531 | root |
root |
/usr/lib/ocaml/lablgtk/gdk.cmi
|
-rw-r--r-- | 10497 | root |
root |
/usr/lib/ocaml/lablgtk/gdkEvent.cmi
|
-rw-r--r-- | 56759 | root |
root |
/usr/lib/ocaml/lablgtk/gdkKeysyms.cmi
|
-rw-r--r-- | 1636 | root |
root |
/usr/lib/ocaml/lablgtk/glib.cmi
|
-rw-r--r-- | 2121 | root |
root |
/usr/lib/ocaml/lablgtk/gpointer.cmi
|
-rw-r--r-- | 12814 | root |
root |
/usr/lib/ocaml/lablgtk/gtk.cmi
|
-rw-r--r-- | 3222 | root |
root |
/usr/lib/ocaml/lablgtk/gtkArgv.cmi
|
-rw-r--r-- | 32591 | root |
root |
/usr/lib/ocaml/lablgtk/gtkBase.cmi
|
-rw-r--r-- | 11153 | root |
root |
/usr/lib/ocaml/lablgtk/gtkBin.cmi
|
-rw-r--r-- | 9125 | root |
root |
/usr/lib/ocaml/lablgtk/gtkButton.cmi
|
-rw-r--r-- | 11271 | root |
root |
/usr/lib/ocaml/lablgtk/gtkData.cmi
|
-rw-r--r-- | 17678 | root |
root |
/usr/lib/ocaml/lablgtk/gtkEdit.cmi
|
-rw-r--r-- | 513 | root |
root |
/usr/lib/ocaml/lablgtk/gtkInit.cmi
|
-rw-r--r-- | 23096 | root |
root |
/usr/lib/ocaml/lablgtk/gtkList.cmi
|
-rw-r--r-- | 1985 | root |
root |
/usr/lib/ocaml/lablgtk/gtkMain.cmi
|
-rw-r--r-- | 9338 | root |
root |
/usr/lib/ocaml/lablgtk/gtkMenu.cmi
|
-rw-r--r-- | 19770 | root |
root |
/usr/lib/ocaml/lablgtk/gtkMisc.cmi
|
-rw-r--r-- | 2631 | root |
root |
/usr/lib/ocaml/lablgtk/gtkNew.cmi
|
-rw-r--r-- | 23856 | root |
root |
/usr/lib/ocaml/lablgtk/gtkPack.cmi
|
-rw-r--r-- | 10571 | root |
root |
/usr/lib/ocaml/lablgtk/gtkRange.cmi
|
-rw-r--r-- | 3420 | root |
root |
/usr/lib/ocaml/lablgtk/gtkSignal.cmi
|
-rw-r--r-- | 606 | root |
root |
/usr/lib/ocaml/lablgtk/gtkThread.cmi
|
-rw-r--r-- | 4920 | root |
root |
/usr/lib/ocaml/lablgtk/gtkTree.cmi
|
-rw-r--r-- | 9930 | root |
root |
/usr/lib/ocaml/lablgtk/gtkWindow.cmi
|
-rw-r--r-- | 344452 | root |
root |
/usr/lib/ocaml/lablgtk/lablgtk.cma
|
-rwxr-xr-x | 176788 | root |
root |
/usr/lib/ocaml/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
|