1 2 3 4
# meta-data for package-build-building pkgname="stainless" url="https://github.com/epfl-lara/stainless"