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

Source Package: coq-quickchick (2.1.0-1build4) [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-1build4.dsc	2.2 kB	9e51ade699bf36b48360da79c8934538
coq-quickchick_2.1.0.orig.tar.gz	404.8 kB	a24d9ba0f1bdbc8f7daa9680e63281c8
coq-quickchick_2.1.0-1build4.debian.tar.xz	3.0 kB	c3b5d8ec8486d935bafc0d8037e71060

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