tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-05-02 07:15:53 +02:00
Code Activity
Files
40cd5e511cf96dc4036d256e5093dccf74a48dc4
guix/gnu/packages/maths.scm
T
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