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/gpr/adasockets.gpr
share/man/man1/adasockets-config.1.gz