name: lean
description: 

For package maintainers and hackage trustees


license_spdx: BSD-3-Clause
spec_version: 1.0
date: 2019-05-17
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/lean
