patch for coq when Make 4.0 is present (issue #1262)
sequence 0.4
ocsigenserver.2.3.1
ocsigenserver.2.4
ocsigenserver: udpate maintainer
Xml-light.2.2: fix broken url
disable documentation in sequence
Merge pull request #1904 from hhugo/xmllight22

Xml-light.2.2: fix broken url
Merge pull request #1903 from hhugo/ocsigen

Ocsigenserver 2.3.1 + 2.4.0
Merge pull request #1901 from Chris00/master

Add mindstorm 0.5.3
Merge pull request #1902 from c-cube/sequence

sequence 0.4
Merge pull request #1899 from c-cube/master

patch for coq when Make 4.0 is present (issue #1262)
Updated zbar
Inotify 2.0.

Peter Zotov is taking over the project.  Thanks Peter!
Updated with Peter's email address.
+cohttp.0.11.1
Merge pull request #1905 from vbmithr/master

Updated zbar
Merge pull request #1907 from mirage/master

+cohttp.0.11.1
Updated checksum.
Add piqi-0.7.1