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

1 Commits (bbcabb8f06d71aba9fb922258acba6b4d1e280c4)

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