name: agda-stdlib-0.9
description: The Agda Standard Library
license_spdx: MIT
version: 0.9.3
spec_version: 1.0
download_url: https://registry.npmjs.org/agda-stdlib-0.9/-/agda-stdlib-0.9-0.9.3.tgz
home_url: http://wiki.portal.chalmers.se/agda/pmwiki.php
news_url: https://libraries.io/npm/agda-stdlib-0.9/versions.atom
date: 2015-06-03
about_resource: NONE
libraries_io_url: https://libraries.io/npm/agda-stdlib-0.9?number=0.9.3
vcs_tool: git
vcs_repository: https://github.com/agda/agda-stdlib
vcs_branch: master
