[ bookworm ]
[ sid ]
[ Source: mathcomp-abel ]
Package: libcoq-mathcomp-abel (1.2.1-1 and others)
Links for libcoq-mathcomp-abel
Debian Resources:
Download Source Package mathcomp-abel:
Maintainers:
External Resources:
- Homepage [github.com]
Similar packages:
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
Other Packages Related to libcoq-mathcomp-abel
|
|
|
|
-
- dep: libcoq-mathcomp-algebra-q5ru3
- virtual package provided by libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-field-5ny88
- virtual package provided by libcoq-mathcomp-field
-
- dep: libcoq-mathcomp-fingroup-ulnf7
- virtual package provided by libcoq-mathcomp-fingroup
-
- dep: libcoq-mathcomp-real-closed-5le74
- virtual package provided by libcoq-mathcomp-real-closed
-
- dep: libcoq-mathcomp-solvable-kc7e8
- virtual package provided by libcoq-mathcomp-solvable
-
- dep: libcoq-mathcomp-ssreflect-l1wx5
- virtual package provided by libcoq-mathcomp-ssreflect
Download libcoq-mathcomp-abel
| Architecture | Version | Package Size | Installed Size | Files |
|---|---|---|---|---|
| ppc64el | 1.2.1-1+b3 | 1,248.7 kB | 4,160.0 kB | [list of files] |