…
..
patch-include::Array.hi
patch-Makefile
patch-src::greencard::Makefile
patch-src::hmake::Makefile
patch-src::hp2graph::Makefile
patch-src::prelude::Makefile
patch-src::runtime::Makefile