updates for spotlib.2.3.0
Merge remote-tracking branch 'upstream/master' into pr
core 109.31.00-rc1
Update url

checksum was wrong
this perma-hangs BSD/MacOS X, so restrict
Merge pull request #839 from UnixJunkie/patch-4

Update url file
Merge pull request #838 from olgu/ibx

Add ibx-0.5.8
Merge pull request #840 from mirage/master

another fix to a spinning test machine due to OMake
Merge pull request #841 from olgu/ibx

Update core version constraint
added dummy zero.109.28.00 package
fix core's url
Update ospec to 0.3.1 and mark 0.3.0 as broken
Merge pull request #842 from andrenth/ospec-0.3.1

Update ospec to 0.3.1 and mark 0.3.0 as broken
these all have the `yes no| omake` spinning bug, so restrict to Linux only
Merge branch 'master' of github.com:mirage/opam-repository
Merge pull request #843 from mirage/master

fix more spinning test workers
core: add upper-bounds to required versions
core 109.31.00-rc2
Add CIL 1.7.2

Bug fix release (wrong META, missing files in cil.cm{a,xa}).
treeprint also causes non-Linux to spin endlessly due to `yes no | omake`