name: language-sygus
license_spdx: BSD-3-Clause
version: 0.1.1.3
spec_version: 1.0
download_url: http://hackage.haskell.org/package/language-sygus-0.1.1.3/language-sygus-0.1.1.3.tar.gz
news_url: https://libraries.io/hackage/language-sygus/versions.atom
date: 2022-10-31
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/language-sygus?number=0.1.1.3
