všetky možnosti
bookworm  ] [  sid  ]
[ Zdroj: mathcomp-abel  ]

Balík: libcoq-mathcomp-abel (1.2.1-1 a iné)

Odkazy pre libcoq-mathcomp-abel

Screenshot

Zdroje Debian:

Stiahnuť zdrojový balík mathcomp-abel:

Správcovia:

Externé zdroje:

Podobné balíky:

Abel-Galois and Abel-Ruffini theorems for Mathematical Components

Ostatné balíky súvisiace s balíkom libcoq-mathcomp-abel

  • závisí
  • odporúča
  • navrhuje
  • vylepšuje

Stiahnuť libcoq-mathcomp-abel

Stiahnuť pre všetky dostupné architektúry
Architektúra Verzia Veľkosť balíka Nainštalovaná veľkosť Súbory
amd64 1.2.1-1+b5 1,248.8 kB4,160.0 kB [zoznam súborov]
arm64 1.2.1-1+b3 1,248.7 kB4,160.0 kB [zoznam súborov]
armhf 1.2.1-1+b3 1,248.4 kB4,155.0 kB [zoznam súborov]
i386 1.2.1-1+b3 1,248.4 kB4,155.0 kB [zoznam súborov]
ppc64el 1.2.1-1+b3 1,248.7 kB4,160.0 kB [zoznam súborov]
s390x 1.2.1-1+b3 1,248.9 kB4,160.0 kB [zoznam súborov]