nixpkgs
3727911b - minisat: Fix build on Darwin
Commit
View On GitHub
Commit
9 years ago
minisat: Fix build on Darwin (cherry picked from commit c5b96ca8016d00794b690a451e8f946b8809aff8)
Author
edolstra edolstra
Committer
edolstra edolstra
Parents
bdbe6803
FAQ Terms Privacy Refunds Impressum
Loading