diff options
| author |   Jakov Smolic <jakov.smolic@sartura.hr> | 2021-01-20 11:15:46 +0100 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2021-01-20 11:15:46 +0100 |
| commit | 0dd0fe2b6c5655a1016fe50ec572fe55f414c230 (patch) | |
| tree | b97433f890adb02a41866aeb196e5dd3131161f9 /sci-mathematics/minisat/metadata.xml | |
| parent | sci-mathematics/nauty: Remove old (diff) | |
| download | gentoo-0dd0fe2b6c5655a1016fe50ec572fe55f414c230.tar.gz gentoo-0dd0fe2b6c5655a1016fe50ec572fe55f414c230.tar.bz2 gentoo-0dd0fe2b6c5655a1016fe50ec572fe55f414c230.zip | |
sci-mathematics/minisat: Remove old
Signed-off-by: Jakov Smolic <jakov.smolic@sartura.hr>
Signed-off-by: David Seifert <soap@gentoo.org>
Diffstat (limited to 'sci-mathematics/minisat/metadata.xml')
| -rw-r--r-- | sci-mathematics/minisat/metadata.xml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/sci-mathematics/minisat/metadata.xml b/sci-mathematics/minisat/metadata.xml index 7c2c5eb3b390..42c0e14a3f43 100644 --- a/sci-mathematics/minisat/metadata.xml +++ b/sci-mathematics/minisat/metadata.xml @@ -5,9 +5,6 @@ <email>sci@gentoo.org</email> <name>Gentoo Science Project</name> </maintainer> - <use> - <flag name="extended-solver">Build extended version of SAT solver with additional features.</flag> - </use> <upstream> <remote-id type="github">niklasso/minisat</remote-id> </upstream> |