Package Details: alt-ergo 1.01-1

Git Clone URL: https://aur.archlinux.org/alt-ergo.git (read-only)
Package Base: alt-ergo
Description: SMT solver for software verification
Upstream URL: https://alt-ergo.ocamlpro.com
Keywords: sat-solver smt-solver
Licenses: custom:CeCILL-C
Submitter: mgrabovsky
Maintainer: kaptoxic
Last Packager: mgrabovsky
Votes: 1
Popularity: 0.000000
First Submitted: 2016-03-23 18:59
Last Updated: 2016-03-23 18:59

Dependencies (3)

Required by (1)

Sources (1)

Latest Comments

mgrabovsky commented on 2016-12-31 17:12

@IooNag: Sorry, I'm having some trouble compiling the latest version right now.

IooNag commented on 2016-12-31 11:54

alt-ergo version 1.01 is no longer available on https://alt-ergo.ocamlpro.com/ . The package needs to be updated to version 1.30.
Moreover could you please add the version number to the downloaded archive, for example by using this line do define "source"?

source=("${pkgname}-${pkgver}.tar.gz::https://alt-ergo.ocamlpro.com/download_manager.php?target=alt-ergo-${pkgver}.tar.gz")