me
/
guix
Archived
1
0
Fork 0
Code
124,667 Commits
1 Branch
0 Tags
410 MiB
Commit Graph

1 Commits (dca96f27ed5b870109c26836d32d991fcfbedaab)

Author SHA1 Message Date
Robert Smith 3b7828cc7f
gnu: Add minisat. 
* gnu/packages/patches/minisat-friend-declaration.patch: New file.
* gnu/packages/patches/minisat-install.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add both files above.
* gnu/packages/maths.scm (minisat): New exported variable.

Signed-off-by: Mathieu Othacehe <m.othacehe@gmail.com>
 2019-11-19 17:27:58 +01:00