INTERVAL ARITHMETIC FOR ADA
CentOS packages x86_64
[Home]

 Binary packages
ada-intervals-1.13-1.x86_64.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-1.13-1.src.rpm
 Developing packages
ada-intervals-devel-1.13-1.x86_64.rpm The package used for developing applications.
It contains *.ads and *.adb files, static library, precompiled Ada library files (*.ali)
ada-intervals-devel-1.13-1.src.rpm

For automatic install and update with yum, place the file dmitry-kazakov.centos.repo into the directory /etc/yum.repos.d.

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