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 [email protected] https://lists.gnu.org/mailman/listinfo/denemo-devel
