diff options
author | kaptoxic | 2016-11-19 23:47:48 -0500 |
---|---|---|
committer | kaptoxic | 2016-11-19 23:47:48 -0500 |
commit | a879df43b01285719ad8c52f57e5d72d4d460394 (patch) | |
tree | 4dbf2f001d26bf13aab15bf8c838ab99588e8515 /.SRCINFO | |
download | aur-a879df43b01285719ad8c52f57e5d72d4d460394.tar.gz |
Revive original package
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..fd9a058ea8cf --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,17 @@ +# Generated by mksrcinfo v8 +# Sun Nov 20 04:47:12 UTC 2016 +pkgbase = z3-bin + pkgdesc = An automatic theorem prover + pkgver = 4.1 + pkgrel = 1 + url = http://research.microsoft.com/en-us/um/redmond/projects/z3 + arch = i686 + arch = x86_64 + license = custom + source = http://research.microsoft.com/projects/z3/z3-4.1.tar.gz + source = http://research.microsoft.com/en-us/downloads/0a7db466-c2d7-4c51-8246-07e25900c7e7/Z%203%20MSR-LA%20(2007-07-07).txt + md5sums = 4b7b4836264a7969f052cea45057e55b + md5sums = c5f05e7f2f95c796d5101069276d326f + +pkgname = z3-bin + |