Package Details: zarith 1.5-2

Git Clone URL: https://aur.archlinux.org/zarith.git (read-only)
Package Base: zarith
Description: Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
Upstream URL: https://github.com/ocaml/Zarith
Licenses: GPL2
Submitter: mthowe
Maintainer: oriba
Last Packager: oriba
Votes: 20
Popularity: 2.555833
First Submitted: 2015-08-17 04:16
Last Updated: 2017-10-22 17:35

Latest Comments

makikatze commented on 2017-10-22 17:30

You should add 'ocaml-findlib' as make dependency because other packages cannot find the library after installation if ocaml-findlib was not installed during build.

oriba commented on 2017-09-30 12:59

@radek_r: did you tested that the package can be created (this package and the other packages where you commented)?

radek_r commented on 2017-09-30 11:59

Please add achitecture "armv7h" to the PKGBUILD.

oriba commented on 2017-09-12 13:13

@janisozaur: The META-file is installed exactly to the location you mentioned.

janisozaur commented on 2017-09-12 11:23

The META file is included in the package (https://github.com/ocaml/Zarith/blob/master/META) and needs to be copied to /usr/lib/ocaml/zarith/META

zorun commented on 2017-01-07 17:31

Also, it seems that the package is missing a META file (or something else), see https://aur.archlinux.org/packages/frama-c/#news

zorun commented on 2017-01-07 17:21

namcap complains about a missing dependency:

zarith E: Dependency gmp detected and not included (libraries ['usr/lib/libgmp.so.10'] needed in files ['usr/lib/ocaml/zarith/zarith.cmxs', 'usr/lib/ocaml/stublibs/dllzarith.so'])

mthowe commented on 2015-10-20 03:24

Thanks, the url in SRCINFO was also wrong, both fixed.

Yamakaky commented on 2015-10-19 19:39

Should be 1.3-1, not 1.3-1-1.

Yamakaky commented on 2015-10-16 19:48

Problem in pkgver.