projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8695c00) | patch
sci-mathematics/minisat: Allow for compiling with GCC 6
authorDavid Seifert <soap@gentoo.org>
Sat, 17 Sep 2016 23:00:00 +0000 (01:00 +0200)
committerDavid Seifert <soap@gentoo.org>
Sat, 17 Sep 2016 23:00:00 +0000 (01:00 +0200)
commit6eadf71b5890be8fbaf34831d8b50d2d62e04794
treee086a7187f1fe72651e8c4345c7490fb0f81a4d2tree | snapshot
parent8695c00fa2a0ae559b1b27c2b886eabac1500aeecommit | diff
sci-mathematics/minisat: Allow for compiling with GCC 6

Gentoo-bug: 594158

Package-Manager: portage-2.3.0
sci-mathematics/minisat/files/minisat-2.2.0_p20130925-nusmv.patch diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.