» Ubuntu » Packages » precise (12.04LTS) » Source » math » alt-ergo
precise  ] [  trusty  ] [  xenial  ] [  yakkety  ] [  zesty  ]

Source Package: alt-ergo (0.94-1) [universe]

Links for alt-ergo

Ubuntu Resources:


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

Original Maintainers (usually from Debian):

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

External Resources:

The following binary packages are built from this source package:
Automatic theorem prover dedicated to program verification

Other Packages Related to alt-ergo

  • build-depends
  • build-depends-indep
  • adep: debhelper (>= 7.0.50~)
    helper programs for debian/rules
  • adep: autotools-dev
    Update infrastructure for config.{guess,sub} files
  • adep: ocaml-nox (>= 3.11.1-3~)
    ML implementation with a class-based object system (no 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

Download alt-ergo

FileSize (in kB)MD5 checksum
alt-ergo_0.94-1.dsc 2.1 kB 25c97007c8f5e22e1114d1420c215cda
alt-ergo_0.94.orig.tar.gz 184.0 kB c66932c4624f173548fb967a9e091ebb
alt-ergo_0.94-1.diff.gz 12.6 kB 4eaf93e1fff26f46411189dda5c0a1a1
Debian Package Source Repository (VCS: Git)
Debian Package Source Repository (Browsable)