tüm seçenekler
bookworm  ] [  sid  ]
[ Kaynak: cpdb-libs  ]

Paket: libcpdb-libs-common-dev (1.2.0-2+deb12u1)

libcpdb-libs-common-dev için bağlantılar

Screenshot

Debian Kaynakları:

cpdb-libs Kaynak Paketini İndir:

Geliştiriciler:

Dış Kaynaklar:

Benzer paketler:

Coq library for real analysis

This package provides a formalization of real analysis compatible with the Coq standard library.

Coq is a proof assistant for higher-order logic.

Etiketler: Yazılım Geliştirme: Kitaplıklar, Rol: Geliştirme Kitaplığı

libcpdb-libs-common-dev ile İlgili Diğer Paketler

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

libcpdb-libs-common-dev indir

Tüm mevcut mimariler için indir
Mimari Paket Boyutu Kurulu Boyut Dosyalar
amd64 21,2 kB146,0 kB [dosya listesi]
arm64 21,6 kB152,0 kB [dosya listesi]
armel 20,2 kB116,0 kB [dosya listesi]
armhf 19,7 kB106,0 kB [dosya listesi]
i386 22,1 kB126,0 kB [dosya listesi]
mips64el 22,9 kB183,0 kB [dosya listesi]
mipsel 22,9 kB135,0 kB [dosya listesi]
ppc64el 23,0 kB170,0 kB [dosya listesi]
s390x 20,3 kB146,0 kB [dosya listesi]