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

Balík: debian-coq-tools (0.11)

Odkazy pre debian-coq-tools

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík dh-coq:

Správcovia:

Podobné balíky:

various tools to manage Coq-related Debian packages

Those tools make it easier to track package dependencies and possible breakage and maintain the whole Coq-in-Debian stack sane: - coq-planif-transition: find out which packages depend on some others for transition planification. - coq-wanna-build: compute the dak script for a planned transition.

Coq is a proof assistant for higher-order logic.

Ostatné balíky súvisiace s balíkom debian-coq-tools

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

Stiahnuť debian-coq-tools

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