1 Feb
2018
1 Feb
'18
8:48 p.m.
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/... 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/