Kaynak Paket: ssreflect (2.5.0-2)
ssreflect için bağlantılar
Debian Kaynakları:
- Hata Raporları
- Developer Information
- Debian Değişim Günlüğü
- Telif Hakkı Dosyası
- Debian Kaynak Deposu (Git)
- Debian Yama Takipçisi
Geliştiriciler:
- Debian OCaml Maintainers (QA Sayfası, Posta Arşivi)
- Stéphane Glondu (QA Sayfası)
- Julien Puydt (QA Sayfası)
- Ralf Treinen (QA Sayfası)
Dış Kaynaklar:
- Ana Sayfa [math-comp.github.io]
Deneysel paket
Uyarı: Bu paket deneysel dağıtımdan geliyor. Bu, paketin kararsız veya hatalı olabileceği hatta veri kaybına sebep olabileceği anlamına gelmektedir. Lütfen kullanmadan önce değişim günlüğüne ve muhtemel diğer belgelendirmeye danıştığınızdan emin olun.
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- libcoq-mathcomp
- Mathematical Components library for Coq (all)
- libcoq-mathcomp-algebra
- Mathematical Components library for Coq (algebra)
- libcoq-mathcomp-boot
- Mathematical Components library for Coq (boot)
- libcoq-mathcomp-character
- Mathematical Components library for Coq (character)
- libcoq-mathcomp-field
- Mathematical Components library for Coq (field)
- libcoq-mathcomp-fingroup
- Mathematical Components library for Coq (finite groups)
- libcoq-mathcomp-order
- Mathematical Components library for Coq (order)
- libcoq-mathcomp-solvable
- Mathematical Components library for Coq (finite groups II)
- libcoq-mathcomp-ssreflect
- Mathematical Components library for Coq (small scale reflection)
- mathcomp-doc
- Mathematical Components library for Coq (doc)
ssreflect ile İlgili Diğer Paketler
|
|
-
- adep: debhelper-compat (= 13)
- Paket mevcut değil
-
- adep: dh-coq
- debhelper tool for Coq-related Debian packages
-
- adep: coq (>= 9)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep: libcoq-hierarchy-builder
- build hierarchies of algebraic structures in Coq
-
- adep: libcoq-stdlib
- Standard library for the Rocq Theorem Prover
-
- adep: lua5.4
- Simple, extensible, embeddable programming language
Download ssreflect
| Dosya | Boyut (kB cinsinden) | MD5 sağlama toplamı |
|---|---|---|
| ssreflect_2.5.0-2.dsc | 2,8 kB | b8c14eba2f03b266a45f774310ffd717 |
| ssreflect_2.5.0.orig.tar.gz | 1.932,3 kB | a9e62218e543145d2a3e780816b51a98 |
| ssreflect_2.5.0-2.debian.tar.xz | 12,7 kB | 782277ed6e965adf025013aa0de0d58b |
- Debian Paket Kaynak Deposu (VCS: Git)
- https://salsa.debian.org/ocaml-team/ssreflect.git
- Debian Paket Kaynak Deposu (Gezinilebilir)
- https://salsa.debian.org/ocaml-team/ssreflect