diff options
| author |   Michael Mair-Keimberger (asterix) <m.mairkeimberger@gmail.com> | 2017-02-01 19:44:24 +0100 |
|---|---|---|
| committer |   David Seifert <soap@gentoo.org> | 2017-02-01 23:39:20 +0100 |
| commit | ef2abb4669103067db05bf61bca5c179c9c2c364 (patch) | |
| tree | bbd054a225a7bf6960cc24ea7d3fea97f69990d3 /sci-mathematics/nusmv | |
| parent | sci-mathematics/isabelle: remove unused patch (diff) | |
| download | gentoo-ef2abb4669103067db05bf61bca5c179c9c2c364.tar.gz gentoo-ef2abb4669103067db05bf61bca5c179c9c2c364.tar.bz2 gentoo-ef2abb4669103067db05bf61bca5c179c9c2c364.zip | |
sci-mathematics/normaliz: remove unused patch
Closes: https://github.com/gentoo/gentoo/pull/3764
Diffstat (limited to 'sci-mathematics/nusmv')
0 files changed, 0 insertions, 0 deletions