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

ソースパッケージ: coq-quickchick (2.1.0-1.1build5) [universe]

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.

以下のバイナリパッケージがこのソースパッケージからビルドされています。

構築依存	構築依存 (アーキテクチャ非依存)

adep: coq

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

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

パッケージは利用できません
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

ファイル	サイズ (単位: kB)	MD5 チェックサム
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 パッケージソースリポジトリ (VCS: Git): https://salsa.debian.org/ocaml-team/coq-quickchick.git
Debian パッケージソースリポジトリ (ブラウザで表示可能): https://salsa.debian.org/ocaml-team/coq-quickchick