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

Source Package: coq-iris (4.3.0-1build5) [universe]

Links for coq-iris

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: biber

Much-augmented BibTeX replacement for BibLaTeX users
adep: coq (>= 8.18)

proof assistant for higher-order logic (toplevel and compiler)
adep: debhelper-compat (= 13)

Package not available
adep: dh-coq

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

helper tools for maintaining OCaml-related Debian packages
adep: latexmk

Perl script for running LaTeX the correct number of times
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-stdpp

Extended standard library for Coq
adep: lmodern

scalable PostScript and OpenType fonts based on Computer Modern
adep: texlive-bibtex-extra

TeX Live: BibTeX additional styles
adep: texlive-fonts-extra

TeX Live: Additional fonts
adep: texlive-latex-extra

TeX Live: LaTeX additional packages
adep: texlive-science

TeX Live: Mathematics, natural sciences, computer science packages

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