Merge branch 'pr' of https://github.com/camlspotter/opam-repository into pr
Merge remote-tracking branch 'upstream/master' into pr
Merge branch 'pr' of https://github.com/camlspotter/opam-repository into pr
Merge remote-tracking branch 'upstream/master' into pr
Merge branch 'pr' of https://github.com/camlspotter/opam-repository into pr
Merge remote-tracking branch 'upstream/master' into pr
added software upgrades
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
updated ocaml-inotify version
new version of Alt-Ergo (0.95.1)