Tarkennettu haku
bookworm  ] [  trixie  ] [  sid  ]

Source Package: mathcomp-finmap (2.0.0-2)

Links for mathcomp-finmap

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libcoq-mathcomp-finmap
finite sets and maps extension for Mathematical Components

Muut pakettiin mathcomp-finmap liittyvät paketit

  • build-depends
  • build-depends-indep

Download mathcomp-finmap

TiedostoKoko (kt)MD5-tarkiste
mathcomp-finmap_2.0.0-2.dsc 2.1 kt a8d6e2db176db5a866d23b08cb9ef9e1
mathcomp-finmap_2.0.0.orig.tar.gz 55.9 kt 265e9d181b1f42aae7a326adc7293584
mathcomp-finmap_2.0.0-2.debian.tar.xz 8.7 kt 8813cf0bb4530742f79d3b9fc5a3734a
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