[ Kaynak: dh-coq ]
Paket: dh-coq (0.11)
dh-coq için bağlantılar
Debian Kaynakları:
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
|
|
|
|
-
- rec: debhelper
- helper programs for debian/rules
dh-coq indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| all | 6,6 kB | 25,0 kB | [dosya listesi] |