INTERVAL ARITHMETIC FOR ADA
Ubuntu packages aarch64
[Home]

 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/ubuntu jammy main

[Back]  Back to the main page of the Interval Arithmetic for Ada.