I have found a doc for how to set up a private repository: https://wiki.debian.org/HowToSetupADebianRepository @Tobias: Which of the solutions would you recommend? For the sake of simplicity, I guess aptly or debify would be good, but you probably have much more knowledge in that area.
Andreas _______________________________________________ Denemo-devel mailing list Denemo-devel@gnu.org https://lists.gnu.org/mailman/listinfo/denemo-devel