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

Paket: debian-coq-tools (0.11)

debian-coq-tools için bağlantılar

Screenshot

Debian Kaynakları:

dh-coq Kaynak Paketini İndir:

Geliştiriciler:

Benzer paketler:

various tools to manage Coq-related Debian packages

Those tools make it easier to track package dependencies and possible breakage and maintain the whole Coq-in-Debian stack sane: - coq-planif-transition: find out which packages depend on some others for transition planification. - coq-wanna-build: compute the dak script for a planned transition.

Coq is a proof assistant for higher-order logic.

debian-coq-tools ile İlgili Diğer Paketler

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

debian-coq-tools indir

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