Binary package “libgnatcoll-gmp18-dev” in ubuntu focal

GNATColl, general purpose Ada library (GMP)

 The GNAT Component Collection deals with: module tracing, efficient
 file IO, static string searching (Boyer-Moore), e-mails and
 mailboxes, Ravenscar tasking profiles, storage pools, JSON, logging,
 shell scripting. Components relying on external dependencies are
 distributed in separate packages.
 This package contains the static library and Ada specifications
 for the binding with the GNU Multiprecision arithmetic C library.