projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a24247) | patch
sci-mathematics/minisat: Adding minisat-2.2.0_p20130925
authorGerhard Bräunlich <wippbox@gmx.net>
Fri, 9 Sep 2016 13:39:34 +0000 (15:39 +0200)
committerDavid Seifert <soap@gentoo.org>
Tue, 13 Sep 2016 08:03:21 +0000 (10:03 +0200)
commitcea4776ca601ecc574478b3ec3a4d7e014e2e710
tree35c42eb4066a44e28445d80f1b14688b71a69b7dtree | snapshot
parent5a24247d97a26cc91591658f68f3ded71664c723commit | diff
sci-mathematics/minisat: Adding minisat-2.2.0_p20130925

Package-Manager: portage-2.2.28
Closes: https://github.com/gentoo/gentoo/pull/2282

Signed-off-by: David Seifert <soap@gentoo.org>
sci-mathematics/minisat/Manifest diff | blob | history
sci-mathematics/minisat/files/minisat-2.2.0_p20130925-nusmv.patch [new file with mode: 0644] blob
sci-mathematics/minisat/minisat-2.2.0_p20130925.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.