[ bookworm ] [ trixie ] [ forky ] [ sid ]

[ Bron: mathcomp-bigenough ]

Pakket: libcoq-mathcomp-bigenough (1.0.2-1 en anderen)

Verwijzigingen voor libcoq-mathcomp-bigenough

Debian bronnen:

Het bronpakket mathcomp-bigenough downloaden:

Beheerders:

Externe bronnen:

Homepage [github.com]

Vergelijkbare pakketten:

epsilon - N reasoning for Mathematical Components

This package provides an extension to reason with big enough objects (mostly natural numbers) for the Mathematical Components library.

The Mathematical Components library is a coherent repository of general-purpose formalized mathematical theories for the Coq proof assistant.

Andere aan libcoq-mathcomp-bigenough gerelateerde pakketten

depends

recommends

suggests

enhances

dep: libcoq-mathcomp-ssreflect-1rx88 [loong64]

virtueel pakket geboden door libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-65232 [s390x]

virtueel pakket geboden door libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-90jd2 [riscv64]

virtueel pakket geboden door libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-eich3 [arm64]

virtueel pakket geboden door libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-hau92 [ppc64el]

virtueel pakket geboden door libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-ilir5 [amd64]

virtueel pakket geboden door libcoq-mathcomp-ssreflect
dep: libcoq-mathcomp-ssreflect-kusa1 [ppc64]

virtueel pakket geboden door libcoq-mathcomp-ssreflect

sug: ocaml-findlib

management tool for OCaml libraries

libcoq-mathcomp-bigenough downloaden

Pakket downloaden voor alle beschikbare platforms
Platform	Versie	Pakketgrootte	Geïnstalleerde grootte	Bestanden
amd64	1.0.2-1+b6	21,4 kB	81,0 kB	[overzicht]
arm64	1.0.2-1+b6	21,4 kB	81,0 kB	[overzicht]
loong64 (unofficial port)	1.0.1-14	25,2 kB	93,0 kB	[overzicht]
ppc64 (unofficial port)	1.0.1-14	25,2 kB	93,0 kB	[overzicht]
ppc64el	1.0.2-1+b7	21,4 kB	81,0 kB	[overzicht]
riscv64	1.0.2-1+b6	21,4 kB	81,0 kB	[overzicht]
s390x	1.0.2-1+b6	21,4 kB	81,0 kB	[overzicht]