Package: debian-coq-tools (0.15)

[ Source: dh-coq  ]

Experimental package

Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.

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	9.7 kB	39.0 kB	[list of files]