commit | 936151bbffc6a06124dac7252a5bf183f89581ea | [log] [tgz] |
---|---|---|
author | Max <msuraev@sysmocom.de> | Sun Apr 24 12:01:03 2016 +0200 |
committer | Holger Hans Peter Freyther <holger@moiji-mobile.com> | Sun Apr 24 19:52:20 2016 +0200 |
tree | 403633948669c2880dfde8dff8c0b67da6969806 | |
parent | 610ef99e6d66cd36fbee712c744c4cc71f08844f [diff] |
Add static lib to -dev .deb package According to https://www.debian.org/doc/debian-policy/ch-sharedlibs.html and http://packaging.ubuntu.com/html/libraries.html that's where it belongs.