Package: debian-coq-tools (0.5)

[ Source: dh-coq  ]

Diverse værktøjer til at håndtere Coq-relaterede Debianpakker

Disse værktøjer gør det nemmere at registrere pakkeafhængigheder og muligvis nedbrud samt vedligeholde hele Coq-in-Debian-stakken fornuftigt:

 - coq-planif-transition: find ud af hvilke pakker der afhænger af nogle
   andre for planlægning af overgang
 - coq-wanna-build: beregn dak-skriptet for en planlagt overgang

Coq er en bevisassistent for logik i højere orden.

Other Packages Related to debian-coq-tools

• dep: python3

  interactive high-level object-oriented language (default python3 version)

Download debian-coq-tools

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	6.1 kB	26.0 kB	[list of files]