package info
(click to toggle)
Folder: 1.7.1-1
.. (parent) | ||||
d | rwxr-xr-x | 4,096 | .pc | |
d | rwxr-xr-x | 4,096 | debian | |
d | rwxr-xr-x | 147 | doc | |
- | rw-r--r-- | 180 | .gitignore | |
- | rw-r--r-- | 3,146 | .gitlab-ci.yml | |
- | rw-r--r-- | 18,007 | COPYING | |
- | rw-r--r-- | 13,121 | ChangeLog | |
- | rw-r--r-- | 3,546 | Makefile | |
- | rw-r--r-- | 1,189 | README.md | |
- | rw-r--r-- | 817 | _oasis.in | |
- | rw-r--r-- | 4,501 | cal.ml | |
- | rw-r--r-- | 927 | cal.mli | |
- | rw-r--r-- | 1,214 | dune | |
- | rw-r--r-- | 476 | dune-project | |
- | rw-r--r-- | 884 | install.ml.in | |
- | rw-r--r-- | 857 | install.mli | |
- | rw-r--r-- | 6,932 | interface.ml | |
- | rw-r--r-- | 4,209 | interface.mli | |
- | rw-r--r-- | 36,829 | interface_draw.ml | |
- | rw-r--r-- | 1,681 | interface_draw.mli | |
- | rw-r--r-- | 84,828 | interface_main.ml | |
- | rw-r--r-- | 963 | interface_main.mli | |
- | rw-r--r-- | 1,539 | locale.ml | |
- | rw-r--r-- | 1,143 | locale.mli | |
- | rw-r--r-- | 1,332 | locale_wrap.c | |
- | rw-r--r-- | 5,387 | main.ml | |
- | rw-r--r-- | 822 | main.mli | |
- | rw-r--r-- | 35,201 | rcfile.ml | |
- | rw-r--r-- | 4,117 | rcfile.mli | |
- | rw-r--r-- | 33,794 | remind.ml | |
- | rw-r--r-- | 2,261 | remind.mli | |
- | rw-r--r-- | 21,765 | time_lang.ml | |
- | rw-r--r-- | 953 | time_lang.mli | |
- | rw-r--r-- | 12,154 | utility.ml | |
- | rw-r--r-- | 1,402 | utility.mli | |
- | rw-r--r-- | 6,155 | wyrdrc |