@IooNag: Sorry, I'm having some trouble compiling the latest version right now.
Search Criteria
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 |
| Licenses: | |
| Submitter: | mgrabovsky |
| Maintainer: | mgrabovsky |
| Last Packager: | mgrabovsky |
| Votes: | 1 |
| Popularity: | 0.000157 |
| First Submitted: | 2016-03-23 18:59 |
| Last Updated: | 2016-03-23 18:59 |
Latest Comments
mgrabovsky commented on 2016-12-31 17:12
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")