diff options
| author | Manuel Rüger <mrueg@gentoo.org> | 2016-01-23 15:14:01 +0100 |
|---|---|---|
| committer | Manuel Rüger <mrueg@gentoo.org> | 2016-01-23 15:14:01 +0100 |
| commit | 4964773e3b07ee407a62551291c17870e99d11b4 (patch) | |
| tree | 3be3cbd9c9c5b7784209afb36e408f1643c9a825 /sci-mathematics/nusmv | |
| parent | 88b06b2531ab946a22126b8ec458c4c9e7fa30ad (diff) | |
| download | gentoo-4964773e3b07ee407a62551291c17870e99d11b4.tar.gz gentoo-4964773e3b07ee407a62551291c17870e99d11b4.tar.xz | |
profiles: Temporarily mask xorg-server-1.18
Diffstat (limited to 'sci-mathematics/nusmv')
0 files changed, 0 insertions, 0 deletions