chiark / gitweb /
Import nlopt_2.4.2+dfsg-8.debian.tar.xz
[nlopt.git] / libnlopt0.install
1 usr/lib/*/libnlopt.so.*