wszystkie opcje
bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: dh-coq  ]

Pakiet: debian-coq-tools (0.11)

Odnośniki dla debian-coq-tools

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego dh-coq:

Opiekunowie:

Podobne pakiety:

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.

Inne pakiety związane z debian-coq-tools

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie debian-coq-tools

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 7,4 KiB29,0 KiB [lista plików]