|INTERVAL ARITHMETIC FOR ADA|
|Fedora packages aarch64|
|ada-intervals-1.13-1.aarch64.rpm||The shared library, required by the applications dynamically linked to it.
In particular it provides libada-intervals.so.1.13-1 relocatable library.
|ada-intervals-devel-1.13-1.aarch64.rpm||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 dnf, place the file dmitry-kazakov.repo into the directory /etc/yum.repos.d.
Back to the main page of the Interval Arithmetic for Ada.