all options
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Source: coq  ]

Package: libcoq-core-ocaml (8.20.1+dfsg-1 and others)

Links for libcoq-core-ocaml

Screenshot

Debian Resources:

Download Source Package coq:

Maintainers:

External Resources:

Similar packages:

librerie runtime per Coq

Coq è un assistente alle dimostrazioni per logiche di ordine superiore che permette lo sviluppo di programmi per computer coerenti con la loro specifica formale. È sviluppato con Objective Caml e Camlp5.

Questo pacchetto fornisce le librerie di runtime per Coq.

Other Packages Related to libcoq-core-ocaml

  • depends
  • recommends
  • suggests
  • enhances

Download libcoq-core-ocaml

Download for all available architectures
Architecture Version Package Size Installed Size Files
amd64 8.20.1+dfsg-1+b1 25,347.4 kB59,789.0 kB [list of files]
arm64 8.20.1+dfsg-1+b1 25,769.5 kB66,046.0 kB [list of files]
ppc64el 8.20.1+dfsg-1+b1 25,372.0 kB64,320.0 kB [list of files]
riscv64 8.20.1+dfsg-1+b1 25,411.3 kB61,638.0 kB [list of files]
s390x 8.20.1+dfsg-1+b1 25,391.7 kB64,199.0 kB [list of files]