[ buster ] [ bullseye ] [ bookworm ] [ trixie ] [ sid ]

源码包：why3（1.3.3-1）

why3 的相关链接

本源码包构建了以下这些二进制包：

adep: debhelper-compat (= 13)

软件包暂时不可用
adep: dh-ocaml

helper tools for maintaining OCaml-related Debian packages
adep: autoconf

automatic configure script builder
adep: ocaml-nox (>= 4.05.5)

ML implementation with a class-based object system (no X)
adep: ocaml-findlib

management tool for OCaml libraries
adep: menhir (>= 20200123)

Parser generator for OCaml
adep: libmenhir-ocaml-dev (>= 20200123)

Menhir library for OCaml
adep: libzarith-ocaml-dev

arithmetic and logical operations over arbitrary-precision integers (dev)
adep: libsqlite3-ocaml-dev

Embeddable SQL Database for OCaml Programs (development)
adep: libzip-ocaml-dev

OCaml compression libraries (development files)
adep: libnum-ocaml-dev

library for arbitrary-precision and rational arithmetic (development)
adep: libocamlgraph-ocaml-dev

graph library for OCaml
adep: coq [除 s390x]

proof assistant for higher-order logic (toplevel and compiler)
adep: libcoq-ocaml-dev [除 s390x]

development libraries and tools for Coq
adep: liblablgtk3-ocaml-dev

OCaml bindings to Gtk+ version 3 (development files)
adep: liblablgtksourceview3-ocaml-dev

OCaml bindings for libgtksourceview3 (development files)
adep: tex-common

用于构建和安装 TeX 的通用基础架构