tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-28 05:00:29 +02:00
Code Activity
Files
ef03ca5a00aba012ebcf7104fcd057159ed86cf0
guix/gnu/packages/maths.scm
Sören Tempel db1f83485b gnu: Add bitwuzla. 
* gnu/packages/maths.scm (bitwuzla): New variable.

Change-Id: I23325bade58dc2d72b598a961c2dcf4e1edd362f
Signed-off-by: Andreas Enge <andreas@enge.fr>
2025-05-14 14:55:57 +02:00

463 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink