libghc-ghc-typelits-knownnat-prof

Derive KnownNat constraints from other KnownNat constraints; profiling libraries

A type checker plugin for GHC that can derive "complex" KnownNat constraints from other simple/variable KnownNat constraints. i.e. without this plugin, you must have both a KnownNat n and a KnownNat (n+2) constraint in the type signature of the following function:

libheif-plugin-j2kdec

ISO/IEC 23008-12:2017 HEIF file format decoder - j2kdec plugin

libheif is an ISO/IEC 23008-12:2017 HEIF file format decoder. HEIF is a new image file format employing HEVC (h.265) image coding for the best compression ratios currently possible.

libheif-plugin-j2kenc

ISO/IEC 23008-12:2017 HEIF file format decoder - j2kenc plugin

libheif is an ISO/IEC 23008-12:2017 HEIF file format decoder. HEIF is a new image file format employing HEVC (h.265) image coding for the best compression ratios currently possible.

libheif-plugin-jpegdec

ISO/IEC 23008-12:2017 HEIF file format decoder - jpegdec plugin

libheif is an ISO/IEC 23008-12:2017 HEIF file format decoder. HEIF is a new image file format employing HEVC (h.265) image coding for the best compression ratios currently possible.

libimaevm2t64

Linux IMA Extended Verification Module signing tools - library

Linux kernel integrity subsystem is comprised of a number of different components including the Integrity Measurement Architecture (IMA), Extended Verification Module (EVM), IMA-appraisal extension, digital signature verification extension and audit measurement log support.

libdnf2t64

libdnf - shared library

A library providing simplified C and Python APIs to libsolv.