Package - libadasockets-dev

Primary informations

Download package: http://deb.debian.org/debian/pool/main/a/adasockets/libadasockets-dev_1.14-3_amd64.deb (Size: 61.3KiB)

Property	Value
Package	libadasockets-dev
Source	adasockets
Version	1.14-3
Installed-Size	373
Maintainer	Phil Brooke
Architecture	amd64
Replaces	libadasockets10-dev, libadasockets11-dev, libadasockets12-dev, libadasockets8-dev, libadasockets9-dev
Provides	libadasockets-dev-3a076911
Depends	gnat (<< 15), gnat (>= 14), gnat-14, gnat-14-ade93c16, libadasockets11 (= 1.14-3)
Suggests	pkgconf
Breaks	libadasockets10-dev, libadasockets11-dev, libadasockets12-dev, libadasockets8-dev, libadasockets9-dev
Description	bindings for socket services in Ada: development files
Description-md5	bf5cbd0bbddd9e74701099b5d13df0f4
Homepage	https://www.rfc1149.net/devel/adasockets.html
Section	libdevel
Priority	optional
Filename	pool/main/a/adasockets/libadasockets-dev_1.14-3_amd64.deb
Size	62728
MD5sum	1ba2f75f78faa81676abdadb85c501bb
SHA256	285af409f080edadc9112022329c57eac5e13cf968275da0f59022d10a169679

Files in package

• /usr/bin/adasockets-config
• /usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-constants.ali
• /usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-link.ali
• /usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-multicast.ali
• /usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-naming.ali
• /usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-stream_io.ali
• /usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-thin.ali
• /usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-types.ali
• /usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets-utils.ali
• /usr/lib/x86_64-linux-gnu/ada/adalib/adasockets/sockets.ali
• /usr/lib/x86_64-linux-gnu/libadasockets.a
• /usr/lib/x86_64-linux-gnu/libadasockets.so
• /usr/lib/x86_64-linux-gnu/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.gz
• /usr/share/doc/libadasockets-dev/copyright
• /usr/share/gpr/adasockets.gpr
• /usr/share/man/man1/adasockets-config.1.gz