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

Bronpakket: mathcomp-finmap (2.2.2-2)

Verwijzigingen voor mathcomp-finmap

Debian bronnen:

Beheerders:

Externe bronnen:

Homepage [github.com]

Experimenteel pakket

Warning: This package is from the experimental distribution. That means it is likely unstable or buggy, and it may even cause data loss. Please be sure to consult the changelog and other possible documentation before using it.

De volgende binaire pakketten worden van dit bronpakket gebouwd:

libcoq-mathcomp-finmap: finite sets and maps extension for Mathematical Components

Andere aan mathcomp-finmap gerelateerde pakketten

build-depends

build-depends-indep

adep: coq (>= 9)

proof assistant for higher-order logic (toplevel and compiler)
adep: debhelper-compat (= 13)

Pakket niet beschikbaar
adep: dh-coq

debhelper tool for Coq-related Debian packages
adep: dh-ocaml

helper tools for maintaining OCaml-related Debian packages
adep: libcoq-mathcomp-ssreflect

Mathematical Components library for Coq (small scale reflection)
adep: ocaml-dune

composable build system for OCaml projects

Download mathcomp-finmap

Bestand	Grootte (in kB)	MD5 checksum
mathcomp-finmap_2.2.2-2.dsc	2,1 kB	9fa27a7e80b855549e055c3999dcedc7
mathcomp-finmap_2.2.2.orig.tar.gz	60,3 kB	9220e92849171b7c8cb470c78d349ab6
mathcomp-finmap_2.2.2-2.debian.tar.xz	8,9 kB	e90c0aeb69ec8e50d03166ae98e32bdf

Debian Package Source Repository (VCS: Git): https://salsa.debian.org/ocaml-team/mathcomp-finmap.git
Debian Package Source Repository (Browsable): https://salsa.debian.org/ocaml-team/mathcomp-finmap