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

Pakiet: coq-dpdgraph-tools (1.0+8.20-1 i inne)

Odnośniki dla coq-dpdgraph-tools

Screenshot

Zasoby systemu Debian:

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

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Wtyczka dla Coq do wyodrębniania zależności między obiektami Coq (narzędzia)

Ten pakiet zawiera wtyczkę dla Coq, umożliwiającą wyodrębnianie zależności pomiędzy obiektami Coq i generowanie plików z informacjami o zależnościach.

Coq jest asystentem dowodzenia dla logiki wyższego rzędu.

Pakiet zawiera narzędzia powiązane z tą wtyczką.

Inne pakiety związane z coq-dpdgraph-tools

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie coq-dpdgraph-tools

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 1.0+8.20-1+b4 1 090,7 KiB7 909,0 KiB [lista plików]
arm64 1.0+8.20-1+b4 1 091,2 KiB7 909,0 KiB [lista plików]
ppc64el 1.0+8.20-1+b4 1 090,9 KiB7 909,0 KiB [lista plików]
riscv64 1.0+8.20-1+b4 1 091,1 KiB7 909,0 KiB [lista plików]
s390x 1.0+8.20-1+b4 1 091,1 KiB7 909,0 KiB [lista plików]