skip the navigation

Packages

• About Debian
• Getting Debian
• Support
• Developers' Corner

/usr/bin/adasockets-config
/usr/lib/arm-linux-gnueabi/ada/adalib/adasockets/sockets-constants.ali
/usr/lib/arm-linux-gnueabi/ada/adalib/adasockets/sockets-link.ali
/usr/lib/arm-linux-gnueabi/ada/adalib/adasockets/sockets-multicast.ali
/usr/lib/arm-linux-gnueabi/ada/adalib/adasockets/sockets-naming.ali
/usr/lib/arm-linux-gnueabi/ada/adalib/adasockets/sockets-stream_io.ali
/usr/lib/arm-linux-gnueabi/ada/adalib/adasockets/sockets-thin.ali
/usr/lib/arm-linux-gnueabi/ada/adalib/adasockets/sockets-types.ali
/usr/lib/arm-linux-gnueabi/ada/adalib/adasockets/sockets-utils.ali
/usr/lib/arm-linux-gnueabi/ada/adalib/adasockets/sockets.ali
/usr/lib/arm-linux-gnueabi/libadasockets.a
/usr/lib/arm-linux-gnueabi/libadasockets.so
/usr/lib/arm-linux-gnueabi/pkgconfig/adasockets.pc
/usr/share/ada/adainclude/adasockets/sockets-constants.ads
/usr/share/ada/adainclude/adasockets/sockets-link.ads
/usr/share/ada/adainclude/adasockets/sockets-multicast.adb
/usr/share/ada/adainclude/adasockets/sockets-multicast.ads
/usr/share/ada/adainclude/adasockets/sockets-naming.adb
/usr/share/ada/adainclude/adasockets/sockets-naming.ads
/usr/share/ada/adainclude/adasockets/sockets-stream_io.adb
/usr/share/ada/adainclude/adasockets/sockets-stream_io.ads
/usr/share/ada/adainclude/adasockets/sockets-thin.ads
/usr/share/ada/adainclude/adasockets/sockets-types.ads
/usr/share/ada/adainclude/adasockets/sockets-utils.adb
/usr/share/ada/adainclude/adasockets/sockets-utils.ads
/usr/share/ada/adainclude/adasockets/sockets.adb
/usr/share/ada/adainclude/adasockets/sockets.ads
/usr/share/doc/libadasockets-dev/README.Debian
/usr/share/doc/libadasockets-dev/changelog.Debian.armel.gz
/usr/share/doc/libadasockets-dev/changelog.Debian.gz
/usr/share/doc/libadasockets-dev/copyright
/usr/share/gpr/adasockets.gpr
/usr/share/man/man1/adasockets-config.1.gz