updates for spotlib.2.3.0
Merge remote-tracking branch 'upstream/master' into pr
restrict to linux only due to `yes no|omake` spinning on non-Linux
Switched to OCamlMakefile.
Add google-drive-ocamlfuse 0.3.4
Remove constraint on sqlite
added pa_ovisitor.1.0.0
camlimages.4.1.0
meta_conv.1.1.2
orakuda.1.1.0
tiny_json.1.1.2
tiny_json_conv.1.4.1
treeprint.1.0.2
fixed url of ocaml-indent.1.1.0
fixed opam and url of ocamltter.2.1.1
fixed url of spotlib.2.3.0
fix of pa_ovisitor
Merge remote-tracking branch 'upstream/master' into pr
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.