core 109.47.00-rc1
[Why3] remove for compatibility the -t of cp
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
Added new library: exenum.
Merge pull request #1246 from BYVoid/master

Upgrade batsh to 0.0.4
Merge pull request #1243 from nbraud/master

cryptokit: Version 1.9
Merge pull request #1247 from lebotlan/master

Added new library: exenum.
Merge pull request #1245 from sawja-admin/master

New Sawja release 1.5 and related packages Javalib 2.3 and Nit 0.6
Fix typo of descr of batsh.0.0.4
Merge pull request #1251 from BYVoid/master

Fix typo of descr of batsh.0.0.4