haskellPackages.copilot-c99: unbreak
This commit is contained in:
parent
bae32f7c87
commit
12821d191e
|
@ -859,7 +859,6 @@ broken-packages:
|
|||
- control-monad-failure-mtl
|
||||
- Control-Monad-ST2
|
||||
- contstuff
|
||||
- copilot-c99
|
||||
- copilot-sbv
|
||||
- copr
|
||||
- coquina
|
||||
|
|
|
@ -68238,8 +68238,6 @@ self: {
|
|||
];
|
||||
description = "A compiler for Copilot targeting C99";
|
||||
license = lib.licenses.bsd3;
|
||||
hydraPlatforms = lib.platforms.none;
|
||||
broken = true;
|
||||
}) {};
|
||||
|
||||
"copilot-cbmc" = callPackage
|
||||
|
|
Loading…
Reference in a new issue