GNU multiple precision arithmetic library

Current version

Revision: 2

gmp requires the following formula to be installed:
xz 5.2.3 General-purpose data compression with high compression ratio

Reverse dependencies

The following formulae require gmp to be installed:
lilypond 2.18.2 Sheet music engraver
pari 2.7.3
php53-gmp 5.3.29 GMP core php extension
maude 2.7.1_1 reflective language for equational and rewriting logic specification
php55 5.5.38_12 PHP Version 5.5
php53 5.3.29_8 PHP Version 5.3
php54 5.4.45_7 PHP Version 5.4
cln 1.3.4 Class Library for Numbers
redis-leveldb 1.4_3 Redis-protocol compatible frontend to leveldb
lsh 2.1_1 GNU implementation of the Secure Shell (SSH) protocols
zmap 2.1.1 Network scanner for Internet-wide network studies
arb 2.11.1 C library for arbitrary-precision floating-point ball arithmetic
yices 2.5.4 The Yices SMT Solver
igraph 0.7.1_6 Network analysis package
llvm@3.7 3.7.1 Next-gen compiler infrastructure
mlkit 4.3.9 Compiler for the Standard ML programming language
parrot 8.1.0 Open source virtual machine (for Perl6, et al.)
cddlib 094h Double description method for general polyhedral cones
glpk448 4.48_1 Library for Linear Programming
fstar ML-like language aimed at program verification
pike 8.0.498 Dynamic programming language
coreutils 8.29 GNU File, Shell, and Text utilities
gfan 0.6.2 Computes Gröbner fans and tropical varieties
urweb 20170720 Ur/Web programming language
soplex 3.1.0 The Sequential object-oriented simPlex
php70-gmp 7.0.27_18 GMP core php extension
php70 7.0.27_19 PHP Version 7.0
php56-gmp 5.6.33_6 GMP core php extension
php56 5.6.33_9 PHP Version 5.6
pari 2.9.4 Computer algebra system designed for fast computations in number theory
mpfi 1.5.2 Multiple precision interval arithmetic library
sfcgal 1.3.2_1 C++ wrapper library around CGAL
ats2-postiats 0.3.9 Programming language with formal specification features
rakudo-star 2018.01 Perl 6 compiler
php71 7.1.14_25 PHP Version 7.1
mlton 20180207 Whole-program, optimizing compiler for Standard ML
swi-prolog 7.6.4 ISO/Edinburgh-style Prolog interpreter
ppl 1.2 Parma Polyhedra Library: numerical abstractions for analysis, verification
singular 4.1.1 Computer algebra system for polynomial computations
glpk 4.65 Library for Linear and Mixed-Integer Programming
libtomcrypt 1.18.1 Comprehensive, modular and portable cryptographic toolkit
ledger 3.1.1_9 Command-line, double-entry accounting tool
io 2017.09.06 Small prototype-based programming language
radare2 2.4.0 Reverse engineering framework
php 7.2.3_2 General-purpose scripting language
gcc@6 6.4.0_2 GNU compiler collection
mingw-w64 5.0.3_3 Minimalist GNU for Windows and GCC cross-compilers
cgal 4.11.1 Computational Geometry Algorithm Library
guile@2.0 2.0.14_2 GNU Ubiquitous Intelligent Language for Extensions

Recent formula history

FX Coudert gmp: use assembly in static library
FX Coudert gmp: remove C++11 option
ilovezfs Use “squiggly” heredocs.
Jeroen gmp: fix static library via --disable-assembly
FX Coudert gmp: improve test

Formula code at GitHub