sternenseemann 14e0c0dba2 gnatinspect, gnatcoll-db2ada: drop gnatcoll- prefix from pname		2022-11-16 12:42:27 +01:00
..
gnatcoll	gnatinspect, gnatcoll-db2ada: drop gnatcoll- prefix from pname	2022-11-16 12:42:27 +01:00
spark2014
xmlada	xmlada: 22.0.0 -> 23.0.0	2022-11-16 12:42:27 +01:00