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

Balík: dh-coq (0.8)

Odkazy pre dh-coq

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík dh-coq:

Správcovia:

Podobné balíky:

debhelper tool for Coq-related Debian packages

dh-coq is a tool to help maintain Coq-related Debian packages. It computes checksums to tighten dependencies between them.

Coq is a proof assistant for higher-order logic.

Ostatné balíky súvisiace s balíkom dh-coq

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

Stiahnuť dh-coq

Stiahnuť pre všetky dostupné architektúry
Architektúra Veľkosť balíka Nainštalovaná veľkosť Súbory
all 6.5 kB25.0 kB [zoznam súborov]