[ nabia ]
Kaynak Paket: coq-float (1:8.10.0-1)
coq-float için bağlantılar
Trisquel Kaynakları:
Geliştirici:
Original Maintainers:
- Debian OCaml Maintainers (Posta Arşivi)
- Stéphane Glondu
Dış Kaynaklar:
- Ana Sayfa [github.com]
Aşağıdaki ikili paketler bu kaynak paketten inşa edilmiştir:
- libfloat-coq
- Coq library on floating-point arithmetic
coq-float ile İlgili Diğer Paketler
|
|
-
- adep: debhelper-compat (= 12)
- Paket mevcut değil
-
- adep: coq (>= 8.9)
- proof assistant for higher-order logic (toplevel and compiler)
Download coq-float
| Dosya | Boyut (kB cinsinden) | MD5 sağlama toplamı |
|---|---|---|
| coq-float_8.10.0-1.dsc | 1,9 kB | 3cd8ec6ce7005575bd8c23c1570f2f3b |
| coq-float_8.10.0.orig.tar.gz | 96,8 kB | 29d80b937683f8384fb505c9a6a396db |
| coq-float_8.10.0-1.debian.tar.xz | 3,3 kB | bf2327ae1aaa487bacea340d7a477270 |
- Debian Paket Kaynak Deposu (VCS: Git)
- https://salsa.debian.org/ocaml-team/coq-float.git
- Debian Paket Kaynak Deposu (Gezinilebilir)
- https://salsa.debian.org/ocaml-team/coq-float