../ debian-control/ 04-Dec-2019 06:22 - rpm-script/ 04-Dec-2019 06:22 - CMakeLists.txt 04-Dec-2019 06:22 7871 fix-debian-permissions 04-Dec-2019 06:22 413 install-dependencies 04-Dec-2019 06:22 622 make-desktop-package 04-Dec-2019 06:22 1086 make-package 04-Dec-2019 06:22 1737 make-server-package 04-Dec-2019 06:22 62