diff options
| author | Matěj Grabovský | 2016-03-23 19:58:52 +0100 |
|---|---|---|
| committer | Matěj Grabovský | 2016-03-23 19:58:52 +0100 |
| commit | d57336f3163a632522633223617a85302a10ad25 (patch) | |
| tree | 4254197c548ea71555f1ec7f454ab67aadb2cb75 /.SRCINFO | |
| download | aur-d57336f3163a632522633223617a85302a10ad25.tar.gz | |
First commit for public version 1.01
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..679cd8d57d0b --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,18 @@ +# Generated by mksrcinfo v8 +# Wed Mar 23 18:55:07 UTC 2016 +pkgbase = alt-ergo + pkgdesc = SMT solver for software verification + pkgver = 1.01 + pkgrel = 1 + url = https://alt-ergo.ocamlpro.com + arch = i686 + arch = x86_64 + license = custom:CeCILL-C + makedepends = lablgtk2 + depends = gtksourceview2 + depends = zarith + source = alt-ergo::https://alt-ergo.ocamlpro.com/download_manager.php?target=alt-ergo-1.01.tar.gz + sha256sums = d51a9833acf265d475408cde04e9beb75f950355580b9c73292ffbfbebf280eb + +pkgname = alt-ergo + |