maude: unbreak
This commit is contained in:
parent
87dffd9a98
commit
d2c7be6bae
@ -56,7 +56,6 @@ stdenv.mkDerivation {
|
||||
enableParallelBuilding = true;
|
||||
|
||||
meta = {
|
||||
broken = stdenv.isDarwin;
|
||||
homepage = "http://maude.cs.illinois.edu/";
|
||||
description = "High-level specification language";
|
||||
license = lib.licenses.gpl2Plus;
|
||||
|
Loading…
Reference in New Issue
Block a user