[ experimental ]
Kaynak Paket: rocq-stdlib (9.0.0-3)
rocq-stdlib 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:
Dış Kaynaklar:
- Ana Sayfa [rocq-prover.org]
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-stdlib
- Standard library for the Rocq Theorem Prover
rocq-stdlib ile İlgili Diğer Paketler
|
|
-
- adep: coq (>= 9)
- proof assistant for higher-order logic (toplevel and compiler)
-
- adep: debhelper-compat (= 13)
- Paket mevcut değil
-
- adep: dh-coq
- debhelper tool for Coq-related Debian packages
-
- adep: dh-ocaml
- helper tools for maintaining OCaml-related Debian packages
-
- adep: ocaml
- ML language implementation with a class-based object system
-
- adep: ocaml-dune
- composable build system for OCaml projects
Download rocq-stdlib
| Dosya | Boyut (kB cinsinden) | MD5 sağlama toplamı |
|---|---|---|
| rocq-stdlib_9.0.0-3.dsc | 2,0 kB | 3936e38c0b9c49098b85b7beb1ade5f1 |
| rocq-stdlib_9.0.0.orig.tar.gz | 1.783,9 kB | 4816a4c49b3ebbe9331a975bd1afa009 |
| rocq-stdlib_9.0.0-3.debian.tar.xz | 2,2 kB | 89835178eff32bcec35f254dea5dfe3d |
- Debian Paket Kaynak Deposu (VCS: Git)
- https://salsa.debian.org/ocaml-team/rocq-stdlib.git
- Debian Paket Kaynak Deposu (Gezinilebilir)
- https://salsa.debian.org/ocaml-team/rocq-stdlib