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

Пакет-източник: coq-iris (4.1.0-1build3) [universe]

Връзки за 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.

Следните двоични пакети са компилирани от този пакет-източник:

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)

Пакетът не е наличен
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

Хранилище на изходния код на пакета (СКП: Git): https://salsa.debian.org/ocaml-team/coq-iris.git
Хранилище на изходния код на пакета (за разглеждане през браузър): https://salsa.debian.org/ocaml-team/coq-iris