Tarkennettu haku
bookworm  ] [  trixie  ] [  sid  ]

Source Package: mathcomp-zify (1.2.0+1.12+8.13-6)

Links for mathcomp-zify

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libcoq-mathcomp-zify
Micromega arithmetic solvers for Mathematical Components

Muut pakettiin mathcomp-zify liittyvät paketit

  • build-depends
  • build-depends-indep

Download mathcomp-zify

TiedostoKoko (kt)MD5-tarkiste
mathcomp-zify_1.2.0+1.12+8.13-6.dsc 2.1 kt 1cb55d0ef35679b46746cb44a9ea8d13
mathcomp-zify_1.2.0+1.12+8.13.orig.tar.gz 19.9 kt 72b41bb65938a940a8d7bd978176bfda
mathcomp-zify_1.2.0+1.12+8.13-6.debian.tar.xz 8.3 kt 4e3f86ada9b27ae92d22073cadf94521
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/mathcomp-zify.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/mathcomp-zify