Bug#1107762: hol-light: please stop Suggesting the old & remove "python" (= Python2)

[Alexandre Detiste <alexandre.detiste@gmail.com>]

Source: hol-light
Version: 1:3.0.0-2
Severity: normal

Dear Maintainer,

By now, all or most traces of Python2 have
been removed from the distribution.

Please trim the removed package from the Suggests tags.

If applicable, "python" can be replaced with "python3".

Greetings,

Alexandre