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

Paket: coq-dpdgraph-tools (1.0+8.20-1 ve diğerleri)

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

Screenshot

Debian Kaynakları:

coq-dpdgraph Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

Coq plugin to extract dependencies between Coq objects (tools)

This package provides a plugin for Coq to extract dependencies between Coq objects and produce files with dependency information.

Coq is a proof assistant for higher-order logic.

This package provides the tools associated to this plugin.

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

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

coq-dpdgraph-tools indir

Tüm mevcut mimariler için indir
Mimari Sürüm Paket Boyutu Kurulu Boyut Dosyalar
amd64 1.0+8.20-1+b4 1.090,7 kB7.909,0 kB [dosya listesi]
arm64 1.0+8.20-1+b4 1.091,2 kB7.909,0 kB [dosya listesi]
ppc64el 1.0+8.20-1+b4 1.090,9 kB7.909,0 kB [dosya listesi]
riscv64 1.0+8.20-1+b4 1.091,1 kB7.909,0 kB [dosya listesi]
s390x 1.0+8.20-1+b4 1.091,1 kB7.909,0 kB [dosya listesi]