mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-23 04:23:08 +00:00
9024af45d6
This is a new requirement for the latest veersion of alt-ergo. ================================================================ The Zarith library implements arithmetic and logical operations over arbitrary precision numbers. It uses GMP to efficiently implement arithmetic over large numbers. Small integers are represented as Caml unboxed integers for speed and space economy. WWW: http://forge.ocamlcore.org/projects/zarith
3 lines
125 B
Plaintext
3 lines
125 B
Plaintext
SHA256 (zarith-1.2.1.tgz) = 916801cc39599d3fca07384fbfeec4bfaa5ffcb497d68ef89320af40ba5e4144
|
|
SIZE (zarith-1.2.1.tgz) = 68654
|