tribes/guix
1
0
Fork 1
mirror of https://git.savannah.gnu.org/git/guix.git synced 2026-04-30 05:51:19 +02:00
Code Activity
Files
52d780ea2b0714d035a84e350b516ca2e2c19af1
guix/gnu/packages/maths.scm
Maximilian Heisinger 9ddd37d6ab gnu: Add kissat. 
* gnu/packages/maths.scm (kissat): New variable.

Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
2022-08-15 15:15:11 +02:00

324 KiB
Raw Blame History

View Raw
View Git Blame Copy Permalink