[ 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-skso8
- virtual package provided by libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-field-satj6
- virtual package provided by libcoq-mathcomp-field
-
- dep: libcoq-mathcomp-fingroup-wxs00
- virtual package provided by libcoq-mathcomp-fingroup
-
- dep: libcoq-mathcomp-real-closed-lwzp9
- virtual package provided by libcoq-mathcomp-real-closed
-
- dep: libcoq-mathcomp-solvable-a66b5
- virtual package provided by libcoq-mathcomp-solvable
-
- dep: libcoq-mathcomp-ssreflect-4wd38
- virtual package provided by libcoq-mathcomp-ssreflect
Download libcoq-mathcomp-abel
Architecture | Version | Package Size | Installed Size | Files |
---|---|---|---|---|
s390x | 1.2.1-1+b3 | 1,248.9 kB | 4,160.0 kB | [list of files] |