On Thu, 16 Jun 2016 17:40:35 -0400 Adam Chlipala <[email protected]> wrote:
> Thanks for taking the initiative on this packaging! Will your > packages appear in an official OpenBSD place soon? I certainly hope they will - I would really like to see them included into the upcoming release. > It seemed to be required in Debian Linux when I started the project, > though it may not be required in recent versions anymore. It appears that ldconfig is still needed, according to the manual [1]. Maybe someone is able to comment on that. [1]: https://www.debian.org/doc/debian-policy/ch-sharedlibs.html#s-ldconfig _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
