Merge pull request #851 from mirage/master

build fixes
restrict to linux only due to `yes no|omake` spinning on non-Linux
restrict to linux only due to `yes no|omake` spinning on non-Linux
Merge branch 'master' of github.com:OCamlPro/opam-repository
Fix for OCamlPro/opam#641 compatible with OPAM 1.0.0
Merge pull request #852 from samoht/master

New tentative fix for OCamlPro/opam#648
Frenetic and Ox, as presented at PLDI 2013.
tweaked descriptions
Merge pull request #853 from arjunguha/master

Frenetic and dependences for opam
ReactiveML 1.08.05.
ReactiveML homepage
Merge pull request #854 from mandel/master

New version of ReactiveML
relax uint's ospec requirement now that 0.3.0 is broken
Merge pull request #855 from dsheets/uint

relax uint's ospec requirement now that 0.3.0 is broken
restrict to linux only due to `yes no|omake` spinning on non-Linux