100644 blob 0d9a6af46772d92f6ce8f8c6e8cacf17bcb6125f	.gitignore
100644 blob 3d5a03c24b756793d9bc313d399423bd38894ceb	DEVELOPMENT
100644 blob 5a47a42475ad41d84e836c8f083c78d5a78a8450	README.md
100644 blob 4d1dc771b91df26dc37d58aa15fac55ddef892dd	TODO
100644 blob 315183f4df85317035b61e15ccb18da03c9f3c49	_oasis
100644 blob fa0390bb577475ea46a12f9fc1ff4e07188a4c2c	coding_standards.md
100644 blob a41749d5e1927ce16ee281d5ca0c8ca257179cd8	descr
100644 blob 9dbc3d91147c26c4cb8e1321e1896f59fdf439f4	opam
040000 tree a033d03fd8e23a8442c7b7eaa77a7214423152ce	src
100644 blob fe4d604e8fb3dace7b8541323669f5c6ea605f18	url