[ bookworm ]
[ sid ]
[ Quellcode: mathcomp-abel ]
Paket: libcoq-mathcomp-abel (1.2.1-1 und andere)
Links für libcoq-mathcomp-abel
Debian-Ressourcen:
Quellcode-Paket mathcomp-abel herunterladen:
Betreuer:
Externe Ressourcen:
- Homepage [github.com]
Ähnliche Pakete:
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
Andere Pakete mit Bezug zu libcoq-mathcomp-abel
|
|
|
|
-
- dep: libcoq-mathcomp-algebra-fo2h3
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-field-au789
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-field
-
- dep: libcoq-mathcomp-fingroup-0yv89
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-fingroup
-
- dep: libcoq-mathcomp-real-closed-3gl13
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-real-closed
-
- dep: libcoq-mathcomp-solvable-g1gp2
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-solvable
-
- dep: libcoq-mathcomp-ssreflect-qo8z6
- virtuelles Paket, bereitgestellt durch libcoq-mathcomp-ssreflect
libcoq-mathcomp-abel herunterladen
| Architektur | Version | Paketgröße | Größe (installiert) | Dateien |
|---|---|---|---|---|
| armhf | 1.2.1-1+b3 | 1.248,4 kB | 4.155,0 kB | [Liste der Dateien] |