core-109.20.00-rc1
new version of Alt-Ergo (0.95.1)
Merge pull request #671 from backtracking/master

new version of Alt-Ergo
Alt-ergo zero version 0.3
Merge pull request #672 from c-cube/master

alt-ergo-zero 0.3
Add 4.01.0dev+extension-points compiler switch

Signed-off-by: Mike McClurg <mike.mcclurg@citrix.com>
Merge pull request #673 from mcclurmc/switch-extension-points

Add 4.01.0dev+extension-points compiler switch
Freetds 0.5
Add irc-client.0.1.0

Signed-off-by: John Else <john.else@citrix.com>
add forkwork v0.3.2
oasis2opam 0.2.7
utop 1.5
Merge pull request #677 from diml/master

utop 1.5
core: host 109.20.00-rc1 on janestreet.com
Merge pull request #676 from mlin/master

update forkwork v0.3.2
Merge pull request #674 from Chris00/master

Freetds 0.5
Unquote "make" in irc-client.0.1.0/opam

Signed-off-by: John Else <john.else@citrix.com>
freetds 0.5.1
Boolean Expression Simplifier 0.9.4.2
Merge pull request #678 from Chris00/master

FreeTDS 0.5.1