use compiler/coq/Makefile to decide if "git submodule update" is required
[ghc-hetmet.git] / libraries / libraries-footer.txt
2006-01-13 Simon MarlowAdd a skeleton libraries directory