ocaml/opam-repository — pull request #1553 by iguer (2014-01-09 14:41:52+00:00)
Title: Remove packages alt-ergo versions 0.94, 0.95 and 0.95.1 for which download links are broken.

These versions are not maintained. Version 0.95.2 should be installed instead.