#11 (Feb 26, 2020, 4:36:22 PM)

Started 5 yr 4 mo ago

Took 5.4 sec on olive

	Started by user n.oje.bar@gmail.com
	Revision: 6bc9b30da193adf5989bd2a73983ce5dddcdbbff Repository: https://github.com/nojb/riscv-ocaml refs/remotes/origin/trunk

No changes.