From cfd93d768e79a349f1e762b92773190295c36980 Mon Sep 17 00:00:00 2001 From: Michał Górny Date: Sun, 24 Jan 2016 23:32:36 +0100 Subject: Replace all herds with appropriate projects (GLEP 67) Replace all uses of herd with appropriate project maintainers, or no maintainers in case of herds requested to be disbanded. --- sci-mathematics/nusmv/metadata.xml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'sci-mathematics/nusmv') diff --git a/sci-mathematics/nusmv/metadata.xml b/sci-mathematics/nusmv/metadata.xml index da589122a2f5..0664e5765618 100644 --- a/sci-mathematics/nusmv/metadata.xml +++ b/sci-mathematics/nusmv/metadata.xml @@ -1,10 +1,13 @@ - sci-mathematics robbat2@gentoo.org + + sci-mathematics@gentoo.org + Gentoo Mathematics Project + Enable support for MiniSat -- cgit v1.2.3-18-g5258