Dmitry Simonenko 821159d2ed odissey: update submodule		2016-11-15 14:28:01 +03:00
..
flint@d086c3d011	odissey: update flint submodule	2016-11-14 18:33:01 +03:00
soprano@eb8a2bb1f3	odissey: update submodule	2016-11-15 14:28:01 +03:00
makefile	odissey: add soprano submodule	2016-11-10 13:31:53 +03:00