chiark / gitweb /
~ianmdlvl / nlopt.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
nlopt (2.4.2+dfsg-8) unstable; urgency=medium
[nlopt.git] / debian / libnlopt-dev.install
1 usr/include
2 usr/lib/*/libnlopt.so
3 usr/lib/*/libnlopt.a
4 usr/lib/*/pkgconfig/nlopt.pc
5 usr/share/man/man3/*
Unnamed repository; edit this file 'description' to name the repository.