Closed djs55 closed 3 years ago
Signed-off-by: David Scott dave@recoil.org
Confirmed as as same as opam upstream urls for these.
Signed-off-by: David Scott dave@recoil.org