MD5 (WildMagic4p5.zip) = 8ecbe5f99f51c4b69864f5bc0c8bcdc3 SHA256 (WildMagic4p5.zip) = bbd4b109f2ac92d83621122da53e3ec41e30ff45a7150c92a52e21587aba4536 SIZE (WildMagic4p5.zip) = 24985029 uthor> <name>danfe</name> <email>danfe@FreeBSD.org</email> </author> <published>2017-04-28T15:47:17+00:00</published> <link rel='alternate' type='text/html' href='http://tfcis.org/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/?id=530a85aa92d86b5bc0206cc17077e10f82ebe745'/> <id>530a85aa92d86b5bc0206cc17077e10f82ebe745</id> <content type='text'> - Employ USES+=localbase:ldflags - Remove excessive whitespace </content> <content type='xhtml'> <div xmlns='http://www.w3.org/1999/xhtml'> <pre> - Employ USES+=localbase:ldflags - Remove excessive whitespace </pre> </div> </content> </entry> <entry> <title>Add new Ocaml port: math/ocaml-zarith</title> <updated>2014-06-02T21:28:39+00:00</updated> <author> <name>marino</name> <email>marino@FreeBSD.org</email> </author> <published>2014-06-02T21:28:39+00:00</published> <link rel='alternate' type='text/html' href='http://tfcis.org/~lantw44/cgit/cgit.cgi/freebsd-ports-gnome/commit/?id=8a21d3b3c8dc879f75c9249b3485185e98d70a8e'/> <id>8a21d3b3c8dc879f75c9249b3485185e98d70a8e</id> <content type='text'> 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 </content> <content type='xhtml'> <div xmlns='http://www.w3.org/1999/xhtml'> <pre> 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 </pre> </div> </content> </entry>