@@ -55,7 +55,7 @@ hooks =
5555 , ("libconfig", over (libraryDepends . system) (replace (binding # ("config", path # ["null"])) (pkg "libconfig")))
5656 , ("liquid-fixpoint", set (executableDepends . system . contains (pkg "ocaml")) True . set (testDepends . system . contains (pkg "z3")) True)
5757 , ("liquidhaskell", set (testDepends . system . contains (pkg "z3")) True)
58− , ("MFlow", set (libraryDepends . tool . contains (bind "self.cpphs")) True)
58+ , ("MFlow < 4.6", set (libraryDepends . tool . contains (bind "self.cpphs")) True)
5959 , ("mysql", set (libraryDepends . system . contains (pkg "mysql")) True)
6060 , ("readline", over (libraryDepends . system) (Set.union (pkgs ["readline", "ncurses"])))
6161 , ("rocksdb-haskell", set (metaSection . platforms) (Set.singleton (Platform X86_64 Linux)))