Levente Polyak pushed to branch main at Arch Linux / Packaging / Packages / cvc4
Commits: 7e39b5c2 by Levente Polyak at 2024-09-09T16:26:10+02:00 generate missing .SRCINFO - - - - - 1 changed file: - + .SRCINFO Changes: ===================================== .SRCINFO ===================================== @@ -0,0 +1,27 @@ +pkgbase = cvc4 + pkgdesc = An automatic theorem prover + pkgver = 1.8 + pkgrel = 3 + url = https://cvc5.github.io/ + arch = x86_64 + license = GPL + license = BSD + license = MIT + license = custom:HPND + makedepends = cmake + makedepends = java-runtime + makedepends = python-toml + depends = libantlr3c + depends = cln + optdepends = readline: for an improved interaction support + noextract = antlr-3.4-complete.jar + source = https://github.com/cvc5/cvc5/archive/1.8/cvc5-1.8.tar.gz + source = https://www.antlr3.org/download/antlr-3.4-complete.jar + source = cvc4-fix-headers.patch + source = cvc4-gcc7.patch + sha512sums = ae7be9856c22f430bffdf686dca3351372537a3887ccb36cc739312fd175686f76bc3783882d0c03c69cbbf039dcb4f561aa53a539dcb885bab981c1dbdd8c41 + sha512sums = 04be4dfba3a21f3ab9d9e439a64958bd8e844a9f151b798383bd9e0dd6ebc416783ae7cb1d1dbb27fb7288ab9756b13b8338cdb8ceb41a10949c852ad45ab1f2 + sha512sums = f6a60c2b95c348f7e8abffc79befef0910ff962143b0b5f89f9b3c9798fff575a9bfc71ae8271c9e56e2f5e400539879b440df23aef7c23664eaec9cd5d6fe10 + sha512sums = ff5d60141f97394b625c336614afa5a6429d775bed12e277ad1bc64b84f865a958fb075185fb9726ea8ca443b55aedb1a8d114840f016ed8e639dbcf77aa3783 + +pkgname = cvc4 View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/cvc4/-/commit/7e39b5c2c53f4aefd83166580b49a7c5b3da9a4b -- View it on GitLab: https://gitlab.archlinux.org/archlinux/packaging/packages/cvc4/-/commit/7e39b5c2c53f4aefd83166580b49a7c5b3da9a4b You're receiving this email because of your account on gitlab.archlinux.org.
