David Garske 573093ddf3 Move the .so to devel files. The pure *.so file is considered a dev file. vor 9 Monaten
..
include.am 7a12202675 Init deb packaging vor 1 Jahr
spec.in 573093ddf3 Move the .so to devel files. The pure *.so file is considered a dev file. vor 9 Monaten