2000-07-31 17:14:24 +02:00
|
|
|
bin/adasockets-config
|
2002-11-08 05:48:30 +01:00
|
|
|
lib/libadasockets.so.0
|
|
|
|
lib/libadasockets.a
|
2000-07-31 17:14:24 +02:00
|
|
|
lib/adasockets/sockets-constants.ali
|
|
|
|
lib/adasockets/sockets-link.ali
|
|
|
|
lib/adasockets/sockets-multicast.ali
|
|
|
|
lib/adasockets/sockets-naming.ali
|
2000-10-17 16:20:22 +02:00
|
|
|
lib/adasockets/sockets-stream_io.ali
|
2000-07-31 17:14:24 +02:00
|
|
|
lib/adasockets/sockets-thin.ali
|
|
|
|
lib/adasockets/sockets-utils.ali
|
|
|
|
lib/adasockets/sockets.ali
|
2002-11-08 05:48:30 +01:00
|
|
|
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
|
2003-01-08 15:38:06 +01:00
|
|
|
lib/adasockets/sockets.ads
|
2002-11-08 05:48:30 +01:00
|
|
|
share/doc/adasockets/adasockets.ps
|
|
|
|
share/doc/adasockets/adasockets.pdf
|
2003-01-08 15:38:06 +01:00
|
|
|
@unexec install-info --delete %D/info/adasockets.info %D/info/dir
|
2002-11-08 05:48:30 +01:00
|
|
|
info/adasockets.info
|
2003-01-08 15:38:06 +01:00
|
|
|
@exec install-info %D/info/adasockets.info %D/info/dir
|
2000-07-31 17:14:24 +02:00
|
|
|
@dirrm lib/adasockets
|