[prelude] update hashes, fix main.hs

parent edd127cf
Pipeline #5441 canceled with stages
in 37 minutes and 58 seconds