core 109.47.00-rc1
Added the first version of Zephyrus package (for testing purposes).
Merge remote-tracking branch 'upstram/master'
Corrected the zephyrus package: added version restrictions in dependencies and a checksum.
utop 1.8
Merge pull request #1230 from jakub-zwolakowski/master

Added the first version of Zephyrus package (for testing purposes).
Merge pull request #1233 from camlspotter/for-pull-request

added ocamlspot new versions
fixes random configure error when building why
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