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

1 Commits (ebb1967f6211f71ebf58c120d254788d29e20fbf)

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