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.
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.