Merge pull request #662 from vbmithr/master

Fixed package ocp-index, adding package thrift
FreeTDS 0.4.2
Merge remote-tracking branch 'origin/master'
Fix the package for ocp-index

This should fix #663
Merge pull request #664 from Chris00/master

freetds 0.4.2
core-109.20.00-rc1
monir release of typehashlib
Merge pull request #666 from janestreet/master

Minor release of typehashlib
Fixed ocp-index.0.1.0 and installing manpage
ocp-indent.1.2.0
cryptokit 1.7
Merge pull request #669 from mirage/master

cryptokit 1.7 update
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>