alla flaggor
bookworm  ] [  sid  ]
[ Källkod: mathcomp-abel  ]

Paket: libcoq-mathcomp-abel (1.2.1-1 och andra)

Länkar för libcoq-mathcomp-abel

Screenshot

Debianresurser:

Hämta källkodspaketet mathcomp-abel:

Ansvariga:

Externa resurser:

Liknande paket:

Abel-Galois and Abel-Ruffini theorems for Mathematical Components

Andra paket besläktade med libcoq-mathcomp-abel

  • beror
  • rekommenderar
  • föreslår
  • enhances

Hämta libcoq-mathcomp-abel

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Version Paketstorlek Installerad storlek Filer
amd64 1.2.1-1+b5 1.248,8 kbyte4.160,0 kbyte [filförteckning]
arm64 1.2.1-1+b3 1.248,7 kbyte4.160,0 kbyte [filförteckning]
armhf 1.2.1-1+b3 1.248,4 kbyte4.155,0 kbyte [filförteckning]
i386 1.2.1-1+b3 1.248,4 kbyte4.155,0 kbyte [filförteckning]
ppc64el 1.2.1-1+b3 1.248,7 kbyte4.160,0 kbyte [filförteckning]
s390x 1.2.1-1+b3 1.248,9 kbyte4.160,0 kbyte [filförteckning]