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

Pakiet: dh-coq (0.5)

Odnośniki dla dh-coq

Screenshot

Zasoby systemu Debian:

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

Opiekunowie:

Podobne pakiety:

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.

Inne pakiety związane z dh-coq

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie dh-coq

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