Date: Sunday, November 6, 2016 @ 22:26:58
Author: bpiotrowski
Revision: 194821
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
cvc4/repos/community-staging-i686/
cvc4/repos/community-staging-i686/PKGBUILD
(from rev 194820, cvc4/trunk/PKGBUILD)
cv
Date: Monday, December 7, 2015 @ 08:32:49
Author: fyan
Revision: 149709
archrelease: copy trunk to community-staging-i686, community-staging-x86_64
Added:
cvc4/repos/community-staging-i686/
cvc4/repos/community-staging-i686/PKGBUILD
(from rev 149708, cvc4/trunk/PKGBUILD)
cvc4/repo
Date: Saturday, October 10, 2015 @ 16:08:04
Author: fyan
Revision: 143603
archrelease: copy trunk to community-i686, community-x86_64
Added:
cvc4/repos/community-i686/
cvc4/repos/community-i686/PKGBUILD
(from rev 143602, cvc4/trunk/PKGBUILD)
cvc4/repos/community-i686/configure-boo