[ jammy ] [ noble ] [ questing ] [ resolute ] [ stonking ]

Source Package: coq (8.15.0+dfsg-2) [universe]

Links for coq

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

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

The following binary packages are built from this source package:

adep: bash (>= 5.0)

GNU Bourne Again SHell
adep: debhelper-compat (= 13)

Package not available
adep: dh-exec

Scripts to help with executable debhelper files
adep: dh-ocaml (>= 0.9.5~)

helper tools for maintaining OCaml-related Debian packages
adep: dh-python

Debian helper tools for packaging Python libraries and applications
adep: ocaml-dune

composable build system for OCaml projects
adep: ocaml-nox (>= 4.05)

transitional package for ocaml
adep: ocaml-native-compilers

Package not available
adep: ocaml-findlib (>= 1.8.0)

management tool for OCaml libraries
adep: camlp5 (>= 6.14)

Pre Processor Pretty Printer for OCaml - classical version
adep: liblablgtk3-ocaml-dev

OCaml bindings to Gtk+ version 3 (development files)
adep: liblablgtksourceview3-ocaml-dev (>= 3.0~beta8)

OCaml bindings for libgtksourceview3 (development files)
adep: libnum-ocaml-dev

library for arbitrary-precision and rational arithmetic (development)
adep: libounit-ocaml-dev

Unit testing framework for OCaml
adep: libzarith-ocaml-dev

arithmetic and logical operations over arbitrary-precision integers (dev)
adep: python3

interactive high-level object-oriented language (default python3 version)
adep: rsync

fast, versatile, remote (and local) file-copying tool
adep: tex-common

common infrastructure for building and installing TeX

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/ocaml-team/coq.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/ocaml-team/coq