debian/tmp/usr/lib/xorg/modules/xlibre-25/drivers/mga_drv.so
debian/tmp/usr/share/man/man4/mga.4
