sources:
  pulumi-3.142.0.tar.gz: 874ac8d7e4bddad6fc81ea5f14df25fe2bd9cd5a