aliceml: mark as broken

Tried fixing it, but gave up ... Has likely been non-functional for a
while, without anybody noticing.
This commit is contained in:
Joachim Fasting 2017-03-30 13:51:06 +02:00
parent c504e14c87
commit ad902fbba1
No known key found for this signature in database
GPG Key ID: 7544761007FE4E08

View File

@ -52,5 +52,6 @@ stdenv.mkDerivation {
homepage = http://www.ps.uni-saarland.de/alice/;
license = stdenv.lib.licenses.mit;
maintainers = [ stdenv.lib.maintainers.doublec ];
broken = true;
};
}