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

Zdrojový balík: coq (8.18.0+dfsg-1build2) [universe]

Odkazy pre 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.

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:

adep: debhelper-compat (= 13)

Balík nie je dostupný
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

Balík nie je dostupný
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

Úložisko zdrojových balíkov Debianu (VCS: Git): https://salsa.debian.org/ocaml-team/coq.git
Úložisko zdrojových balíkov Debianu (možno prezerať): https://salsa.debian.org/ocaml-team/coq