Package dune: Files
Permissions | Path | Size | Date |
---|---|---|---|
-rwxr-xr-x | /usr/bin/dune | 4.6 MB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/lib/ocaml/dune/META | 109.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/lib/ocaml/dune/dune-package | 1.3 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/lib/ocaml/dune/opam | 1.8 KB | Nov 12, 2023, 06:19 PM |
drwxr-xr-x | /usr/share/doc/dune-3.11.1 | - | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/doc/dune-3.11.1/CHANGES.md | 151.8 KB | Oct 9, 2023, 02:08 PM |
-rw-r--r-- | /usr/share/doc/dune-3.11.1/README.md | 5.9 KB | Oct 9, 2023, 02:08 PM |
-rw-r--r-- | /usr/share/man/man1/dune-build.1.xz | 4.9 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-cache.1.xz | 796.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-clean.1.xz | 4.7 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-coq.1.xz | 672.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-describe.1.xz | 5.3 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-diagnostics.1.xz | 4.6 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-exec.1.xz | 5.0 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-external-lib-deps.1.xz | 4.8 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-fmt.1.xz | 4.9 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-format-dune-file.1.xz | 812.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-help.1.xz | 944.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-init.1.xz | 1.4 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-install.1.xz | 5.2 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-installed-libraries.1.xz | 4.6 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-internal.1.xz | 688.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-monitor.1.xz | 4.7 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-ocaml-merlin.1.xz | 4.7 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-ocaml.1.xz | 812.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-pkg.1.xz | 776.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-printenv.1.xz | 4.7 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-promote.1.xz | 4.7 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-promotion.1.xz | 696.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-rpc.1.xz | 872.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-rules.1.xz | 4.9 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-runtest.1.xz | 4.9 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-show.1.xz | 1000.0 B | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-shutdown.1.xz | 4.6 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-subst.1.xz | 1.4 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-test.1.xz | 4.7 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-top.1.xz | 4.7 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-uninstall.1.xz | 5.2 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-upgrade.1.xz | 4.7 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune-utop.1.xz | 4.7 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man1/dune.1.xz | 2.2 KB | Nov 12, 2023, 06:19 PM |
-rw-r--r-- | /usr/share/man/man5/dune-config.5.xz | 1.6 KB | Nov 12, 2023, 06:19 PM |