25 Dec
2014
25 Dec
'14
1:31 a.m.
Hi, The camlp4 package in [extra] is currently orphaned: https://www.archlinux.org/packages/extra/x86_64/camlp4/ Is a TU interested in adopting this package? Otherwise, I can maintain it in the AUR. Camlp4 is quite useful. As of now, the package is out-of-date with respect to ocaml (4.02.0 vs 4.02.1), which prevents some other packages from compiling. For instance, coq, in AUR [1], fails to compile with the current camlp4 package. Manually compiling and updating camlp4 to the latest upstream release (4.02.1+1) fixes the issue for Coq. Updating camlp4 may also solve this bug, although I haven't checked: https://bugs.archlinux.org/task/41907 Thanks, Baptiste [1] https://aur.archlinux.org/packages/coq/