coqPackages.ynot: remove broken tag
This commit is contained in:
parent
904bee0c46
commit
f300c68977
@ -27,7 +27,6 @@ stdenv.mkDerivation rec {
|
||||
description = "Ynot is a library for writing and verifying imperative programs";
|
||||
maintainers = with maintainers; [ jwiegley ];
|
||||
platforms = coq.meta.platforms;
|
||||
broken = true; # does not work with Coq 8.4pl4
|
||||
};
|
||||
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user