wszystkie opcje
[  bianca  ]
[ Pakiet źródłowy: dh-coq  ]

Pakiet: dh-coq (0.14)

Odnośniki dla dh-coq

Screenshot

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 6,8 KiB25,0 KiB [lista plików]