[ noble ] [ resolute ] [ stonking ] [ tenacious ]

原始碼套件： why3 (1.8.2-3build3) [universe]

published in section universe

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

It should generally not be necessary for users to contact the original maintainer.

本原始碼套件構建了以下這些二進制套件：

其他與 why3 有關的套件

adep: debhelper-compat (= 13)

套件暫時不可用
adep: dh-ocaml

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

automatic configure script builder
adep: ocaml

ML language implementation with a class-based object system
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 (>= 1.8.2)

graph library for OCaml
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

common infrastructure for building and installing TeX