Package Details: ocaml-zarith 1.8-1

Git Clone URL: https://aur.archlinux.org/ocaml-zarith.git (read-only)
Package Base: ocaml-zarith
Description: Implements arithmetic and logical operations over arbitrary-precision integers and rational numbers
Upstream URL: https://github.com/ocaml/Zarith
Licenses: GPL2
Provides: zarith
Submitter: oriba
Maintainer: oriba
Last Packager: oriba
Votes: 29
Popularity: 1.135345
First Submitted: 2018-04-30 21:40
Last Updated: 2019-05-24 23:21

Dependencies (3)

Required by (11)

Sources (1)

Latest Comments

1 2 Next › Last »

Kunda commented on 2018-05-23 13:30

@hriad thanks, your solution worked.

hriad commented on 2018-05-15 08:13

Edit: If you have the same issue, simply do:

pacman -Rdd zarith

Then build again.

error: failed to commit transaction (conflicting files)

ocaml-zarith: /usr/lib/ocaml/zarith/META exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/big_int_Z.cmi exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/big_int_Z.cmx exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/big_int_Z.mli exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/dllzarith.so exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/libzarith.a exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/q.cmi exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/q.cmx exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/q.mli exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/z.cmi exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/z.cmx exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/z.mli exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/zarith.a exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/zarith.cma exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/zarith.cmxa exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/zarith.cmxs exists in filesystem

ocaml-zarith: /usr/lib/ocaml/zarith/zarith.h exists in filesystem

Errors occurred, no packages were upgraded.

oriba commented on 2018-04-30 21:50

@emersion: 'ocaml-zarith' created, merge-request-into ocaml-zarith sent. in zarith the request is mentioned, in ocaml-zarith not, even though I got email from AUR about that. Any ideas how to preoceed from now on?

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.