bin/adasockets-config include/adasockets/sockets-constants.ads include/adasockets/sockets-link.ads include/adasockets/sockets-multicast.adb include/adasockets/sockets-multicast.ads include/adasockets/sockets-naming.adb include/adasockets/sockets-naming.ads include/adasockets/sockets-stream_io.adb include/adasockets/sockets-stream_io.ads include/adasockets/sockets-thin.ads include/adasockets/sockets-types.ads include/adasockets/sockets-utils.adb include/adasockets/sockets-utils.ads include/adasockets/sockets.adb include/adasockets/sockets.ads lib/adasockets/libadasockets.a lib/adasockets/sockets-constants.ali lib/adasockets/sockets-link.ali lib/adasockets/sockets-multicast.ali lib/adasockets/sockets-naming.ali lib/adasockets/sockets-stream_io.ali lib/adasockets/sockets-thin.ali lib/adasockets/sockets-types.ali lib/adasockets/sockets-utils.ali lib/adasockets/sockets.ali lib/gnat/adasockets.gpr libdata/pkgconfig/adasockets.pc share/man/man1/adasockets-config.1