Revision de5935228fb212f1d93275aa4928b6150c540a04 authored by Grégoire Henry on 06 December 2017, 18:52:00 UTC, committed by Grégoire on 08 December 2017, 01:50:03 UTC
All dependencies are now inlined in the various opam packages.
1 parent d8d54ce
History

README.md

back to top