Description of problem: The upstream has changed URL for the home (and it also affects tarball) Old URL: https://github.com/diml/lambda-term New URL: https://github.com/ocaml-community/lambda-term
Fixed in ocaml-lambda-term 1.13-1 (rawhide).