Grégoire Henry 4c171c72a2 Proto: prepare protocol interface for multipass validation		2018-06-13 16:34:50 +02:00
..
src	Proto: prepare protocol interface for multipass validation	2018-06-13 16:34:50 +02:00
jbuild	Refactor: rename prota_alpha/lib_proto	2018-01-30 10:13:40 +01:00
tezos-embedded-protocol-genesis.opam	Dune: upgrade to 1.0+beta20	2018-06-08 15:27:23 +00:00
tezos-protocol-genesis.opam	Dune: upgrade to 1.0+beta20	2018-06-08 15:27:23 +00:00