[ jammy ] [ noble ] [ plucky ] [ questing ] [ resolute ]

Source Package: coq (8.20.1+dfsg-1build4) [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: debhelper-compat (= 13)

Package not available
adep: dh-coq

debhelper tool for Coq-related Debian packages
adep: dh-exec

Scripts to help with executable debhelper files
adep: dh-ocaml

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

ML language implementation with a class-based object system
adep: ocaml-native-compilers

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

management tool for OCaml libraries
adep: libfindlib-ocaml-dev

library for managing OCaml libraries (development files)
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