[ jammy ]

Пакет исходного кода: alt-ergo (2.0.0-8build1) [universe]

Ссылки для alt-ergo

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.

Из этого пакета исходного кода собираются следующие двоичные пакеты:

adep: debhelper-compat (= 13)

Пакет недоступен
adep: dh-ocaml

helper tools for maintaining OCaml-related Debian packages
adep: ocaml-nox (>= 4.04)

transitional package for ocaml
adep: menhir

Parser generator for OCaml
adep: ocaml-findlib

management tool for OCaml libraries
adep: libnum-ocaml-dev

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

graph library for OCaml
adep: libzarith-ocaml-dev

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

OCaml compression libraries (development files)
adep: ocplib-simplex-ocaml-dev (>= 0.4)

simplex library for solving linear inequalities

Репозиторий пакетов исходного кода Debian (VCS: Git): https://salsa.debian.org/ocaml-team/alt-ergo.git
Репозиторий пакетов исходного кода Debian (доступен просмотр): https://salsa.debian.org/ocaml-team/alt-ergo