alt-ergo 2.0.0-3 source package in Ubuntu

Changelog

alt-ergo (2.0.0-3) unstable; urgency=medium

  * Install files directly without going through dh_install
  * d/rules:
    - drop setting of BUILD_DATE which is no longer useful
    - drop inclusion of ocamlvars.mk which is no longer useful

 -- Ralf Treinen <email address hidden>  Thu, 14 Feb 2019 04:21:22 +0100

Upload details

Uploaded by:
Debian OCaml Maintainers on 2019-02-14
Uploaded to:
Sid
Original maintainer:
Debian OCaml Maintainers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Disco proposed on 2019-02-14 universe math

Downloads

File Size SHA-256 Checksum
alt-ergo_2.0.0-3.dsc 2.2 KiB 1b7dd76179b56438324f584681ba56c0db6d59eac0145c9851b7be06c16cea8b
alt-ergo_2.0.0.orig.tar.gz 345.2 KiB bb90bd62a971340c1854d24a8a650403722b4f71d2afcce797bc53e76417cd4b
alt-ergo_2.0.0-3.debian.tar.xz 6.2 KiB c85233473aaf6ef3c0aede003742b9ec2ba9e456d2449ff981d901a60702a818

Available diffs

No changes file available.

Binary packages built by this source

alt-ergo: Automatic theorem prover dedicated to program verification

 Alt-Ergo is an automatic theorem prover geared towards application in
 program verification. It is based on CC(X), a congruence closure
 algorithm parameterized by an equational theory X. Alt-Ergo has
 built-in provers for propositional logic, linear arithmetic,
 uninterpreted function symbols, associative-commutative function
 symbols, polymorphic arrays, user-defined polymorphic record types
 and polymorphic enumeration types. It has restricted support for
 reasoning over arbitrary user-defined algebraic types, first-order
 quantifiers, and non-linear arithmetic.
 .
 This package contains the prover as a command-line executable
 as well as the graphical interface.

alt-ergo-dbgsym: debug symbols for alt-ergo