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

Quellcode-Paket: coq-quickchick (2.1.0-1.1build5) [universe]

Links für 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.

Die folgenden Binärpakete werden aus diesem Quellcode-Paket gebaut:

adep: coq

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

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

Paket nicht verfügbar
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

Datei	Größe (in kB)	MD5-Prüfsumme
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

Quellcode-Depot des Debian-Pakets (VCS: Git): https://salsa.debian.org/ocaml-team/coq-quickchick.git
Quellcode-Depot des Debian-Pakets (browsable): https://salsa.debian.org/ocaml-team/coq-quickchick