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	spark2014: init at unstable-2022-05-25	2022-10-26 23:22:53 +08:00
xmlada	xmlada: 22.0.0 -> 23.0.0	2022-11-16 12:42:27 +01:00