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

Paquet source : coq-quickchick (2.1.0-1.1build5) [universe]

Liens pour coq-quickchick

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.

Les paquets binaires suivants sont compilés à partir de ce paquet source :

adep: coq

proof assistant for higher-order logic (toplevel and compiler)
adep: cppo

cpp for OCaml
adep: debhelper-compat (= 13)

Paquet indisponible
adep: dh-coq

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

helper tools for maintaining OCaml-related Debian packages
adep: ocaml-dune

composable build system for OCaml projects
adep: help2man

Automatic manpage generator
adep: libcoq-ext-lib

Collection of theories and plugins for Coq
adep: libcoq-mathcomp-ssreflect

Mathematical Components library for Coq (small scale reflection)
adep: libcoq-core-ocaml-dev

development libraries and tools for Coq
adep: libcoq-simple-io

Coq plugin for purely functional IO
adep: libcoq-stdlib

proof assistant for higher-order logic (theories)
adep: menhir

Parser generator for OCaml
adep: ocamlbuild

Build tool for building OCaml libraries and programs

Fichier	Taille (en ko)	Somme MD5
coq-quickchick_2.1.0.orig.tar.gz	404,8 ko	a24d9ba0f1bdbc8f7daa9680e63281c8
coq-quickchick_2.1.0-1.1build5.debian.tar.xz	3,1 ko	6a452fc15a182deb8c0cef9d6aea4e89
coq-quickchick_2.1.0-1.1build5.dsc	2,2 ko	2d8332eadb9619563c1f016f22ac25a0

Dépôt Debian des paquets source (VCS: Git): https://salsa.debian.org/ocaml-team/coq-quickchick.git
Dépôt Debian des paquets source (interface web): https://salsa.debian.org/ocaml-team/coq-quickchick