Comment (by Cheng-Hsin Cheng):

Pull request created for manifest here.

Note: We just changed the repository name from Canudax_Lean to CanudaX today, so any old references to the CanudaX repository URL will need to be updated accordingly

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2917/include-canudax