všetky možnosti
jessie  ] [  stretch  ] [  buster  ] [  bullseye  ] [  sid  ]
[ Zdroj:  ]

Balík: libcoq-ocaml (8.9.1-2) [debports]

Odkazy pre libcoq-ocaml

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík :

Nenájdený

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-ocaml

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

Stiahnuť libcoq-ocaml

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
riscv64 (neoficiálny port) 3,716.3 kB14,962.0 kB [zoznam súborov]