[aur-requests] [PRQ#10449] Merge Request for jbuilder
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/
2 Feb
2 Feb
6:06 p.m.
New subject: [aur-requests] [PRQ#10449] Request Accepted
Request #10449 has been accepted by Alad [1]. [1] https://aur.archlinux.org/account/Alad/
2309
Age (days ago)
2310
Last active (days ago)
1 comments
1 participants
participants (1)
-
notify＠aur.archlinux.org