» Ubuntu » Packages » jammy (22.04LTS) » ocaml » libcoq-core-ocaml-dev
jammy  ] [  noble  ] [  questing  ] [  resolute  ] [  stonking  ]
[ Source: coq  ]

Package: libcoq-core-ocaml-dev (8.15.0+dfsg-2) [universe]

Links for libcoq-core-ocaml-dev

Screenshot

Ubuntu Resources:

Download Source Package coq:

Maintainer:

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)
  • Benjamin Barenblat
  • Julien Puydt
  • Ralf Treinen
  • Stéphane Glondu

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

External Resources:

Similar packages:

development libraries and tools for Coq

Other Packages Related to libcoq-core-ocaml-dev

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-core-ocaml-dev

Download for all available architectures
Architecture Package Size Installed Size Files
amd64 43,980.0 kB159,196.0 kB [list of files]
arm64 44,512.7 kB159,147.0 kB [list of files]
armhf 44,813.9 kB154,442.0 kB [list of files]
ppc64el 44,631.3 kB162,080.0 kB [list of files]
riscv64 44,488.3 kB158,743.0 kB [list of files]
s390x 44,412.1 kB160,637.0 kB [list of files]