jenga 111.08.01
Merge pull request #2104 from janestreet/master

jenga 111.08.01
sequence 0.4.1
Merge pull request #2106 from c-cube/master

sequence 0.4.1
latest version of obuild
Merge pull request #2107 from UnixJunkie/latest_obuild

latest version of obuild
Add package for CCSS 1.5
Remove package CCSS 1.3 (old version, deprecated by two more recent releases)
Merge pull request #2105 from samoht/master

Update Irmin name and repo change
Merge pull request #2109 from darioteixeira/master

Add package for CCSS 1.5
remove broken remove instruction (it remove oUnit instead of beluga)
Merge pull request #2110 from planar/master

beluga: remove broken remove instruction (it removes oUnit instead of beluga)
ctypes 0.3
Merge pull request #2111 from yallop/ctypes-0.3

ctypes 0.3
add depext to postgresql
tuareg: add emacs depext (not installed by default in ubuntu any more)
restrict older frama-c versions to the ocaml <4.01.0
Merge pull request #2112 from avsm/postgres-depext

add depext to postgresql
speex; add depext
parmap depext on autoconf (ubuntu trusty fails)