restrict to linux only due to `yes no|omake` spinning on non-Linux
Merge pull request #858 from garthpatil/master

uint should allow ospec 0.3.1 as a satisfied constrained
Switched to OCamlMakefile.
Add google-drive-ocamlfuse 0.3.4
Remove constraint on sqlite
[Frama-C] normalize the version number (remove atoms name)
[Alt-Ergo] remove the strict dependency on ocamlgraph 1.8.2
[OcamlGraph] version 1.8.3
[Frama-C] add Fluorine3 20130601
[Why2] add version 2.33
Adding ocaml-markdown 0.1.1
Merge pull request #862 from bobot/framac

New version of Frama-c, Ocamlgraph, Why2. Warning: renaming of Frama-c version
Merge pull request #863 from jpdeplaix/master

Add ocaml-markdown 0.1.1
Merge pull request #860 from astrada/master

Add google-drive-ocamlfuse 0.3.4
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