bin/adasockets-config
lib/libadasockets.so.0
lib/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-utils.ali
lib/adasockets/sockets.ali
lib/adasockets/sockets-constants.ads
lib/adasockets/sockets-link.ads
lib/adasockets/sockets-multicast.ads
lib/adasockets/sockets-multicast.adb
lib/adasockets/sockets-naming.ads
lib/adasockets/sockets-naming.adb
lib/adasockets/sockets-stream_io.ads
lib/adasockets/sockets-stream_io.adb
lib/adasockets/sockets-thin.ads
lib/adasockets/sockets-utils.ads
lib/adasockets/sockets-utils.adb
lib/adasockets/sockets.adb
lib/adasockets/sockets.ads
share/doc/adasockets/adasockets.ps
share/doc/adasockets/adasockets.pdf
@unexec install-info --delete %D/info/adasockets.info %D/info/dir
info/adasockets.info
@exec install-info %D/info/adasockets.info %D/info/dir
@dirrm lib/adasockets