» Ubuntu » Packages » bionic (18.04LTS) » ocaml » libcoq-ocaml
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ Source: coq  ]

Package: libcoq-ocaml (8.6-5build1) [universe]

Links for libcoq-ocaml


Ubuntu Resources:

Download Source Package coq:


Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mail Archive)
  • Ralf Treinen
  • Samuel Mimram
  • Stéphane Glondu
  • Enrico Tassi

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Similar packages:

runtime libraries for Coq

Other Packages Related to libcoq-ocaml

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-ocaml

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 3,481.1 kB15,197.0 kB [list of files]
arm64 3,709.2 kB16,613.0 kB [list of files]
armhf 3,416.2 kB13,200.0 kB [list of files]
i386 3,314.6 kB13,906.0 kB [list of files]
ppc64el 3,577.3 kB16,726.0 kB [list of files]
s390x 3,539.4 kB16,068.0 kB [list of files]