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

Kaynak Paket: coq-quickchick (2.0.2-1build5) [universe]

coq-quickchick için bağlantılar

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.

Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:

adep: coq

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

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

Paket mevcut değil
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

Dosya	Boyut (kB cinsinden)	MD5 sağlama toplamı
coq-quickchick_2.0.2-1build5.dsc	2,3 kB	af8bbdb43d90f448657f4d09fc4b1b6e
coq-quickchick_2.0.2.orig.tar.gz	405,9 kB	dc00eb702277d91fecc9501e8f1e0347
coq-quickchick_2.0.2-1build5.debian.tar.xz	3,2 kB	177fe2679feaa3b50e18cdb1755e1b2c

Debian Paket Kaynak Deposu (VCS: Git): https://salsa.debian.org/ocaml-team/coq-quickchick.git
Debian Paket Kaynak Deposu (Gezinilebilir): https://salsa.debian.org/ocaml-team/coq-quickchick