From f41b9ae59c6afe323b41a069da48c3835f0846b0 Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Thu, 23 Nov 2023 10:23:42 +0100 Subject: [PATCH] cadical: use pre-rename code --- default/rules/solvers.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/default/rules/solvers.py b/default/rules/solvers.py index 82d1498..c263214 100644 --- a/default/rules/solvers.py +++ b/default/rules/solvers.py @@ -71,7 +71,7 @@ name = 'cadical', vcs = 'git', location = 'https://github.com/arminbiere/cadical', - revision = 'origin/master', + revision = 'e7369b4b04fafe8b4b139d5e181528f5006d0816', license_file = 'LICENSE', license_build_only = True, )