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

Source Package: coq-quickchick (2.1.0-1.1build5) [universe]

Links for 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.

The following binary packages are built from this source package:

adep: coq

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

cpp for OCaml
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: 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

File	Size (in kB)	MD5 checksum
coq-quickchick_2.1.0.orig.tar.gz	404.8 kB	a24d9ba0f1bdbc8f7daa9680e63281c8
coq-quickchick_2.1.0-1.1build5.debian.tar.xz	3.1 kB	6a452fc15a182deb8c0cef9d6aea4e89
coq-quickchick_2.1.0-1.1build5.dsc	2.2 kB	2d8332eadb9619563c1f016f22ac25a0

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