sternenseemann 14e0c0dba2 gnatinspect, gnatcoll-db2ada: drop gnatcoll- prefix from pname		2022-11-16 12:42:27 +01:00
..
bindings.nix	gnatcoll-{lzma,gmp,iconv,omp,python3,readline,syslog,zlib}: 22.0.0 -> 23.0.0	2022-11-16 12:42:27 +01:00
core.nix	gnatcoll-core: 22.0.0 -> 23.0.0	2022-11-16 12:42:27 +01:00
db.nix	gnatinspect, gnatcoll-db2ada: drop gnatcoll- prefix from pname	2022-11-16 12:42:27 +01:00