4 Commits

Author	SHA1	Message	Date
Grégoire Henry	ad330db7e1	Opam: require jbuilder = 1.0.0-beta17	2018-03-07 18:12:12 +01:00
Grégoire Henry	e28219ad60	Opam: update to jbuilder.1.0+beta17	2018-02-05 23:34:05 +01:00
Grégoire Henry	ca29c92442	Refactor: move tezos-micheline below tezos-base	2018-01-30 11:47:57 +01:00
Pietro	d9405292a4	Move all packages to src/ ... Modify Makefile accordingly	2018-01-16 23:11:39 +01:00