Package Details: zarith 1.7-1

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: 24
Popularity: 1.194751
First Submitted: 2015-08-17 04:16
Last Updated: 2018-01-25 16:25

Dependencies (3)

Required by (7)

Sources (1)

Latest Comments

emersion commented on 2018-04-16 12:59

It seems dllzarith.so is not placed at the correct location:

Fatal error: cannot load shared library dllzarith Reason: dllzarith.so: cannot open shared object file: No such file or directory

I had to run export CAML_LD_LIBRARY_PATH=/usr/lib/ocaml/zarith to be able to execute my program. Maybe dllzarith.so should be installed in /usr/lib directly?

emersion commented on 2018-04-16 10:59

You can submit a new package with the new name, click "Submit Request" on the old one (link on the right), and select "Merge". You can add provides=('zarith') to the new package to prevent other packages from being broken. You can probably keep the whole Git history of the package by just adding and pushing to the new remote (with a commit updating the package name).

oriba commented on 2018-04-16 10:36

@emersion: yes, renaming makes sense. I picked up the orphaned package once, and didn't adapted the name. I don't know so far, how to rename AUR-packages. If you know, please give me a hint.

emersion commented on 2018-04-16 10:19

Should be renamed to ocaml-zarith?

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

All comments