Package: src:texlive-extra
Followup-For: Bug #938656
Control: unblock 938656 by 936624

gnat-gps embeds a python2 interpreter, but its documentation already
builds with python3.

Reply via email to