všetky možnosti
[  bianca  ]
[ Zdroj: dh-coq  ]

Balík: dh-coq (0.14)

Odkazy pre dh-coq

Screenshot

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.8 kB25.0 kB [zoznam súborov]