Paket: libcoq-bignums (9.0.0+coq8.19-1 ve diğerleri)

libcoq-bignums için bağlantılar

Debian Kaynakları:

coq-bignums Kaynak Paketini İndir:

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

bağımlılıklar

tavsiye edilen

önerilen

enhances

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

Tüm mevcut mimariler için 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]