Package - libgnatcoll-readline-dev
Package: libgnatcoll-readline-dev
apt-get install libgnatcoll-readline-dev
apt-get install libgnatcoll-readline-dev
Documentations in package:
Primary informations
Download package: http://deb.debian.org/debian/pool/main/libg/libgnatcoll-bindings/libgnatcoll-readline-dev_25.0.0-2+b1_amd64.deb (Size: 15.5KiB)| Property | Value |
|---|---|
| Package | libgnatcoll-readline-dev |
| Source | libgnatcoll-bindings (25.0.0-2) |
| Version | 25.0.0-2+b1 |
| Installed-Size | 59 |
| Maintainer | Nicolas Boulenguez |
| Architecture | amd64 |
| Replaces | libgnatcoll-readline17-dev, libgnatcoll-readline18-dev, libgnatcoll-readline19-dev, libgnatcoll-readline20-dev, libgnatcoll-readline21-dev |
| Provides | libgnatcoll-readline-dev-11fae834 |
| Depends | gnat (<< 15), gnat (>= 14), gnat-14, gnat-14-ade93c16, libgnatcoll-dev-814b33e1, libgnatcoll-readline21 (= 25.0.0-2+b1), libgnatprj-dev-f0b19c45, libxmlada-dom-dev-3ce4a125, libxmlada-input-dev-22e31777, libxmlada-sax-dev-68924724, libxmlada-schema-dev-e6391b3d, libxmlada-unicode-dev-40169e21, libreadline-dev |
| Breaks | libgnatcoll-readline17-dev, libgnatcoll-readline18-dev, libgnatcoll-readline19-dev, libgnatcoll-readline20-dev, libgnatcoll-readline21-dev |
| Description | Ada binding for ReadLine input history (development) |
| Description-md5 | 69b7c2715b9be422d686dd128f7b432b |
| Homepage | https://github.com/AdaCore/gnatcoll-bindings |
| Section | libdevel |
| Priority | optional |
| Filename | pool/main/libg/libgnatcoll-bindings/libgnatcoll-readline-dev_25.0.0-2+b1_amd64.deb |
| Size | 15908 |
| MD5sum | 2be2aa6593198faec72a5aafd1102ca6 |
| SHA256 | 5675efe02ae940ebf02e1633349a617d86b9a08e120628057968d5577ab6ee83 |
Files in package
- /usr/lib/x86_64-linux-gnu/ada/adalib/gnatcoll_readline/gnatcoll-readline.ali
- /usr/lib/x86_64-linux-gnu/libgnatcoll_readline.a
- /usr/lib/x86_64-linux-gnu/libgnatcoll_readline.so
- /usr/share/ada/adainclude/gnatcoll_readline/gnatcoll-readline.adb
- /usr/share/ada/adainclude/gnatcoll_readline/gnatcoll-readline.ads
- /usr/share/doc/libgnatcoll-readline-dev/changelog.Debian.amd64.gz
- /usr/share/doc/libgnatcoll-readline-dev/changelog.Debian.gz
- /usr/share/doc/libgnatcoll-readline-dev/copyright
- /usr/share/doc/libgnatcoll-readline-dev/index.rst
- /usr/share/gpr/gnatcoll_readline.gpr