%FILES%
usr/
usr/include/
usr/include/symfpu/
usr/include/symfpu/core/
usr/include/symfpu/core/add.h
usr/include/symfpu/core/classify.h
usr/include/symfpu/core/compare.h
usr/include/symfpu/core/convert.h
usr/include/symfpu/core/divide.h
usr/include/symfpu/core/fma.h
usr/include/symfpu/core/ite.h
usr/include/symfpu/core/multiply.h
usr/include/symfpu/core/operations.h
usr/include/symfpu/core/packing.h
usr/include/symfpu/core/remainder.h
usr/include/symfpu/core/rounder.h
usr/include/symfpu/core/sign.h
usr/include/symfpu/core/sqrt.h
usr/include/symfpu/core/unpackedFloat.h
usr/include/symfpu/utils/
usr/include/symfpu/utils/common.h
usr/include/symfpu/utils/numberOfRoundingModes.h
usr/include/symfpu/utils/properties.h
usr/share/
usr/share/licenses/
usr/share/licenses/symfpu-cvc5/
usr/share/licenses/symfpu-cvc5/LICENSE
