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

Source Package: coq-quickchick (2.0.2-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.

Seuraavat binääripaketit on käännetty tästä lähdepaketista:

adep: coq

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

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

Paketti ei saatavilla
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

Tiedosto	Koko (kt)	MD5-tarkiste
coq-quickchick_2.0.2-1build5.dsc	2.3 kt	af8bbdb43d90f448657f4d09fc4b1b6e
coq-quickchick_2.0.2.orig.tar.gz	405.9 kt	dc00eb702277d91fecc9501e8f1e0347
coq-quickchick_2.0.2-1build5.debian.tar.xz	3.2 kt	177fe2679feaa3b50e18cdb1755e1b2c

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