On 10/13/2016 01:50 PM, Jerome BENOIT wrote: > > I will to figure out something perenne as regarding the maintenance of the package. > Jerome To use the git source without having to go into the details of libGAPify etc, you could also run 'make dist' in debian/rules and then extract and use the resulting tarball. Best, Tobias