Opam Package odig.0.0.6

Package documentation pages

pages: doc/odig/odoc-pages/index.mld doc/odig/odoc-pages/manual.mld doc/odig/odoc-pages/packaging.mld

Package info

opam-nameodig
opam-version0.0.6
synopsisLookup documentation of installed OCaml packages
description odig is a command line tool to lookup documentation of installed OCaml packages. It shows package metadata, readmes, change logs, licenses, cross-referenced `odoc` API documentation and manuals. odig is distributed under the ISC license. The theme fonts have their own [licenses](LICENSE.md). Homepage: https://erratique.ch/software/odig
authors
  • The odig programmers
homepagehttps://erratique.ch/software/odig
changes-fileCHANGES.md
license-fileLICENSE.md
readme-fileREADME.md
odoc-filedoc/odig/odoc-pages/index.mld
odoc-filedoc/odig/odoc-pages/manual.mld
odoc-filedoc/odig/odoc-pages/packaging.mld
deps (7)
revdeps(0)
metas (2)
libraries (1)

Package modules

Package sources

odig

Package files

share/odig/odoc-theme/solarized/theme.css
share/odig/odoc-theme/solarized/odoc.css
share/odig/odoc-theme/solarized/manual.css
share/odig/odoc-theme/solarized/fonts/fonts.css
share/odig/odoc-theme/solarized/fonts/PTS76F.woff2
share/odig/odoc-theme/solarized/fonts/PTS75F.woff2
share/odig/odoc-theme/solarized/fonts/PTS56F.woff2
share/odig/odoc-theme/solarized/fonts/PTS55F.woff2
share/odig/odoc-theme/solarized/fonts/PTC75F.woff2
share/odig/odoc-theme/solarized/fonts/PTC55F.woff2
share/odig/odoc-theme/solarized/fonts/DejaVuSansMono.woff2
share/odig/odoc-theme/solarized/fonts/DejaVuSansMono-Oblique.woff2
share/odig/odoc-theme/solarized/fonts/DejaVuSansMono-BoldOblique.woff2
share/odig/odoc-theme/solarized/fonts/DejaVuSansMono-Bold.woff2
share/odig/odoc-theme/solarized/fonts
share/odig/odoc-theme/solarized.light/theme.css
share/odig/odoc-theme/solarized.light/odoc.css
share/odig/odoc-theme/solarized.light/manual.css
share/odig/odoc-theme/solarized.light/fonts/fonts.css
share/odig/odoc-theme/solarized.light/fonts/PTS76F.woff2
share/odig/odoc-theme/solarized.light/fonts/PTS75F.woff2
share/odig/odoc-theme/solarized.light/fonts/PTS56F.woff2
share/odig/odoc-theme/solarized.light/fonts/PTS55F.woff2
share/odig/odoc-theme/solarized.light/fonts/PTC75F.woff2
share/odig/odoc-theme/solarized.light/fonts/PTC55F.woff2
share/odig/odoc-theme/solarized.light/fonts/DejaVuSansMono.woff2
share/odig/odoc-theme/solarized.light/fonts/DejaVuSansMono-Oblique.woff2
share/odig/odoc-theme/solarized.light/fonts/DejaVuSansMono-BoldOblique.woff2
share/odig/odoc-theme/solarized.light/fonts/DejaVuSansMono-Bold.woff2
share/odig/odoc-theme/solarized.light/fonts
share/odig/odoc-theme/solarized.light
share/odig/odoc-theme/solarized.dark/theme.css
share/odig/odoc-theme/solarized.dark/odoc.css
share/odig/odoc-theme/solarized.dark/manual.css
share/odig/odoc-theme/solarized.dark/fonts/fonts.css
share/odig/odoc-theme/solarized.dark/fonts/PTS76F.woff2
share/odig/odoc-theme/solarized.dark/fonts/PTS75F.woff2
share/odig/odoc-theme/solarized.dark/fonts/PTS56F.woff2
share/odig/odoc-theme/solarized.dark/fonts/PTS55F.woff2
share/odig/odoc-theme/solarized.dark/fonts/PTC75F.woff2
share/odig/odoc-theme/solarized.dark/fonts/PTC55F.woff2
share/odig/odoc-theme/solarized.dark/fonts/DejaVuSansMono.woff2
share/odig/odoc-theme/solarized.dark/fonts/DejaVuSansMono-Oblique.woff2
share/odig/odoc-theme/solarized.dark/fonts/DejaVuSansMono-BoldOblique.woff2
share/odig/odoc-theme/solarized.dark/fonts/DejaVuSansMono-Bold.woff2
share/odig/odoc-theme/solarized.dark/fonts
share/odig/odoc-theme/solarized.dark
share/odig/odoc-theme/solarized
share/odig/odoc-theme/light/theme.css
share/odig/odoc-theme/light/odoc.css
share/odig/odoc-theme/light/manual.css
share/odig/odoc-theme/light/fonts/fonts.css
share/odig/odoc-theme/light/fonts/PTS76F.woff2
share/odig/odoc-theme/light/fonts/PTS75F.woff2
share/odig/odoc-theme/light/fonts/PTS56F.woff2
share/odig/odoc-theme/light/fonts/PTS55F.woff2
share/odig/odoc-theme/light/fonts/PTC75F.woff2
share/odig/odoc-theme/light/fonts/PTC55F.woff2
share/odig/odoc-theme/light/fonts/DejaVuSansMono.woff2
share/odig/odoc-theme/light/fonts/DejaVuSansMono-Oblique.woff2
share/odig/odoc-theme/light/fonts/DejaVuSansMono-BoldOblique.woff2
share/odig/odoc-theme/light/fonts/DejaVuSansMono-Bold.woff2
share/odig/odoc-theme/light/fonts
share/odig/odoc-theme/light
share/odig/odoc-theme/gruvbox/theme.css
share/odig/odoc-theme/gruvbox/odoc.css
share/odig/odoc-theme/gruvbox/manual.css
share/odig/odoc-theme/gruvbox/fonts/fonts.css
share/odig/odoc-theme/gruvbox/fonts/PTS76F.woff2
share/odig/odoc-theme/gruvbox/fonts/PTS75F.woff2
share/odig/odoc-theme/gruvbox/fonts/PTS56F.woff2
share/odig/odoc-theme/gruvbox/fonts/PTS55F.woff2
share/odig/odoc-theme/gruvbox/fonts/PTC75F.woff2
share/odig/odoc-theme/gruvbox/fonts/PTC55F.woff2
share/odig/odoc-theme/gruvbox/fonts/DejaVuSansMono.woff2
share/odig/odoc-theme/gruvbox/fonts/DejaVuSansMono-Oblique.woff2
share/odig/odoc-theme/gruvbox/fonts/DejaVuSansMono-BoldOblique.woff2
share/odig/odoc-theme/gruvbox/fonts/DejaVuSansMono-Bold.woff2
share/odig/odoc-theme/gruvbox/fonts
share/odig/odoc-theme/gruvbox.light/theme.css
share/odig/odoc-theme/gruvbox.light/odoc.css
share/odig/odoc-theme/gruvbox.light/manual.css
share/odig/odoc-theme/gruvbox.light/fonts/fonts.css
share/odig/odoc-theme/gruvbox.light/fonts/PTS76F.woff2
share/odig/odoc-theme/gruvbox.light/fonts/PTS75F.woff2
share/odig/odoc-theme/gruvbox.light/fonts/PTS56F.woff2
share/odig/odoc-theme/gruvbox.light/fonts/PTS55F.woff2
share/odig/odoc-theme/gruvbox.light/fonts/PTC75F.woff2
share/odig/odoc-theme/gruvbox.light/fonts/PTC55F.woff2
share/odig/odoc-theme/gruvbox.light/fonts/DejaVuSansMono.woff2
share/odig/odoc-theme/gruvbox.light/fonts/DejaVuSansMono-Oblique.woff2
share/odig/odoc-theme/gruvbox.light/fonts/DejaVuSansMono-BoldOblique.woff2
share/odig/odoc-theme/gruvbox.light/fonts/DejaVuSansMono-Bold.woff2
share/odig/odoc-theme/gruvbox.light/fonts
share/odig/odoc-theme/gruvbox.light
share/odig/odoc-theme/gruvbox.dark/theme.css
share/odig/odoc-theme/gruvbox.dark/odoc.css
share/odig/odoc-theme/gruvbox.dark/manual.css
share/odig/odoc-theme/gruvbox.dark/fonts/fonts.css
share/odig/odoc-theme/gruvbox.dark/fonts/PTS76F.woff2
share/odig/odoc-theme/gruvbox.dark/fonts/PTS75F.woff2
share/odig/odoc-theme/gruvbox.dark/fonts/PTS56F.woff2
share/odig/odoc-theme/gruvbox.dark/fonts/PTS55F.woff2
share/odig/odoc-theme/gruvbox.dark/fonts/PTC75F.woff2
share/odig/odoc-theme/gruvbox.dark/fonts/PTC55F.woff2
share/odig/odoc-theme/gruvbox.dark/fonts/DejaVuSansMono.woff2
share/odig/odoc-theme/gruvbox.dark/fonts/DejaVuSansMono-Oblique.woff2
share/odig/odoc-theme/gruvbox.dark/fonts/DejaVuSansMono-BoldOblique.woff2
share/odig/odoc-theme/gruvbox.dark/fonts/DejaVuSansMono-Bold.woff2
share/odig/odoc-theme/gruvbox.dark/fonts
share/odig/odoc-theme/gruvbox.dark
share/odig/odoc-theme/gruvbox
share/odig/odoc-theme/default/theme.css
share/odig/odoc-theme/default/odoc.css
share/odig/odoc-theme/default/manual.css
share/odig/odoc-theme/default/fonts/fonts.css
share/odig/odoc-theme/default/fonts/PTS76F.woff2
share/odig/odoc-theme/default/fonts/PTS75F.woff2
share/odig/odoc-theme/default/fonts/PTS56F.woff2
share/odig/odoc-theme/default/fonts/PTS55F.woff2
share/odig/odoc-theme/default/fonts/PTC75F.woff2
share/odig/odoc-theme/default/fonts/PTC55F.woff2
share/odig/odoc-theme/default/fonts/DejaVuSansMono.woff2
share/odig/odoc-theme/default/fonts/DejaVuSansMono-Oblique.woff2
share/odig/odoc-theme/default/fonts/DejaVuSansMono-BoldOblique.woff2
share/odig/odoc-theme/default/fonts/DejaVuSansMono-Bold.woff2
share/odig/odoc-theme/default/fonts
share/odig/odoc-theme/default
share/odig/odoc-theme/dark/theme.css
share/odig/odoc-theme/dark/odoc.css
share/odig/odoc-theme/dark/manual.css
share/odig/odoc-theme/dark/fonts/fonts.css
share/odig/odoc-theme/dark/fonts/PTS76F.woff2
share/odig/odoc-theme/dark/fonts/PTS75F.woff2
share/odig/odoc-theme/dark/fonts/PTS56F.woff2
share/odig/odoc-theme/dark/fonts/PTS55F.woff2
share/odig/odoc-theme/dark/fonts/PTC75F.woff2
share/odig/odoc-theme/dark/fonts/PTC55F.woff2
share/odig/odoc-theme/dark/fonts/DejaVuSansMono.woff2
share/odig/odoc-theme/dark/fonts/DejaVuSansMono-Oblique.woff2
share/odig/odoc-theme/dark/fonts/DejaVuSansMono-BoldOblique.woff2
share/odig/odoc-theme/dark/fonts/DejaVuSansMono-Bold.woff2
share/odig/odoc-theme/dark/fonts
share/odig/odoc-theme/dark
share/odig/odoc-theme
share/odig
lib/odig/opam
lib/odig/odig_support.mli
lib/odig/odig_support.cmxs
lib/odig/odig_support.cmxa
lib/odig/odig_support.cmx
lib/odig/odig_support.cmti
lib/odig/odig_support.cmi
lib/odig/odig_support.cma
lib/odig/odig_support.a
lib/odig/odig_odoc_page.mli
lib/odig/odig_odoc_page.cmx
lib/odig/odig_odoc_page.cmti
lib/odig/odig_odoc_page.cmi
lib/odig/odig_odoc.mli
lib/odig/odig_odoc.cmx
lib/odig/odig_odoc.cmti
lib/odig/odig_odoc.cmi
lib/odig/META
lib/odig
etc/odig/ocamldoc.css
etc/odig
doc/odig/odoc-pages/packaging.mld
doc/odig/odoc-pages/manual.mld
doc/odig/odoc-pages/index.mld
doc/odig/odoc-pages
doc/odig/README.md
doc/odig/LICENSE.md
doc/odig/CHANGES.md
doc/odig
bin/odig
bin/gh-pages-amend