interval_intel 1.6

Libraries

This package provides the following libraries (via dune):

interval_intel

Documentation: Interval_intel

Dependencies: interval_base