Merge branch 'master' of git://github.com/ocaml/opam-repository
Merge branch 'master' of git://github.com/ocaml/opam-repository
Merge branch 'master' of github.com:mirage/opam-repository
Merge branch 'master' of git://github.com/ocaml/opam-repository
added spotlib.2.4.0
added orakuda.1.1.1
Add irminsule 0.4
irminsule: add missing dep to lazy-trie
Merge pull request #1602 from samoht/master

Add irminsule 0.4
Merge pull request #1601 from zoggy/master

Add new versions of tools and libs
Fix 'apt-get autoremove' being too agressive in Travis CI scripts

This should fix the issue seen in https://github.com/ocaml/opam-repository/pull/1601
Merge pull request #1604 from samoht/master

Fix 'apt-get autoremove' being too agressive in Travis CI scripts
Merge remote-tracking branch 'upstream/master' into for-pull-request
opam fix from upstream
irminsule: fix dep
irmsule: fix uninstall target, fix deps
Fix irminsule archive (woops ...)
Generate IrminVersion before calling oasis
Merge pull request #1605 from samoht/master

irminsule fixes
checksum fix