[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
https://github.com/ocaml/dune/blob/092248e22020b7f26e616fd0f36e3ae426b6c976/README.md
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