Pardus Paket İzleyici
Ana Sayfa
GitHub İstatistikleri
Tüm İstatistikler
Sadece Ekip Dışı İstatistikler
Güncellemeler
Pardus 25 Güncellemeleri
Pardus 23 Güncellemeleri
English
Türkçe
Yirmiuc / libcoq-mathcomp-field
Mathematical Components library for Coq (field)
Debian OCaml Maintainers
debian-ocaml-maint@lists.debian.org
https://math-comp.github.io/math-comp/
1.15.0-1+b4
libcoq-mathcomp-field_1.15.0-1+b4_amd64.deb
2.6 MiB
math
amd64
ssreflect_1.15.0-1.debian.tar.xz
ssreflect_1.15.0-1.dsc
ssreflect_1.15.0.orig.tar.gz
Debian Versiyonu: 1.15.0-1+b4
Mathematical Components library for Coq (field)
Diğer Pardus sürümlerindeki versiyonlar
Pardus
Paket
Versiyon
yirmibes
libcoq-mathcomp-field
2.3.0-1+b7