Packages with the gmp use flag

Global definition: Add support for dev-libs/gmp (GNU MP library).

app-editors / emacs : The extensible, customizable, self-documenting real-time display editor

  • Use the GNU multiple precision arithmetic library (dev-libs/gmp) instead of the bundled mini-gmp subset

app-office / libalkimia : Library with common classes and functionality used by KDE finance applications

dev-ada / gnatcoll-bindings : GNAT Component Collection

dev-lang / esco : Combine interpreter of esoteric languages

dev-lang / ghc : The Glasgow Haskell Compiler

  • Use dev-libs/gmp for integer operations (works faster, but an external depend).

dev-lang / mercury-extras : Additional libraries and tools that are not part of the Mercury standard library

dev-lang / parrot : Virtual machine designed to compile and execute bytecode for dynamic languages

dev-lang / php : The PHP language runtime engine

dev-lang / polyml : Poly/ML is a full implementation of Standard ML

dev-lang / swi-prolog : Versatile implementation of the Prolog programming language

dev-libs / libsecp256k1 : Optimized C library for EC operations on curve secp256k1

dev-libs / libtomcrypt : LibTomCrypt is a comprehensive, modular and portable cryptographic toolkit

dev-libs / nettle : Low-level cryptographic library

dev-libs / openssl : Robust, full-featured Open Source Toolkit for the Transport Layer Security (TLS)

dev-libs / openssl-compat : Full-strength general purpose cryptography library (including SSL and TLS)

dev-libs / rasqal : Library that handles Resource Description Framework (RDF)

dev-perl / Math-PlanePath : Mathematical paths through the 2-D plane

dev-python / mpmath : Python library for arbitrary-precision floating-point arithmetic

dev-scheme / bigloo : Practical Scheme Compiler with many extensions

dev-util / numdiff : File comparision, ignoring small numeric differences and formats

media-gfx / blender : 3D Creation/Animation/Publishing System

media-sound / snd : Snd is a sound editor

media-video / ffmpeg : Complete solution to record/convert/stream audio and video. Includes libavcodec

net-firewall / nftables : Linux kernel (3.13+) firewall, NAT and packet mangling tools

net-irc / scrollz : Advanced IRC client based on ircII

net-vpn / strongswan : IPsec-based VPN solution, supporting IKEv1/IKEv2 and MOBIKE

sci-libs / bliss : Compute Automorphism Groups and Canonical Labelings of Graphs

sci-libs / lrslib : Reverse-search algorithm for vertex enumeration problems

sci-mathematics / boolector : Fast SMT solver for bit-vectors, arrays and uninterpreted functions

sci-mathematics / form : Symbolic Manipulation System

sci-mathematics / fricas : FriCAS is a fork of Axiom computer algebra system

sci-mathematics / glpk : GNU Linear Programming Kit

sci-mathematics / pari : Computer-aided number theory C library and tools

sci-mathematics / z3 : An efficient theorem prover

sys-apps / coreutils : Standard GNU utilities (chmod, cp, dd, ls, sort, tr, head, wc, who,...)