Skip to content
Snippets Groups Projects
Commit 6b677cfb authored by Felix Yan's avatar Felix Yan
Browse files

C++11 ABI rebuild

parent b7b1df17
No related branches found
Tags 1.4-4
No related merge requests found
......@@ -3,7 +3,7 @@
pkgname=cvc4
pkgver=1.4
pkgrel=3
pkgrel=4
pkgdesc="An automatic theorem prover"
arch=('i686' 'x86_64')
url="http://cvc4.cs.nyu.edu/web/"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment