OCamlPro/opam-repository — pull request #356 by bobot (2013-01-31 08:31:47+00:00)
Title: Alt-Ergo 0.95

The make install add the file {prefix}/share/gtksourceview-2.0/language-specs/alt-ergo.lang. I'm not sure it's used by any gtk applications since it is not in a regular path. What do you think?

The patches applied have been also applied upstream (or you can't compile the alt-ergo trunk with opam).