https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119302
James K. Lowden <jklowden at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jklowden at gcc dot gnu.org --- Comment #3 from James K. Lowden <jklowden at gcc dot gnu.org> --- The posted patch is good but insufficient. As you suggest, the name should be libgcobol.3. It documents an interface exposed by the library. I don't know what I was thinking.