5 commits

Author	SHA1	Message	Date
Merlin Göttlinger	b1f0e3ebc5	Suggested edits	2019-08-07 09:50:46 +02:00
Merlin Göttlinger	6e6c1448fa	Suggested edits	2019-08-07 06:51:36 +02:00
Merlin Göttlinger	961b83a99d	Don't use buildOcaml	2019-08-06 17:54:09 +02:00
Merlin Göttlinger	6ef367a5e8	Suggested changes	2019-08-06 06:46:03 +02:00
Merlin Göttlinger	2ea2643b13	OCaml build support: add oasis build system	2019-08-01 10:44:04 +02:00