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

1 Commits (c3e66f66f531c96c469f75113f03f4d66265cac0)

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