#897 (Mar 23, 2019, 12:59:01 AM)

1. merged (detail / hgweb)
2. clarified GHC and OCaml test setup; (detail / hgweb)
3. updated to cygwin-20190322 -- package required by ocaml_setup for zarith; (detail / hgweb)
4. workaround for the sake of Windows; (detail / hgweb)
5. more robust -- analogous to ocamlfind; (detail / hgweb)
6. even more robust and conservative OCaml setup; (detail / hgweb)
7. executable equality (detail / hgweb)
8. improved code equations taken over from AFP (detail / hgweb)
9. New abstract topological material (detail / hgweb)

Started by an SCM change

This run spent:

• 8 min 59 sec waiting;
• 1 hr 24 min build duration;
• 1 hr 33 min total from scheduled to completion.