Kaynak Paket: ott (0.34+ds-3)
ott 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 [github.com]
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-ott
- Ott tool (Coq plugin)
- ott-tools
- Ott tool (executable)
ott 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: help2man
- Automatic manpage generator
-
- adep: hevea
- translates from LaTeX to HTML, info, or text
-
- adep: libcoq-core-ocaml-dev
- development libraries and tools for Coq
-
- adep: libcoq-stdlib
- Standard library for the Rocq Theorem Prover
-
- adep: libocamlgraph-ocaml-dev
- graph library for OCaml
-
- adep: pandoc
- general markup converter
Download ott
| Dosya | Boyut (kB cinsinden) | MD5 sağlama toplamı |
|---|---|---|
| ott_0.34+ds-3.dsc | 2,1 kB | 7242f4b35cbfabfc51b5ca241aa7bd6c |
| ott_0.34+ds.orig.tar.xz | 1.115,4 kB | 5eff147ec6d1f2eccd2766437e4fdb28 |
| ott_0.34+ds-3.debian.tar.xz | 7,0 kB | a49cc6896513e8798a3043213c62868d |
- Debian Paket Kaynak Deposu (VCS: Git)
- https://salsa.debian.org/ocaml-team/ott.git
- Debian Paket Kaynak Deposu (Gezinilebilir)
- https://salsa.debian.org/ocaml-team/ott