všetky možnosti
bookworm  ] [  trixie  ] [  sid  ]

Zdrojový balík: mathcomp-bigenough (1.0.1-8)

Odkazy pre mathcomp-bigenough

Zdroje Debian:

Správcovia:

Externé zdroje:

Nasledovné binárne balíky sú zostavované z tohto zdrojového balíka:
libcoq-mathcomp-bigenough
epsilon - N reasoning for Mathematical Components

Ostatné balíky súvisiace s balíkom mathcomp-bigenough

  • build-depends
  • build-depends-indep

Download mathcomp-bigenough

SúborVeľkosť (v kB)kontrolný súčet MD5
mathcomp-bigenough_1.0.1-8.dsc 2.1 kB ef89bcfeccedb7c643a51f1fd8c6f9e6
mathcomp-bigenough_1.0.1.orig.tar.gz 12.0 kB 6643a658ea6c6fb32b788a730bedee55
mathcomp-bigenough_1.0.1-8.debian.tar.xz 8.4 kB 4ee28972e840440ad176c852a8bdee91
Úložisko zdrojových balíkov Debianu (VCS: Git)
https://salsa.debian.org/ocaml-team/mathcomp-bigenough.git
Úložisko zdrojových balíkov Debianu (možno prezerať)
https://salsa.debian.org/ocaml-team/mathcomp-bigenough