Andreas Tille pushed to branch master at Debian Blends Team / science
Commits:
55e155c2 by Gábor Németh at 2026-03-25T16:12:35+00:00
Recommend Bitwuzla instead of Boolector
- - - - -
ea12eb84 by Andreas Tille at 2026-03-25T20:49:33+01:00
Merge branch 'master' into 'master'
Recommend Bitwuzla instead of Boolector
See merge request blends-team/science!20
- - - - -
1 changed file:
- debian/control
Changes:
=====================================
debian/control
=====================================
@@ -1219,7 +1219,7 @@ Depends: ${misc:Depends},
science-config (= ${source:Version}),
science-tasks (= ${source:Version})
Recommends: agda,
- boolector,
+ bitwuzla,
clasp,
coinor-cbc,
coinor-symphony,
View it on GitLab:
https://salsa.debian.org/blends-team/science/-/compare/64b4926980434fc48ea53bb2ab82271f3a4450d5...ea12eb84fb85b629591c1747fee6225f9546e168
--
View it on GitLab:
https://salsa.debian.org/blends-team/science/-/compare/64b4926980434fc48ea53bb2ab82271f3a4450d5...ea12eb84fb85b629591c1747fee6225f9546e168
You're receiving this email because of your account on salsa.debian.org.
_______________________________________________
Blends-commit mailing list
[email protected]
https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/blends-commit
