sci-mathematics/nusmv: remove unused patches

Closes: #3764
gentoo · Feb 1, 2017 · 7801242 · 7801242
1 parent ef2abb4
commit 7801242
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 147 deletions.
diff --git a/sci-mathematics/nusmv/files/MiniSat_v1.14-optimizedlib.patch b/sci-mathematics/nusmv/files/MiniSat_v1.14-optimizedlib.patch
diff --git a/sci-mathematics/nusmv/files/MiniSat_v1.14_gcc41.patch b/sci-mathematics/nusmv/files/MiniSat_v1.14_gcc41.patch
diff --git a/sci-mathematics/nusmv/files/cudd-no-pentium4.patch b/sci-mathematics/nusmv/files/cudd-no-pentium4.patch