hackage2nix: cuboid has been fixed upstream
commitb17b918033aea593674997cfb724de670e9015d5
authorPeter Simons <simons@cryp.to>
dateFri 22 May 2015, 13:31 (11 years ago)
parent6692743
src/hackage2nix.hs−1
@@ -927,7 +927,6 @@ defaultConfiguration = Configuration
927927 , "ctemplate"
928928 , "ctkl"
929929 , "ctpl"
930− , "cuboid"
931930 , "cudd"
932931 , "curry-base"
933932 , "CurryDB"