all options
bookworm  ] [  trixie  ] [  sid  ]
[ Source: dh-coq  ]

Package: debian-coq-tools (0.11)

Links for debian-coq-tools

Screenshot

Debian Resources:

Download Source Package dh-coq:

Maintainers:

Similar packages:

vari strumenti per gestire pacchetti Debian relativi a Coq

Questi strumenti rendono più facile tracciare le dipendenze dei pacchetti e le possibili situazioni difettose, e mantenere sano l'intero stack Coq-in-Debian.

Coq è un assistente alle dimostrazioni per logiche di ordine superiore.

Other Packages Related to debian-coq-tools

  • depends
  • recommends
  • suggests
  • enhances

Download debian-coq-tools

Download for all available architectures
Architecture Package Size Installed Size Files
all 7.4 kB29.0 kB [list of files]