1 files changed, 6 insertions, 6 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 5cac606b28ec..8ebdf15f88e2 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
-