[aur-requests] [PRQ#10449] Merge Request for jbuilder

notify at aur.archlinux.org notify at aur.archlinux.org
Thu Feb 1 20:48:01 UTC 2018

J5lx [1] filed a request to merge jbuilder [2] into dune [3]:

jbuilder has been renamed to dune. See
and notice that former homepage https://github.com/janestreet/jbuilder
now redirects to https://github.com/ocaml/dune

[1] https://aur.archlinux.org/account/J5lx/
[2] https://aur.archlinux.org/pkgbase/jbuilder/
[3] https://aur.archlinux.org/pkgbase/dune/

More information about the aur-requests mailing list