INTERVAL ARITHMETIC FOR ADA
Debian packages x86_64
[Home]

 Binary packages
libada-intervals-1.12_1_amd64.deb     The shared library, required by the applications dynamically linked to it.
In particular it provides libada-intervals-1.12.so relocatable library.
libada-intervals-1.12-dbg_1_amd64.deb
 Developing packages
libada-intervals-1.12-dev_1_amd64.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 zesty main

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