Source Package: alt-ergo (0.94-2)
Links for alt-ergo
Debian Resources:
Maintainers:
External Resources:
The following binary packages are built from this source package:
- alt-ergo
- Automatic theorem prover dedicated to program verification
Other Packages Related to alt-ergo
-
- adep:
debhelper
(>= 7.0.50~)
- Допоміжні програми для "debian/rules"
-
- adep:
autotools-dev
- Update infrastructure for config.{guess,sub} files
-
- adep:
autoconf
- Автоматичний генератор сценаріїв configure
-
- adep:
ocaml-nox
(>= 3.11.1-3~)
- Реалізація ML із класовою системою об’єктів (без X)
-
- adep:
libocamlgraph-ocaml-dev
(>= 1.1)
- graph library for OCaml
-
- adep:
liblablgtk2-gnome-ocaml-dev
(>= 2.14.0+dfsg-2~)
- OCaml bindings to GNOME
-
- adep:
liblablgtksourceview2-ocaml-dev
(>= 2.14.0+dfsg-2~)
- OCaml bindings for libgtksourceview2, a source editor GTK+ widget
-
- adep:
quilt
(>= 0.46-7~)
- Tool to work with series of patches
-
- adep:
dh-ocaml
(>= 0.9.0~)
- helper tools for maintaining OCaml-related Debian packages
