chiark / gitweb /
Update to upstream 2.3+252-g8b3cb5a
[nlopt.git] / debian / libnlopt-dev.links
1 usr/share/doc/libnlopt0 usr/share/doc/libnlopt-dev