whitespace
Merge branch 'master' of https://github.com/mirage/mirage-types
Merge branch 'master' of https://github.com/mirage/mirage-types
Merge pull request #18 from avsm/master

Simplify build system to not use `ocamlbuild`.
Merge branch 'master' of https://github.com/mirage/mirage-types
[make] remove build shell script; complete Makefile
whitespace
Merge pull request #19 from mor1/master

makefile
Mark this repository as deprecated