| -rwxr-xr-x | 9313344 | root |
root |
/usr/bin/dune
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id
|
| drwxr-xr-x | 0 | root |
root |
/usr/lib/.build-id/5b
|
| lrwxrwxrwx | 24 | root |
root |
/usr/lib/.build-id/5b/fb9e811638cf51009b032e13f1a5d7bb8c4c4b
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/doc/ocaml-dune
|
| -rw-r--r-- | 125029 | root |
root |
/usr/share/doc/ocaml-dune/CHANGES.md
|
| -rw-r--r-- | 5362 | root |
root |
/usr/share/doc/ocaml-dune/README.md
|
| drwxr-xr-x | 0 | root |
root |
/usr/share/licenses/ocaml-dune
|
| -rw-r--r-- | 1111 | root |
root |
/usr/share/licenses/ocaml-dune/LICENSE.md
|
| -rw-r--r-- | 4492 | root |
root |
/usr/share/man/man1/dune-build.1.xz
|
| -rw-r--r-- | 812 | root |
root |
/usr/share/man/man1/dune-cache.1.xz
|
| -rw-r--r-- | 4328 | root |
root |
/usr/share/man/man1/dune-clean.1.xz
|
| -rw-r--r-- | 492 | root |
root |
/usr/share/man/man1/dune-coq.1.xz
|
| -rw-r--r-- | 4780 | root |
root |
/usr/share/man/man1/dune-describe.1.xz
|
| -rw-r--r-- | 4208 | root |
root |
/usr/share/man/man1/dune-diagnostics.1.xz
|
| -rw-r--r-- | 4664 | root |
root |
/usr/share/man/man1/dune-exec.1.xz
|
| -rw-r--r-- | 4476 | root |
root |
/usr/share/man/man1/dune-external-lib-deps.1.xz
|
| -rw-r--r-- | 4368 | root |
root |
/usr/share/man/man1/dune-fmt.1.xz
|
| -rw-r--r-- | 688 | root |
root |
/usr/share/man/man1/dune-format-dune-file.1.xz
|
| -rw-r--r-- | 640 | root |
root |
/usr/share/man/man1/dune-help.1.xz
|
| -rw-r--r-- | 5224 | root |
root |
/usr/share/man/man1/dune-init.1.xz
|
| -rw-r--r-- | 4904 | root |
root |
/usr/share/man/man1/dune-install.1.xz
|
| -rw-r--r-- | 4236 | root |
root |
/usr/share/man/man1/dune-installed-libraries.1.xz
|
| -rw-r--r-- | 464 | root |
root |
/usr/share/man/man1/dune-internal.1.xz
|
| -rw-r--r-- | 4448 | root |
root |
/usr/share/man/man1/dune-ocaml-merlin.1.xz
|
| -rw-r--r-- | 460 | root |
root |
/usr/share/man/man1/dune-ocaml.1.xz
|
| -rw-r--r-- | 4352 | root |
root |
/usr/share/man/man1/dune-printenv.1.xz
|
| -rw-r--r-- | 4432 | root |
root |
/usr/share/man/man1/dune-promote.1.xz
|
| -rw-r--r-- | 644 | root |
root |
/usr/share/man/man1/dune-rpc.1.xz
|
| -rw-r--r-- | 4572 | root |
root |
/usr/share/man/man1/dune-rules.1.xz
|
| -rw-r--r-- | 4424 | root |
root |
/usr/share/man/man1/dune-runtest.1.xz
|
| -rw-r--r-- | 4204 | root |
root |
/usr/share/man/man1/dune-shutdown.1.xz
|
| -rw-r--r-- | 1324 | root |
root |
/usr/share/man/man1/dune-subst.1.xz
|
| -rw-r--r-- | 4328 | root |
root |
/usr/share/man/man1/dune-test.1.xz
|
| -rw-r--r-- | 4400 | root |
root |
/usr/share/man/man1/dune-top.1.xz
|
| -rw-r--r-- | 4912 | root |
root |
/usr/share/man/man1/dune-uninstall.1.xz
|
| -rw-r--r-- | 4316 | root |
root |
/usr/share/man/man1/dune-upgrade.1.xz
|
| -rw-r--r-- | 4348 | root |
root |
/usr/share/man/man1/dune-utop.1.xz
|
| -rw-r--r-- | 5236 | root |
root |
/usr/share/man/man1/dune.1.xz
|
| -rw-r--r-- | 1604 | root |
root |
/usr/share/man/man5/dune-config.5.xz
|
