[ bianca ]

[ Kaynak: dh-coq ]

Paket: dh-coq (0.14)

dh-coq için bağlantılar

dh-coq Kaynak Paketini İndir:

Geliştiriciler:

Benzer paketler:

debhelper tool for Coq-related Debian packages

dh-coq is a tool to help maintain Coq-related Debian packages. It computes checksums to tighten dependencies between them.

Coq is a proof assistant for higher-order logic.

dh-coq ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

rec: debhelper

helper programs for debian/rules

dh-coq indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
all	6,8 kB	25,0 kB	[dosya listesi]