A new upstream version is available: 4.13

package:
eclipse-platform-debug
severity:
high
created:
2019-09-12
last updated:
2019-11-19

A new upstream version 4.13 is available, you should consider packaging it.