[ etiona ]
[ nabia ]
[ Kaynak: coq ]
Paket: libcoq-ocaml-dev (8.6-5build1)
libcoq-ocaml-dev için bağlantılar
Trisquel Kaynakları:
coq Kaynak Paketini İndir:
Geliştirici:
Original Maintainers:
- Debian OCaml Maintainers (Posta Arşivi)
- Ralf Treinen
- Samuel Mimram
- Stéphane Glondu
- Enrico Tassi
Dış Kaynaklar:
- Ana Sayfa [coq.inria.fr]
Benzer paketler:
development libraries and tools for Coq
Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.
This package provides coqmktop, and libraries needed to develop OCaml-side extensions to Coq.
libcoq-ocaml-dev ile İlgili Diğer Paketler
|
|
|
-
- dep: camlp5-ps9p6
- sanal paketi sağlayan camlp5
-
- dep: coq (= 8.6-5build1)
- proof assistant for higher-order logic (toplevel and compiler)
-
- dep: libc6 (>= 2.17)
- GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb
-
- dep: libcoq-ocaml-ywd98
- sanal paketi sağlayan libcoq-ocaml
-
- dep: liblablgtk2-ocaml-dev-il3k6
- sanal paketi sağlayan liblablgtk2-ocaml-dev
-
- dep: liblablgtksourceview2-ocaml-dev-rynx6
- sanal paketi sağlayan liblablgtksourceview2-ocaml-dev
-
- dep: ocaml-nox-4.05.0
- sanal paketi sağlayan ocaml-nox
libcoq-ocaml-dev indir
| Mimari | Paket Boyutu | Kurulu Boyut | Dosyalar |
|---|---|---|---|
| amd64 | 13.491,4 kB | 64035 kB | [dosya listesi] |