gnatcoll.gpr | 4 0 + 4 - 0 !
1 file changed, 4 deletions(-)

 remove artifacts from gnatcoll.gpr
 Gprinstall has no option to skip artifacts or change their destination.
 It is not installed during indep builds.

distrib/gnatcoll/__init__.py | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 give gps debian path when registering documentation.