repo/user/superposition.git

	Commit message (Expand)	Author	Age	Files	Lines
*	fix dune dependency and make repoman happy	Philip Miess	2020-04-12	2	-2/+2
*	add obus 1.2.0	Philip Miess	2020-04-12	2	-0/+48
*	no it doesnt, maybe it needs findlib	Philip Miess	2019-01-29	2	-3/+3
*	does obus need camlp4 as well?	Philip Miess	2019-01-28	2	-1/+2
*	obus needs lwt camlp4	Philip Miess	2019-01-28	2	-2/+2
*	latest lwt doesnt have ocamlopt	Philip Miess	2019-01-28	2	-2/+3
*	add obus 1.8	Philip Miess	2019-01-28	3	-2/+53
*	add obus	Philip Miess	2019-01-27	2	-0/+41