Package dune: Files
Permissions | Path | Size | Date |
---|---|---|---|
-rwxr-xr-x | /usr/bin/dune | 7.0 MB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/lib/ocaml/dune/META | 108.0 B | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/lib/ocaml/dune/dune-package | 144.0 B | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/lib/ocaml/dune/opam | 1.9 KB | Sep 14, 2021, 06:41 PM |
drwxr-xr-x | /usr/share/doc/dune-2.9.1 | - | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/doc/dune-2.9.1/CHANGES.md | 99.2 KB | Sep 7, 2021, 07:17 PM |
-rw-r--r-- | /usr/share/doc/dune-2.9.1/README.md | 5.3 KB | Sep 7, 2021, 07:17 PM |
-rw-r--r-- | /usr/share/man/man1/dune-build.1.xz | 3.2 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-cache.1.xz | 1.3 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-clean.1.xz | 3.0 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-compute.1.xz | 3.1 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-describe.1.xz | 3.2 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-exec.1.xz | 3.3 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-external-lib-deps.1.xz | 3.1 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-format-dune-file.1.xz | 692.0 B | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-help.1.xz | 640.0 B | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-init.1.xz | 3.6 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-install.1.xz | 3.4 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-installed-libraries.1.xz | 2.9 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-ocaml-merlin.1.xz | 3.1 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-printenv.1.xz | 3.0 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-promote.1.xz | 3.1 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-rules.1.xz | 3.2 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-runtest.1.xz | 3.1 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-subst.1.xz | 1.3 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-test.1.xz | 3.0 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-top.1.xz | 3.1 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-uninstall.1.xz | 3.4 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-upgrade.1.xz | 3.0 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune-utop.1.xz | 3.0 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man1/dune.1.xz | 3.8 KB | Sep 14, 2021, 06:41 PM |
-rw-r--r-- | /usr/share/man/man5/dune-config.5.xz | 1.6 KB | Sep 14, 2021, 06:41 PM |