[ bookworm ]
[ sid ]
[ Kaynak: mathcomp-abel ]
Paket: libcoq-mathcomp-abel (1.2.1-1 ve diğerleri)
libcoq-mathcomp-abel için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Yama Takipçisi
mathcomp-abel Kaynak Paketini İndir:
Geliştiriciler:
Dış Kaynaklar:
- Ana Sayfa [github.com]
Benzer paketler:
Abel-Galois and Abel-Ruffini theorems for Mathematical Components
libcoq-mathcomp-abel ile İlgili Diğer Paketler
|
|
|
|
-
- dep: libcoq-mathcomp-algebra-jkay4
- sanal paketi sağlayan libcoq-mathcomp-algebra
-
- dep: libcoq-mathcomp-field-i6ng7
- sanal paketi sağlayan libcoq-mathcomp-field
-
- dep: libcoq-mathcomp-fingroup-1lba3
- sanal paketi sağlayan libcoq-mathcomp-fingroup
-
- dep: libcoq-mathcomp-real-closed-4lve9
- sanal paketi sağlayan libcoq-mathcomp-real-closed
-
- dep: libcoq-mathcomp-solvable-plio8
- sanal paketi sağlayan libcoq-mathcomp-solvable
-
- dep: libcoq-mathcomp-ssreflect-bczw3
- sanal paketi sağlayan libcoq-mathcomp-ssreflect
libcoq-mathcomp-abel indir
Mimari | Sürüm | Paket Boyutu | Kurulu Boyut | Dosyalar |
---|---|---|---|---|
arm64 | 1.2.1-1+b3 | 1.248,7 kB | 4.160,0 kB | [dosya listesi] |