ocaml/opam-repository — pull request #1648 by nobrowser (2014-02-03 05:47:23+00:00)
Title: Fix broken manpage destination for alt-ergo

As it is, the manpage lands in

.opam/system/man/man1/man1/

:-(