Add lablgtkosx-2.00
Merge pull request #1466 from mirage/master

+mirage-block-xen.1.0.0
+scrypt.0.2.0
Replace broken 0.2.0 with 0.2.1.
Add checksum.
Add oasis 0.4.1
Merge pull request #1469 from jpdeplaix/master

Add oasis 0.4.1
Merge pull request #1468 from pacemkr/scrypt

+scrypt.0.2.1
Merge pull request #1467 from mirage/master

+mirage.1.0.3
Updated GSL to fix an ODE solving bug
Updated AIFAD with new Oasis 0.4.1 build files
Add opam-doc 0.9.0
Merge pull request #1470 from mmottl/master

Updated GSL to fix an ODE solving bug
Add a compiler constraint
Remove base-unix
Merge pull request #1465 from pirbo/master

Add lablgtkosx-2.00
Fix typo
Fix md5 of opam-doc and add a more precise compiler constraint
Merge pull request #1471 from samoht/master

Add opam-doc 0.9.0
Add alcotest 0.2.0