dso_listing.awk

# need to use --posix or --re-interval

$0 ~ /^lib[^.]+\.so(.[0-9]+){0,3}$/ {
    n = split($0, a, ".")
    dso_basename = a[1];

    suffix = ""
    for(i = 2; i <= n; i++) {
        suffix = suffix"."a[i]
    }

    dso[dso_basename] = dso[dso_basename]"|"suffix;
}
END {
    for(i in dso)
        printf("%s : %s\n", i, dso[i]);
}