všetky možnosti
bookworm  ] [  trixie  ] [  forky  ] [  sid  ]
[ Zdroj: coq  ]

Balík: libcoq-core-ocaml (8.20.1+dfsg-1 a iné)

Odkazy pre libcoq-core-ocaml

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík coq:

Správcovia:

Externé zdroje:

Podobné balíky:

dynamické knižnice pre Coq

Coq je asistent dôkazov logiky vyššieho rádu, ktorý umožňuje vývoj počítačových programov v súlade s ich formálnou špecifikáciou. Bol vyvinutý pomocou Objective Caml a Camlp5.

Tento balík poskytuje dynamické knižnice pre Coq.

Ostatné balíky súvisiace s balíkom libcoq-core-ocaml

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libcoq-core-ocaml

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 8.20.1+dfsg-1+b1 25,347.4 kB59,789.0 kB [zoznam súborov]
arm64 8.20.1+dfsg-1+b1 25,769.5 kB66,046.0 kB [zoznam súborov]
ppc64el 8.20.1+dfsg-1+b1 25,372.0 kB64,320.0 kB [zoznam súborov]
riscv64 8.20.1+dfsg-1+b1 25,411.3 kB61,638.0 kB [zoznam súborov]
s390x 8.20.1+dfsg-1+b1 25,391.7 kB64,199.0 kB [zoznam súborov]