Tarkennettu haku
bookworm  ] [  trixie  ] [  sid  ]

Source Package: mathcomp-bigenough (1.0.1-8)

Links for mathcomp-bigenough

Debian-palvelut:

Ylläpitäjät:

External Resources:

Seuraavat binääripaketit on käännetty tästä lähdepaketista:
libcoq-mathcomp-bigenough
epsilon - N reasoning for Mathematical Components

Muut pakettiin mathcomp-bigenough liittyvät paketit

  • build-depends
  • build-depends-indep

Download mathcomp-bigenough

TiedostoKoko (kt)MD5-tarkiste
mathcomp-bigenough_1.0.1-8.dsc 2.1 kt ef89bcfeccedb7c643a51f1fd8c6f9e6
mathcomp-bigenough_1.0.1.orig.tar.gz 12.0 kt 6643a658ea6c6fb32b788a730bedee55
mathcomp-bigenough_1.0.1-8.debian.tar.xz 8.4 kt 4ee28972e840440ad176c852a8bdee91
Debian Package Source Repository (VCS: Git)
https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Debian Package Source Repository (Browsable)
https://salsa.debian.org/ocaml-team/mathcomp-bigenough