diff options
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -1,14 +1,14 @@ -# Generated by mksrcinfo v8 -# Fri Mar 4 05:20:10 UTC 2022 pkgbase = cadical pkgdesc = A simple CDCL satisfiability solver - pkgver = 1.5.0 + pkgver = 1.9.5 pkgrel = 1 url = http://fmv.jku.at/cadical/ arch = x86_64 license = MIT - source = https://github.com/arminbiere/cadical/archive/rel-1.5.0.tar.gz - md5sums = 79a7070b4ae539d14accaea2687c98d3 + depends = gcc-libs + depends = glibc + options = !lto + source = https://github.com/arminbiere/cadical/archive/rel-1.9.5.tar.gz + b2sums = 68c7fcc35ef0ad5082d5bbc828363ee45c2e637f281f1829ffb34047fff73775d34615e0ac37b8b49ff20b941db85b72c0dd6de0ab5ec5a690fd80fb5489b212 pkgname = cadical - |