wszystkie opcje
bookworm  ] [  sid  ]
[ Pakiet źródłowy: mathcomp-abel  ]

Pakiet: libcoq-mathcomp-abel (1.2.1-1 i inne)

Odnośniki dla libcoq-mathcomp-abel

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego mathcomp-abel:

Opiekunowie:

Zasoby zewnętrzne:

Podobne pakiety:

Abel-Galois and Abel-Ruffini theorems for Mathematical Components

Inne pakiety związane z libcoq-mathcomp-abel

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie libcoq-mathcomp-abel

Pobierz dla wszystkich dostępnych architektur
Architektura Wersja Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 1.2.1-1+b5 1 248,8 KiB4 160,0 KiB [lista plików]
arm64 1.2.1-1+b3 1 248,7 KiB4 160,0 KiB [lista plików]
armhf 1.2.1-1+b3 1 248,4 KiB4 155,0 KiB [lista plików]
i386 1.2.1-1+b3 1 248,4 KiB4 155,0 KiB [lista plików]
ppc64el 1.2.1-1+b3 1 248,7 KiB4 160,0 KiB [lista plików]
s390x 1.2.1-1+b3 1 248,9 KiB4 160,0 KiB [lista plików]