INTERVAL ARITHMETIC FOR ADA | |
Debian packages aarch64 | |
Binary packages | ||
libada-intervals_1.13_arm64.deb | The shared library, required by the applications dynamically linked to it. In particular it provides libada-intervals.so.1.13 relocatable library. |
|
libada-intervals-dbg_1.13_arm64.deb | ||
Developing packages | ||
libada-intervals-dev_1.13_arm64.deb | The package used for developing applications. It contains *.ads and *.adb files, static library, precompiled Ada library files (*.ali) |
For automatic install and update with APT, add the following line to /etc/apt/sources.list:
deb [trusted=yes] http://www.dmitry-kazakov.de/distributions bookworm main