Tarkennettu haku
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]

Source Package: coq (8.9.0-1)

Links for coq

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
coq
proof assistant for higher-order logic (toplevel and compiler)
coq-theories
proof assistant for higher-order logic (theories)
libcoq-ocaml
runtime libraries for Coq
libcoq-ocaml-dev
development libraries and tools for Coq

Muut pakettiin coq liittyvät paketit

  • build-depends
  • build-depends-indep

Download coq

TiedostoKoko (kt)MD5-tarkiste
coq_8.9.0-1.dsc 2.4 kt 77c6f5e9b407b3e50e0d82c9138225c4
coq_8.9.0.orig.tar.gz 5,269.3 kt 63e06c572a4503e22c651ce8b0237efa
coq_8.9.0-1.debian.tar.xz 27.2 kt d5d3dccd2c2f9cbe26c960d237c7c86f
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/coq.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/coq