Package: dh-coq (0.8)

[ Source: dh-coq  ]

Debhelper-værktøj til Coq-relaterede Debianpakker

Dh-coq er et værktøj til at hjælpe med at vedligeholde Coq-relaterede Debianpakker. Den beregner kontrolsummer for at stramme afhængigheder mellem dem.

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

Other Packages Related to dh-coq

• rec: debhelper

  Hjælpeprogrammer for debian/rules

Download dh-coq

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	6.5 kB	25.0 kB	[list of files]