restrict to linux only due to `yes no|omake` spinning on non-Linux
Switched to OCamlMakefile.
Remove the coq depopt of frama-c for now

This coq depopt constraint is causing the opam constraint solver to return incorrect answers resulting in widespread build failures.
Merge pull request #866 from dsheets/patch-12

Remove the coq depopt of frama-c for now
Make tyxml.2.2.0 use ocamlnet 3.6 or later.
Merge pull request #868 from Chris00/master

Make tyxml.2.2.0 use ocamlnet 3.6 or later.
Patch tyxml.2.2.0 to remove Netstring_pcre dependency.
Frenetic -> frenetic, pretty-printing changes
Merge pull request #870 from arjunguha/master

frenetic.1.0.1
Merge pull request #869 from Chris00/master

Patch tyxml.2.2.0 to remove Netstring_pcre dependency.
messed up this release

Sorry for the breakage. I think I've finally got the hang of opam.
Merge pull request #871 from arjunguha/master

frenetic.1.0.1 archive broken.
Use netstring-pcre package.

In ocamlnet-3.6.5, Netstring_pcre module is packaged separately
in netstring-pcre.
See https://godirepo.camlcity.org/wwwsvn/tags/ocamlnet-3.6.5/ChangeLog?rev=1858&root=lib-ocamlnet2&view=markup
Merge branch 'master' of github.com:mirage/opam-repository
+cow.0.6.1
Merge pull request #873 from mirage/master

cow.0.6.1
ocp-indent 1.3.0
Add riakc 2.0.0, has minimal 2i support
Merge pull request #874 from orbitz/add-riakc-2.0.0

Add riakc 2.0.0, has minimal 2i support
Merge pull request #859 from vbmithr/master

New version of ocaml-crypt.