diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2021-01-22 20:28:19 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2021-01-22 20:28:19 +0000 |
| commit | abaa75b10f899ada8dd05b23cc03205064394bc6 (patch) | |
| tree | eca3dd248b73b92013cba00a0fcc1edf2696e19a /sci-mathematics/minisat/metadata.xml | |
| parent | 24fd814c326e282c4321965c31f341dad77e270d (diff) | |
gentoo resync : 22.01.2021
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> |