Пакет dune: Файлы
Права | Путь | Размер | Дата |
---|---|---|---|
-rwxr-xr-x | /usr/bin/dune | 9.1 MB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/lib64/ocaml/dune/META | 108.0 B | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/lib64/ocaml/dune/dune-package | 144.0 B | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/lib64/ocaml/dune/opam | 1.9 KB | 14 сентября 2021 г. 18:41 |
drwxr-xr-x | /usr/share/doc/dune-2.9.1 | - | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/doc/dune-2.9.1/CHANGES.md | 99.2 KB | 7 сентября 2021 г. 19:17 |
-rw-r--r-- | /usr/share/doc/dune-2.9.1/README.md | 5.3 KB | 7 сентября 2021 г. 19:17 |
-rw-r--r-- | /usr/share/man/man1/dune-build.1.xz | 3.2 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-cache.1.xz | 1.3 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-clean.1.xz | 3.0 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-compute.1.xz | 3.1 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-describe.1.xz | 3.2 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-exec.1.xz | 3.3 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-external-lib-deps.1.xz | 3.1 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-format-dune-file.1.xz | 692.0 B | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-help.1.xz | 640.0 B | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-init.1.xz | 3.6 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-install.1.xz | 3.4 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-installed-libraries.1.xz | 2.9 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-ocaml-merlin.1.xz | 3.1 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-printenv.1.xz | 3.0 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-promote.1.xz | 3.1 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-rules.1.xz | 3.2 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-runtest.1.xz | 3.1 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-subst.1.xz | 1.3 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-test.1.xz | 3.0 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-top.1.xz | 3.1 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-uninstall.1.xz | 3.4 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-upgrade.1.xz | 3.0 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune-utop.1.xz | 3.0 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man1/dune.1.xz | 3.8 KB | 14 сентября 2021 г. 18:41 |
-rw-r--r-- | /usr/share/man/man5/dune-config.5.xz | 1.6 KB | 14 сентября 2021 г. 18:41 |