[ trixie ]
[ sid ]
[ Bron: coq-serapi ]
Pakket: libcoq-serapi-ocaml-dev (8.19.0+0.19.3-3)
Verwijzigingen voor libcoq-serapi-ocaml-dev
Debian bronnen:
Het bronpakket coq-serapi downloaden:
- [coq-serapi_8.19.0+0.19.3-3.dsc]
- [coq-serapi_8.19.0+0.19.3.orig.tar.gz]
- [coq-serapi_8.19.0+0.19.3-3.debian.tar.xz]
Beheerders:
Externe bronnen:
- Homepage [github.com]
Vergelijkbare pakketten:
interaction with Coq (devel)
SerAPI provides a library for machine-to-machine interaction with Coq with particular emphasis on integrated development environments, code analysis tools and machine learning.
Coq is a proof assistant for higher-order logic.
This package provides libraries needed to develop for the serapi plugin.
Andere aan libcoq-serapi-ocaml-dev gerelateerde pakketten
|
|
|
|
-
- dep: coq-8.19.1+4.14.1
- virtueel pakket geboden door coq
-
- dep: libcoq-ocaml
- runtime libraries for Coq
-
- dep: libcoq-serapi-ocaml (= 8.19.0+0.19.3-3)
- interaction with Coq (runtime)
libcoq-serapi-ocaml-dev downloaden
| Platform | Pakketgrootte | Geïnstalleerde grootte | Bestanden |
|---|---|---|---|
| amd64 | 12.817,4 kB | 71.196,0 kB | [overzicht] |
| arm64 | 12.976,2 kB | 72.359,0 kB | [overzicht] |
| armhf | 13.061,6 kB | 67.244,0 kB | [overzicht] |
| i386 | 12.800,3 kB | 67.350,0 kB | [overzicht] |
| ppc64 (unofficial port) | 13.204,6 kB | 76.344,0 kB | [overzicht] |
| ppc64el | 13.204,4 kB | 76.006,0 kB | [overzicht] |
| riscv64 | 14.244,5 kB | 92.263,0 kB | [overzicht] |