core 109.47.00-rc1
utop 1.8
Merge pull request #1234 from vprevosto/why

issue with why.2.33 configure's patches
[Why3] remove for compatibility the -t of cp
Add google-drive-ocamlfuse 0.4.8
omd.0.6.1
Merge pull request #1238 from pw374/master

omd.0.6.1
Merge pull request #1237 from astrada/master

Add google-drive-ocamlfuse 0.4.8
Merge pull request #1235 from diml/master

utop 1.8
Version 2.3 of xml-light
Add piqi-0.6.5
Merge pull request #1242 from alavrik/master

Add piqi-0.6.5
Merge pull request #1241 from bguil/master

Version 2.3 of xml-light
cryptokit: Version 1.9
Add quickcheck.1.0.0
Merge pull request #1244 from Incubaid/quickcheck.1.0.0

Add quickcheck.1.0.0
Add javalib 2.3 package
add nit 0.6 package
add package sawja 1.5
Upgrade batsh to 0.0.4