package for frama-c Fluorine 2
Add macaque_lwt
Merge pull request #784 from jpdeplaix/master

Add macaque_lwt
core 109.28.00-rc1
bin_prot 109.15.01
Merge pull request #786 from janestreet/master

bin_prot 109.15.01
Add Fix, a fixed-point computation library.
Merge pull request #787 from protz/master

Add Fix, a new library by François Pottier
camlp5 is compatible with 4.01.x

camlp5 should be marked compatible with anything less than 4.02.0 to account for all 4.01.x including development revisions.
camlp5's claim to support 4.01.0 was wrong; 4.00.x is max
remove non-existent kaputt patch
Merge pull request #791 from dsheets/kaputt.1.1

remove non-existent kaputt patch
Added ocp-indent.1.2.2
Add new mirage packages that do not require OPAM switching to operate.

Fix up previous constraints as appropriate
Merge pull request #793 from mirage/master

Add new mirage packages that do not require OPAM switching to operate
+cohttp.0.9.9
+cow.0.5.5
Merge pull request #794 from mirage/master

cohttp/cow updates
Added newest version of the "res" package
Updated maintainer on all of my packages