tüm seçenekler
bookworm  ] [  trixie  ] [  sid  ]
[ Kaynak: dh-coq  ]

Paket: dh-coq (0.5)

dh-coq için bağlantılar

Screenshot

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

  • bağımlılıklar
  • tavsiye edilen
  • önerilen
  • enhances

dh-coq indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
all 7,3 kB26,0 kB [dosya listesi]