[ Kaynak: coq-bignums ]
Paket: libcoq-bignums (9.0.0+coq8.19-1 ve diğerleri)
libcoq-bignums için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
coq-bignums Kaynak Paketini İndir:
- [coq-bignums_9.0.0+coq8.19-1.dsc]
- [coq-bignums_9.0.0+coq8.19.orig.tar.gz]
- [coq-bignums_9.0.0+coq8.19-1.debian.tar.xz]
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
Coq library for big numbers
This package provides big numbers (natural numbers, integers and rationals) in Coq, as BigN, BigZ and BigQ, which used to be part of the standard library.
Coq is a proof assistant for higher-order logic.
libcoq-bignums ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libcoq-stdlib-4ftr7 [amd64]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-5b3c9 [arm64]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-6mgv9 [riscv64]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-93wq5 [ppc64el]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-n0k10 [ppc64]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-q1ie4 [s390x]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-rhfg4 [armhf]
- sanal paketi sağlayan libcoq-stdlib
-
- dep: libcoq-stdlib-ry8i6 [i386]
- sanal paketi sağlayan libcoq-stdlib
libcoq-bignums indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
amd64 | 9.0.0+coq8.19-1 | 1.883,3 kB | 8.595,0 kB | [dosya listesi] |
arm64 | 9.0.0+coq8.19-1 | 1.883,8 kB | 8.659,0 kB | [dosya listesi] |
armhf | 9.0.0+coq8.19-1 | 1.882,4 kB | 8.566,0 kB | [dosya listesi] |
i386 | 9.0.0+coq8.19-1 | 1.882,0 kB | 8.574,0 kB | [dosya listesi] |
ppc64 (resmi olmayan port) | 8.17.0-3+b2 | 1.782,6 kB | 8.488,0 kB | [dosya listesi] |
ppc64el | 9.0.0+coq8.19-1 | 1.883,1 kB | 8.659,0 kB | [dosya listesi] |
riscv64 | 9.0.0+coq8.19-1 | 1.883,5 kB | 8.595,0 kB | [dosya listesi] |
s390x | 9.0.0+coq8.19-1 | 1.883,0 kB | 8.595,0 kB | [dosya listesi] |