{
"info": {
"author": "Jonathan Prieto-Cubides",
"author_email": "jcu043@uib.no",
"bugtrack_url": null,
"classifiers": [
"Intended Audience :: Developers",
"License :: OSI Approved :: MIT License",
"Operating System :: OS Independent",
"Programming Language :: Python :: 3.6"
],
"description": "agda-pkg [](https://badge.fury.io/py/agda-pkg) [](https://travis-ci.org/agda/agda-pkg)\n========\n\nAgda-Pkg is a tool to manage Agda libraries with extra features like\ninstalling libraries from different kind of sources. This tool does\nnot modify `Agda` at all, it just manages systematically the directory\n`.agda` and the files: `.agda/defaults` and `.agda/libraries` used by\nAgda to locate libraries. For more information about how Agda package\nsystem works, please read the official documentation\n[here](https://agda.readthedocs.io/en/v2.6.0/tools/package-system.html).\n\n\nOn [agda/package-index](http://github.com/agda/package-index), we are\nindexing some Agda libraries. To install a library run this command\n`agda-pkg install LibraryName`. Below, you will find other ways to\ninstall libraries.\n\n\n```\n$ apkg list \nLibrary name Latest version URL\n---------------------------------------------------------------------------------------------------------\nagda-base v0.2 https://github.com/pcapriotti/agda-base.git\nagda-categories 026658c https://github.com/agda/agda-categories.git\nagda-metis v0.2.1 https://github.com/jonaprieto/agda-metis.git\nagda-prelude 64b0eb2 https://github.com/UlfNorell/agda-prelude.git\nagda-prop v0.1.2 https://github.com/jonaprieto/agda-prop.git\nagda-real 70b739a0 https://gitlab.com/pbruin/agda-real.git\nagda-ring-solver d1ed21c https://github.com/oisdk/agda-ring-solver.git\nagdarsec v0.3.0 https://github.com/gallais/agdarsec.git\nalga-theory 0fdb96c https://github.com/algebraic-graphs/agda.git\nataca a9a7c06 https://github.com/jespercockx/ataca.git\ncat v1.6.0 https://github.com/fredefox/cat.git\ncubical v0.1 https://github.com/agda/cubical.git\nFiniteSets c8c2600 https://github.com/L-TChen/FiniteSets.git\nfotc apia-1.0.2 https://github.com/asr/fotc.git\nhott-core 1037d82 https://github.com/HoTT/HoTT-Agda.git\nhott-theorems 1037d82 https://github.com/HoTT/HoTT-Agda.git\nHoTT-UF-Agda 3bdfe5c https://github.com/martinescardo/HoTT-UF-Agda-Lecture-Notes.git\nlightweight-prelude b2d440a https://github.com/L-TChen/agda-lightweight-prelude.git\nMtacAR mtac1 https://github.com/L-TChen/MtacAR.git\nplfa 1dfd02f https://github.com/plfa/plfa.github.io.git\nrouting-library thesis https://github.com/MatthewDaggitt/agda-routing.git\nstandard-library v1.1 https://github.com/agda/agda-stdlib.git\n```\n\n![\"agda](\"https://github.com/agda/agda-pkg/raw/master/assets/demo.gif\"\n)
\n\n**Table of contents**\n\n\n\n- [Quick Start](#quick-start)\n- [Usage](#usage)\n\t- [Initialisation of the package index](#initialisation-of-the-package-index)\n\t- [Help command](#help-command)\n\t- [Upgrade the package index](#upgrade-the-package-index)\n\t- [List all the packages available](#list-all-the-packages-available)\n\t- [Installation of packages](#installation-of-packages)\n\t\t- [Multiple packages at once](#multiple-packages-at-once)\n\t- [Uninstalling a package](#uninstalling-a-package)\n\t- [Update a package to latest version](#update-a-package-to-latest-version)\n\t- [See packages installed](#see-packages-installed)\n\t- [Approximate search of packages](#approximate-search-of-packages)\n\t- [Get all the information of a package](#get-all-the-information-of-a-package)\n- [Creating a library with Agda-Pkg](#creating-a-library-for-agda-pkg)\n\t- [Directory structure of an agda library](#directory-structure-of-an-agda-library)\n\t- [.agda-lib library file](#agda-lib-library-file)\n\t- [.agda-pkg library file](#agda-pkg-library-file)\n- [About](#about)\n\n\n\n# Quick Start\n\nTo install `agda-pkg`, you must have installed `Python 3.6+` or a latter version\non your machine. In addition, the python package manager `pip3 18.0+` (for python 3).\n\nWe have tested `agda-pkg` with `Agda v2.5.4+`.\n\nTo install this tool run the following command:\n\n```\n $ pip install agda-pkg\n```\n\nNow, we can run the package manager using the command `agda-pkg` or even\nshorter just `apkg`.\n\n# Usage\n\n## Initialisation of the package index\n\nThe easiest way to install libraries is by using [the package index].\n`agda-pkg` uses a local database to maintain a register of all\nlibraries available in your system. To initialize the index and the\ndatabase please run the following command:\n\n```\n $ apkg init\n Indexing libraries from https://github.com/agda/package-index.git\n```\n\n**Note**. To use a different location for your agda files `defaults`\nand `libraries`, you can set up the environment variable `AGDA_DIR`\nbefore run `apkg` as follows:\n\n```\n $ export AGDA_DIR=$HOME/.agda\n```\n\nOther way is to create a directory `.agda` in your directory and run\n`agda-pkg` from that directory. `agda-pkg` will prioritize the `.agda`\ndirectory in the current directory.\n\n## Help command\n\nCheck all the options of a command or subcommand by using the flag `--help`.\n\n```\n $ apkg --help\n $ apkg install --help\n```\n\n## Upgrade the package index\n\nRecall updating the index every once in a while using `upgrade`.\n\n```\n $ apkg upgrade\n Updating Agda-Pkg from https://github.com/agda/package-index.git\n```\n\nIf you want to index your library go to [the package index] and make [PR].\n\n## List all the packages available\n\nTo see all the packages available run the following command:\n\n```\n $ apkg list\n```\n\nThis command also has the flag `--full` to display a version of the\nthis list with more details.\n\n\n## Installation of packages\n\nInstall a library is now easy. We have multiple ways to install a package.\n\n![\"agda](\"https://github.com/agda/agda-pkg/raw/master/assets/index-stdlib.gif\"\n)
\n\n - from the [package-index](http://github.com/agda/package-index)\n\n ```\n $ apkg install standard-library\n ```\n\n- from a [local directory]\n\n```\n $ apkg install .\n```\n\nor even much simpler:\n\n```\n $ apkg install\n```\n\nInstalling a library creates a copy for agda in the directory assigned\nby agda-pkg. If you want your current directory to be taken into\naccount for any changes use the `--editable` option. as shown below.\n\n\n```\n $ apkg install --editable .\n```\n\n- from a github repository\n\n```\n $ apkg install --github agda/agda-stdlib --version v1.1\n```\n\n- from a git repository\n\n```\n $ apkg install http://github.com/jonaprieto/agda-prop.git\n```\n\nTo specify the version of a library, we use the flag `--version`\n\n```\n $ apkg install standard-library --version v1.0\n```\n\nOr simpler by using `@` or `==` as it follows.\n\n```\n $ apkg install standard-library@v1.0\n $ apkg install standard-library==v1.0\n```\n\n### Multiple packages at once\n\nTo install multiple libraries at once, we have two options:\n\n1. Using the inline method\n\n```\n $ apkg install standard-library agda-base\n```\n\nUse `@` or `==` if you need a specific version, see above\nexamples.\n\n2. Using a requirement file:\n\nGenerate a requirement file using `apkg freeze`:\n\n```\n $ apkg freeze > requirements.txt\n $ cat requirements.txt\n standard-library==v1.1\n````\n\nNow, use the flag `-r` to install all the listed libraries\nin this file:\n\n```\n $ apkg install -r requirements.txt\n```\n\n\nCheck all the options of this command with the help information:\n\n```\n $ apkg install --help\n```\n\n## Uninstalling a package\n\nUninstalling a package will remove the library from the visible libraries for Agda.\n\n- using the name of the library\n\n```\n $ apkg uninstall standard-library\n```\n\n- infering the library name from the current directory\n\n```\n $ apkg uninstall .\n```\n\nAnd if we want to remove the library completely (the sources and\neverything), we use the flag `--remove-cache`.\n\n```\n $ apkg uninstall standard-library --remove-cache\n```\n\n## Update a package to latest version\n\nWe can get the latest version of a package from\nthe versions registered in the package-index.\n\n- Update all the installed libraries:\n\n```\n $ apkg update\n```\n\n- Update a specific list of libraries. If some\nlibrary is not installed, this command will installed\nthe latest version of it.\n\n```\n $ apkg update standard-library agdarsec\n```\n\n## See packages installed\n\n\n```\n $ apkg freeze\n standard-library==v1.1\n```\n\nThis command is useful to keep in a file the versions used for your project\nto install them later.\n\n\n```\n $ apkg freeze > requirements.txt\n```\n\nTo install from this requirement file run this command.\n\n\n```\n $ apkg install < requirements.txt\n```\n\n## Approximate search of packages\n\nWe make a search (approximate) by using keywords and title of the\npackages from the index. To perform such a search, see the following\nexample:\n\n\n```\n $ apkg search metis\n 1 result in 0.0012656739999998834seg\n cubical\n url: https://github.com/agda/cubical.git\n installed: False\n```\n\n## Get all the information of a package\n\n\n```\n $ apkg info cubical\n\n```\n\n# Creating a library for Agda-Pkg\n\nIn this section, we describe how to build a library.\n\nTo build a project using `agda-pkg`, we just run the following command:\n\n```\n $ apkg create\n```\n\nSome questions are going to be prompted in order to create\nthe necessary files for Agda and for Agda-Pkg.\n\nThe output is a folder like the following showed below.\n\n## Directory structure of an agda library\n\nA common Agda library has the following structure:\n\n```\n$ tree -L 1 mylibrary/\nmylibrary/\n\u251c\u2500\u2500 LICENSE\n\u251c\u2500\u2500 README.md\n\u251c\u2500\u2500 mylibrary.agda-lib\n\u251c\u2500\u2500 mylibrary.agda-pkg\n\u251c\u2500\u2500 src\n\u2514\u2500\u2500 test\n\n2 directories, 3 files\n```\n\n## .agda-lib library file\n\n```yaml\n$ cat mylibrary.agda-lib\nname: mylibrary -- Comment\ndepend: LIB1 LIB2\n LIB3\n LIB4\ninclude: PATH1\n PATH2\n PATH3\n```\n\n## .agda-pkg library file\n\nThis file only works for `agda-pkg`. The idea of\nthis file is to provide more information about the\npackage, pretty similar to the cabal files in Haskell.\nThis file has priority over its version `.agda-lib`.\n\n```yaml\n$ cat mylibrary.agda-pkg\nname: mylibrary\nversion: v0.0.1\nauthor: \n - AuthorName1\n - AuthorName2\ncategory: cat1, cat2, cat3\nhomepage: http://github.com/user/mylibrary\nlicense: MIT\nlicense-file: LICENSE.md\nsource-repository: http://github.com/user/mylibrary.git\ntested-with: 2.6.0\ndescription: Put here a description.\n\ninclude:\n - PATH1\n - PATH2\n - PATH3\ndepend:\n - LIB1\n - LIB2\n - LIB3\n - LIB4\n```\n\n [the package index]: https://github.com/agda/package-index\n [local directory]: https://agda.readthedocs.io/en/v2.5.4/tools/package-system.html\n [PR]: https://github.com/agda/package-index/pull/new/master\n\n# About\n\nThis is a proof of concept of an Agda Package Manager.\nAny contribution or feedback to improve this work is very welcomed.\n\n\n",
"description_content_type": "text/markdown",
"docs_url": null,
"download_url": "",
"downloads": {
"last_day": -1,
"last_month": -1,
"last_week": -1
},
"home_page": "https://github.com/agda/agda-pkg",
"keywords": "agda,package-manager,agda-pkg",
"license": "MIT",
"maintainer": "",
"maintainer_email": "",
"name": "agda-pkg",
"package_url": "https://pypi.org/project/agda-pkg/",
"platform": "any",
"project_url": "https://pypi.org/project/agda-pkg/",
"project_urls": {
"Homepage": "https://github.com/agda/agda-pkg"
},
"release_url": "https://pypi.org/project/agda-pkg/0.1.46/",
"requires_dist": [
"click",
"gitpython",
"pony",
"whoosh",
"ponywhoosh",
"natsort",
"click-log",
"requests",
"humanize",
"Jinja2",
"distlib",
"PyYAML (>=5.1.1)"
],
"requires_python": ">=3.6.0",
"summary": "A package manager for Agda",
"version": "0.1.46"
},
"last_serial": 5652058,
"releases": {
"0.1.10": [
{
"comment_text": "",
"digests": {
"md5": "4c52bf6c645c4acc2aa43b6cb1bf27c0",
"sha256": "fa0d57ab41d9578008d401c5bd5e90182c15a96f9bf7659cceb3d0f6475af0a2"
},
"downloads": -1,
"filename": "agda_pkg-0.1.10-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "4c52bf6c645c4acc2aa43b6cb1bf27c0",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 21719,
"upload_time": "2018-10-01T09:31:49",
"url": "https://files.pythonhosted.org/packages/dc/82/af23531e2e4dc9c73899770a53ea3a2adec15445dbc9e4015993041af6b0/agda_pkg-0.1.10-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "5cfebabf18144c961d48269325fec009",
"sha256": "911339d6c4ade231e1b2924dbd6bde00c6253c9afd398b3c8f6be8d008eb6430"
},
"downloads": -1,
"filename": "agda-pkg-0.1.10.tar.gz",
"has_sig": false,
"md5_digest": "5cfebabf18144c961d48269325fec009",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 15013,
"upload_time": "2018-10-01T09:31:51",
"url": "https://files.pythonhosted.org/packages/a9/2d/f3ce8a401c78a2fc8a4ded3635117dcf0f66f16a0b975e27dbbf8c83b63a/agda-pkg-0.1.10.tar.gz"
}
],
"0.1.11": [
{
"comment_text": "",
"digests": {
"md5": "dd29a22a1a78d1040f300978747024d1",
"sha256": "7e16fad04b84ff179f3f60e8810923d16dde8a7f33cb4def9a64d58df4875c39"
},
"downloads": -1,
"filename": "agda_pkg-0.1.11-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "dd29a22a1a78d1040f300978747024d1",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22295,
"upload_time": "2018-10-01T14:09:10",
"url": "https://files.pythonhosted.org/packages/47/97/0c7658a92e3cf9ec63a2208f7773861a25190e15dcb65f3ae78f2d943b56/agda_pkg-0.1.11-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "49b149dc178f4840ae3c1aa830cd8700",
"sha256": "eeb6cf15b87711f8742b021f6a644f68d3d2539e9886f14b3ff20ae0e8d74996"
},
"downloads": -1,
"filename": "agda-pkg-0.1.11.tar.gz",
"has_sig": false,
"md5_digest": "49b149dc178f4840ae3c1aa830cd8700",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 15541,
"upload_time": "2018-10-01T14:09:11",
"url": "https://files.pythonhosted.org/packages/ab/69/e05037bad11fb5a158486fb3e3451d0534dfc781b93b4e98a683fc6aa827/agda-pkg-0.1.11.tar.gz"
}
],
"0.1.12": [
{
"comment_text": "",
"digests": {
"md5": "467097be8e990f16f8a1aa4a150f4c6c",
"sha256": "4417b51e36cc3f993f9b89028e0fa9c42697e7776e1efcacf3fb60b9cc98312c"
},
"downloads": -1,
"filename": "agda_pkg-0.1.12-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "467097be8e990f16f8a1aa4a150f4c6c",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22448,
"upload_time": "2018-10-01T14:43:56",
"url": "https://files.pythonhosted.org/packages/ad/c6/bfa40fcec666d174b3b0746bb28534808ffbc35a98ac74dd9cbd7b3cf6be/agda_pkg-0.1.12-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "a2f6b34130192afff335bbf13417e1eb",
"sha256": "21f3c86a6dd424ed7151c01db34de57098fb3afeb3adb55c5258f5bddb22414b"
},
"downloads": -1,
"filename": "agda-pkg-0.1.12.tar.gz",
"has_sig": false,
"md5_digest": "a2f6b34130192afff335bbf13417e1eb",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 15677,
"upload_time": "2018-10-01T14:43:57",
"url": "https://files.pythonhosted.org/packages/be/a6/4e7ca9c9a9325200508b2f55bbc55af00f924a49d029b0357f3a7bf5d5f0/agda-pkg-0.1.12.tar.gz"
}
],
"0.1.13": [
{
"comment_text": "",
"digests": {
"md5": "ee497eb5102194b9253b8233a8d91903",
"sha256": "3d5cdc2fd58d34cb66f68e9928cd4751ef9410006b4e3ad5bf96b405cd4928aa"
},
"downloads": -1,
"filename": "agda_pkg-0.1.13-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "ee497eb5102194b9253b8233a8d91903",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22178,
"upload_time": "2018-10-01T15:50:18",
"url": "https://files.pythonhosted.org/packages/c0/0d/632bbb59d62c6d599c68fc922d5c5741606e9fa917803e42787aa5476760/agda_pkg-0.1.13-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "51abd7e63ef34b38355aba2e5c5a7893",
"sha256": "7bfcc1b96da1b519245f37af541ef20b3912b45f02be237759968fe4b012115b"
},
"downloads": -1,
"filename": "agda-pkg-0.1.13.tar.gz",
"has_sig": false,
"md5_digest": "51abd7e63ef34b38355aba2e5c5a7893",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 15720,
"upload_time": "2018-10-01T15:50:20",
"url": "https://files.pythonhosted.org/packages/a3/2c/09371b5cba6551c3a85133aebb2c6583e975494c07c520763feaa27c2309/agda-pkg-0.1.13.tar.gz"
}
],
"0.1.14": [
{
"comment_text": "",
"digests": {
"md5": "68fb546be8b1bd3ec3067d6ad568551c",
"sha256": "0432cd76b76263cdb30b2003360fc145f02118ad3460c34296d940c83fccf2b4"
},
"downloads": -1,
"filename": "agda_pkg-0.1.14-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "68fb546be8b1bd3ec3067d6ad568551c",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22197,
"upload_time": "2018-10-01T16:35:14",
"url": "https://files.pythonhosted.org/packages/3f/7b/c3c74bd6ceff55ebc37f447ee9fe87d7bb322d1e9972d55b3311a0a6e8d2/agda_pkg-0.1.14-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "914ff254bfa063dd64b505cb6098b743",
"sha256": "13183f3a1f36c1932bfb2f199786160023964f329f1a7b2053452c8d3af6b14b"
},
"downloads": -1,
"filename": "agda-pkg-0.1.14.tar.gz",
"has_sig": false,
"md5_digest": "914ff254bfa063dd64b505cb6098b743",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 15745,
"upload_time": "2018-10-01T16:35:15",
"url": "https://files.pythonhosted.org/packages/96/21/4a2e4533ad528126dc521adb6a2c2e1018c268cc2591ca4d29f4dd080727/agda-pkg-0.1.14.tar.gz"
}
],
"0.1.15": [
{
"comment_text": "",
"digests": {
"md5": "fddcfdbb449409df3b666c3fb3929d0c",
"sha256": "8233426ae3d097be5a5ae8fdafaffa98e39df73616122e8b95380b11f9ed9953"
},
"downloads": -1,
"filename": "agda_pkg-0.1.15-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "fddcfdbb449409df3b666c3fb3929d0c",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22231,
"upload_time": "2018-10-01T16:53:52",
"url": "https://files.pythonhosted.org/packages/2c/63/f66120c4ac4ab3df6b215bcc1c5de10f7e5cca456c048363067763c076f3/agda_pkg-0.1.15-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "aac7f60397e5acd047173dfd2bca8699",
"sha256": "0f84ba192265e0d24bb91f45aac36a432cdf0aa4d53c239c7303dab852599f8f"
},
"downloads": -1,
"filename": "agda-pkg-0.1.15.tar.gz",
"has_sig": false,
"md5_digest": "aac7f60397e5acd047173dfd2bca8699",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 15767,
"upload_time": "2018-10-01T16:53:54",
"url": "https://files.pythonhosted.org/packages/92/22/24ed5d5a306269a53e272bfc878e33c4a88bddcef63dbb6602a4a247c433/agda-pkg-0.1.15.tar.gz"
}
],
"0.1.16": [
{
"comment_text": "",
"digests": {
"md5": "84723af1203a38023fcd4c98ec105724",
"sha256": "a35b13c92eca73a89c2f775aab8866f9f1d0fd6d7d9269721871ea021ce84fc9"
},
"downloads": -1,
"filename": "agda_pkg-0.1.16-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "84723af1203a38023fcd4c98ec105724",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22425,
"upload_time": "2018-10-01T23:40:44",
"url": "https://files.pythonhosted.org/packages/ff/bc/ef27c5c3b9fc53802d8c84b126766d0aae1856b26c3b31e0cb65bf031bde/agda_pkg-0.1.16-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "eb8060a934eb08db4113a675334a2813",
"sha256": "2170faac232964a9accba53e05e957755e8c7d774941e5765de3ef8f21112ac1"
},
"downloads": -1,
"filename": "agda-pkg-0.1.16.tar.gz",
"has_sig": false,
"md5_digest": "eb8060a934eb08db4113a675334a2813",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 16036,
"upload_time": "2018-10-01T23:40:45",
"url": "https://files.pythonhosted.org/packages/5f/68/cf29fd41bc2de045c5f3b3a568ad23b1130c44ee85a0bfcb945baa744f3d/agda-pkg-0.1.16.tar.gz"
}
],
"0.1.17": [
{
"comment_text": "",
"digests": {
"md5": "5d5a350444443b8af264f76d5b99021c",
"sha256": "0b76755b8e6a6a03ab1356a32b84b0133da9f629599eeb49a5f700f732627c4d"
},
"downloads": -1,
"filename": "agda_pkg-0.1.17-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "5d5a350444443b8af264f76d5b99021c",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22851,
"upload_time": "2018-10-03T09:40:00",
"url": "https://files.pythonhosted.org/packages/bb/84/8e54c46a2885e04a82e6cd171f54ee3f71e5912fec6cc88a1bb074e74992/agda_pkg-0.1.17-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "38bc0ea2b144f6aee8acdd5e035159bd",
"sha256": "d3b72cbe814f5a8d4e7465e8600b0085126dc0573bd4d679283400f86b19d324"
},
"downloads": -1,
"filename": "agda-pkg-0.1.17.tar.gz",
"has_sig": false,
"md5_digest": "38bc0ea2b144f6aee8acdd5e035159bd",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 16330,
"upload_time": "2018-10-03T09:40:02",
"url": "https://files.pythonhosted.org/packages/14/42/b445c509dbba7ecd7d00537c560523785b2d0515fa77c7617ad32e1b8568/agda-pkg-0.1.17.tar.gz"
}
],
"0.1.18": [
{
"comment_text": "",
"digests": {
"md5": "db857c80c4bfdd299ba4fc0a393be46a",
"sha256": "d902d7efba45909ad69961a1291b0fa1ec3e3a68e7fe57315297561c66ab2280"
},
"downloads": -1,
"filename": "agda_pkg-0.1.18-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "db857c80c4bfdd299ba4fc0a393be46a",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22872,
"upload_time": "2018-10-03T11:04:38",
"url": "https://files.pythonhosted.org/packages/a6/25/cbf88d164f6637862420fe94ef2a9185fb668eefc2ebfa086bfaf23b9ba3/agda_pkg-0.1.18-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "b8bc249914cbb8ce5ba288394187694b",
"sha256": "b39636e9e2295a96bb626d1e1f0b600e127c99b0f0a840cd7340ffab374e949a"
},
"downloads": -1,
"filename": "agda-pkg-0.1.18.tar.gz",
"has_sig": false,
"md5_digest": "b8bc249914cbb8ce5ba288394187694b",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 16367,
"upload_time": "2018-10-03T11:04:39",
"url": "https://files.pythonhosted.org/packages/1e/9f/b47b4ee8f4a7ac2ca1bdda3f956198bda2ce6240a7283a810e3e806053a6/agda-pkg-0.1.18.tar.gz"
}
],
"0.1.19": [
{
"comment_text": "",
"digests": {
"md5": "1dd76d02a66b3595cd9acf07590a6623",
"sha256": "612d6944e549cb887c4a1b4b26632bf3e7327a9f28c192595209afe628a12819"
},
"downloads": -1,
"filename": "agda_pkg-0.1.19-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "1dd76d02a66b3595cd9acf07590a6623",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22872,
"upload_time": "2018-10-03T11:13:20",
"url": "https://files.pythonhosted.org/packages/46/09/7b34da74aea0022904e28955598eb74f0da3da149507a0d1adf7bf921b84/agda_pkg-0.1.19-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "42cc324ab892f864ee2d53ffe4f5f338",
"sha256": "52fc35d1a224a579f34a0fa90ea3917fc1e80b63e1b2eec103feb9479c6f9def"
},
"downloads": -1,
"filename": "agda-pkg-0.1.19.tar.gz",
"has_sig": false,
"md5_digest": "42cc324ab892f864ee2d53ffe4f5f338",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 16356,
"upload_time": "2018-10-03T11:13:22",
"url": "https://files.pythonhosted.org/packages/b6/ab/76c17035277a5270b02008311e850c04d29f8f3e35d6ab86363e3a4b8b48/agda-pkg-0.1.19.tar.gz"
}
],
"0.1.20": [
{
"comment_text": "",
"digests": {
"md5": "a0ddf4dd98e2e7471cec36c08e257dc9",
"sha256": "ea527d410eb8a9961ff2f16b33bc074efee0819de66d0c02f0153908330c803c"
},
"downloads": -1,
"filename": "agda_pkg-0.1.20-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "a0ddf4dd98e2e7471cec36c08e257dc9",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22871,
"upload_time": "2018-10-03T11:26:23",
"url": "https://files.pythonhosted.org/packages/50/d0/6c92d493d25711e4d644dd2e997721d5df9d72218542bc50eb54600d2d9f/agda_pkg-0.1.20-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "e3796790fc3c2e15131541012e092357",
"sha256": "1d85bc69e99f1f633434c7fa7322bd11261144ca9342255b8404fd6c395c214b"
},
"downloads": -1,
"filename": "agda-pkg-0.1.20.tar.gz",
"has_sig": false,
"md5_digest": "e3796790fc3c2e15131541012e092357",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 16356,
"upload_time": "2018-10-03T11:26:25",
"url": "https://files.pythonhosted.org/packages/6b/99/980bc96759f7e20f62a38226f1a6fcd75770f92cae9fda31d3a3ac9b3891/agda-pkg-0.1.20.tar.gz"
}
],
"0.1.21": [
{
"comment_text": "",
"digests": {
"md5": "e564d9fce16fa408baa2f64327c1f9ff",
"sha256": "804e8f8dfa17c8dd31dd328b80d30bb9950e65187b2336e9187a007003557fbf"
},
"downloads": -1,
"filename": "agda_pkg-0.1.21-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "e564d9fce16fa408baa2f64327c1f9ff",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22824,
"upload_time": "2018-10-03T12:14:24",
"url": "https://files.pythonhosted.org/packages/50/df/91d4883e04717a4d8774ee97c79d19e4196459f25bb808731e9a3570721e/agda_pkg-0.1.21-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "ca4913ba06e3e9f4399974f47eac2111",
"sha256": "3a791e0fed1a0d7eab54f938eea99fe9e9e3b2d0ac2a8feac666e64958e84212"
},
"downloads": -1,
"filename": "agda-pkg-0.1.21.tar.gz",
"has_sig": false,
"md5_digest": "ca4913ba06e3e9f4399974f47eac2111",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 16308,
"upload_time": "2018-10-03T12:14:25",
"url": "https://files.pythonhosted.org/packages/d0/5e/ffd49b9f4865affa1f5a3f5622e7d8d5858393308c81e44eb2c70f65b503/agda-pkg-0.1.21.tar.gz"
}
],
"0.1.22": [
{
"comment_text": "",
"digests": {
"md5": "3b6d991fc8563122c78d2c51a079a752",
"sha256": "749049465d72f14ad7aed55013a301e7f15cf67594563725541dd1f879ea2d65"
},
"downloads": -1,
"filename": "agda_pkg-0.1.22-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "3b6d991fc8563122c78d2c51a079a752",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22970,
"upload_time": "2018-10-03T13:49:13",
"url": "https://files.pythonhosted.org/packages/74/06/291fd5d7c24b3903ccb98b407e27f929f46c8c4aec7ca1c62e1742339ff8/agda_pkg-0.1.22-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "7b7736bb6c06ff18fc63273f6ff55fd7",
"sha256": "fa2634a805e059175887a3d5b393bf5fd469f8deab5c09d3a8228a2c2feb5d01"
},
"downloads": -1,
"filename": "agda-pkg-0.1.22.tar.gz",
"has_sig": false,
"md5_digest": "7b7736bb6c06ff18fc63273f6ff55fd7",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 16576,
"upload_time": "2018-10-03T13:49:14",
"url": "https://files.pythonhosted.org/packages/b1/aa/a0118b66dac36148dd22cca060032c28d3fa9e3d9d89a955767bc67f52fa/agda-pkg-0.1.22.tar.gz"
}
],
"0.1.23": [
{
"comment_text": "",
"digests": {
"md5": "562ee6d81ab5f2b51b8c1962e785e40d",
"sha256": "24049227a69e1030a4ef02677c9b32a7c6d4993e46c714b523812f14b46cd64b"
},
"downloads": -1,
"filename": "agda_pkg-0.1.23-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "562ee6d81ab5f2b51b8c1962e785e40d",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 22972,
"upload_time": "2018-10-03T13:59:48",
"url": "https://files.pythonhosted.org/packages/2b/63/ad0dbb99a43f8fc3457f187f926b79339fa17158d9393b13f431c3471f25/agda_pkg-0.1.23-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "2c7c3e6787daa215c7e6e02009bb948a",
"sha256": "58972858af9ca8849535f19ee676e47cf4ebd375e3329fb409c4cc20ac24cb36"
},
"downloads": -1,
"filename": "agda-pkg-0.1.23.tar.gz",
"has_sig": false,
"md5_digest": "2c7c3e6787daa215c7e6e02009bb948a",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 16572,
"upload_time": "2018-10-03T13:59:50",
"url": "https://files.pythonhosted.org/packages/f7/a7/9fd8cdf86849a52a74a340450aa8d90158213181117164c38f8f2b5d9e93/agda-pkg-0.1.23.tar.gz"
}
],
"0.1.24": [
{
"comment_text": "",
"digests": {
"md5": "f51492176a428e48444596a985d209ff",
"sha256": "cbfdfc0340b321eddcfc327f6af77e62a365e1eceae8be01bd53cfef16dbd58a"
},
"downloads": -1,
"filename": "agda_pkg-0.1.24-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "f51492176a428e48444596a985d209ff",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 23957,
"upload_time": "2018-10-04T16:35:28",
"url": "https://files.pythonhosted.org/packages/ff/24/9a682d89d50308f2865e3317207e6c5d4b69a3ac08b89d439211b0edb08b/agda_pkg-0.1.24-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "ead7bcdb621b3cf12635241ab5ec3b54",
"sha256": "dc2215bd6ccef69420645ab43365ff00d12bbe009a7a21664bddef8fa6aee4f9"
},
"downloads": -1,
"filename": "agda-pkg-0.1.24.tar.gz",
"has_sig": false,
"md5_digest": "ead7bcdb621b3cf12635241ab5ec3b54",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 17190,
"upload_time": "2018-10-04T16:35:30",
"url": "https://files.pythonhosted.org/packages/36/87/1d26075b17da5e676c295f1d31bc081860924246bafb9c6b4ee1285269ca/agda-pkg-0.1.24.tar.gz"
}
],
"0.1.25": [
{
"comment_text": "",
"digests": {
"md5": "7234654f91398086c076222cdeab4e8a",
"sha256": "276964baeb4b79a4fc98dc5e3ca00031a96127aa2e5bc8a718946bcaa1c4f8bc"
},
"downloads": -1,
"filename": "agda_pkg-0.1.25-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "7234654f91398086c076222cdeab4e8a",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 24182,
"upload_time": "2018-10-05T10:10:19",
"url": "https://files.pythonhosted.org/packages/c2/d0/80c6bae4453aab21be94dcd71b01c46a5e32da32e670e4475769ac1ac48c/agda_pkg-0.1.25-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "d3bc4a2dc1bd06105244ef98e790cfba",
"sha256": "80070ee36644fd92bddb9a0e71f1a74401dced755546c8bc26713043d5383831"
},
"downloads": -1,
"filename": "agda-pkg-0.1.25.tar.gz",
"has_sig": false,
"md5_digest": "d3bc4a2dc1bd06105244ef98e790cfba",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 17454,
"upload_time": "2018-10-05T10:10:20",
"url": "https://files.pythonhosted.org/packages/49/d6/92ce44e9921e4e468ae8c1ecf128b329c6f95baeda1a1aca280765c60491/agda-pkg-0.1.25.tar.gz"
}
],
"0.1.26": [
{
"comment_text": "",
"digests": {
"md5": "6e5808833c21acfc25c19a052b685bdc",
"sha256": "ff1bc8e142cd3c5a523ff5e957a3a335d5e5ad386b4531e49687aba6f73403a1"
},
"downloads": -1,
"filename": "agda_pkg-0.1.26-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "6e5808833c21acfc25c19a052b685bdc",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 24363,
"upload_time": "2018-10-06T16:20:46",
"url": "https://files.pythonhosted.org/packages/60/ea/85c921da870b38387a25b10ca99b4ba8ad73106096884fb5da044fb44c34/agda_pkg-0.1.26-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "937c575b475f86c65c70aa2b5d1d29f1",
"sha256": "6b8c554beaf5e4293f95a818383fccbb5ff7ca068912b00455b05719524acb11"
},
"downloads": -1,
"filename": "agda-pkg-0.1.26.tar.gz",
"has_sig": false,
"md5_digest": "937c575b475f86c65c70aa2b5d1d29f1",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 17691,
"upload_time": "2018-10-06T16:20:48",
"url": "https://files.pythonhosted.org/packages/e3/d8/5e7571477c2e6386918970a35a338be5f26027255bc22488380dd23e10e4/agda-pkg-0.1.26.tar.gz"
}
],
"0.1.27": [
{
"comment_text": "",
"digests": {
"md5": "346b8718edddfce606ee53c6c6515ab9",
"sha256": "8d508086ffced7d3158f285f2b5bf8026e7629a1c58e6d268388a6cc835b8079"
},
"downloads": -1,
"filename": "agda_pkg-0.1.27-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "346b8718edddfce606ee53c6c6515ab9",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 24587,
"upload_time": "2018-10-06T18:59:41",
"url": "https://files.pythonhosted.org/packages/3c/d5/d2192a1ec7c75d3f16b1a33d0bc1b4be495a9dede1c6c464f5407d5a36fb/agda_pkg-0.1.27-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "9f0d236a15648e7506b5e600eb65b059",
"sha256": "97ca07bf74d1a327719000707efcf1ddf4e5a4ec6946387e3a075e80573c9826"
},
"downloads": -1,
"filename": "agda-pkg-0.1.27.tar.gz",
"has_sig": false,
"md5_digest": "9f0d236a15648e7506b5e600eb65b059",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 17923,
"upload_time": "2018-10-06T18:59:43",
"url": "https://files.pythonhosted.org/packages/8e/97/fa5753aa6150dbaa0a4576dd123f9de6e0db2c0196bd0fd90e88cac496e0/agda-pkg-0.1.27.tar.gz"
}
],
"0.1.28": [
{
"comment_text": "",
"digests": {
"md5": "8336506cb981b83dffe75647b0b0e7f6",
"sha256": "9115c34c4207e81029b8fac18fa5b0f972315664261365019bf3f644918ce91e"
},
"downloads": -1,
"filename": "agda_pkg-0.1.28-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "8336506cb981b83dffe75647b0b0e7f6",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 26504,
"upload_time": "2018-10-06T23:49:41",
"url": "https://files.pythonhosted.org/packages/9b/b9/92cc1625ce20ce742c989412afb63bfd0c9f767b2df576bb94ae23d034ce/agda_pkg-0.1.28-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "9a2ae34c724e0a089eb5c44b14eb711c",
"sha256": "535148a2ab8fc42985936beeb13c1198c3e4f4ef0120eee4f624766960e4f00d"
},
"downloads": -1,
"filename": "agda-pkg-0.1.28.tar.gz",
"has_sig": false,
"md5_digest": "9a2ae34c724e0a089eb5c44b14eb711c",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 19330,
"upload_time": "2018-10-06T23:49:42",
"url": "https://files.pythonhosted.org/packages/bd/00/744d234b9d605f27f060cb8380153b1d021f5e462aead5c1a205b160ab2b/agda-pkg-0.1.28.tar.gz"
}
],
"0.1.29": [
{
"comment_text": "",
"digests": {
"md5": "7553e10023e92d6b2fe44e4bd3efe4b0",
"sha256": "24ec10a76f9fbaa6bfa36eda4cc8b26a8b1e6ec45da9e9787fed2282517667fc"
},
"downloads": -1,
"filename": "agda_pkg-0.1.29-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "7553e10023e92d6b2fe44e4bd3efe4b0",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 26550,
"upload_time": "2018-10-07T00:07:42",
"url": "https://files.pythonhosted.org/packages/9b/c7/383357b9ec9a95bc116c66a2ecde7f4f76abf5955d2a861cae217610ad50/agda_pkg-0.1.29-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "4656da9e6cb7897520f6ece422b6191b",
"sha256": "3e6ea1d81f6567d32f8f82e74885c4a6ebc3845f4953600d268475732fc33f9c"
},
"downloads": -1,
"filename": "agda-pkg-0.1.29.tar.gz",
"has_sig": false,
"md5_digest": "4656da9e6cb7897520f6ece422b6191b",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 19372,
"upload_time": "2018-10-07T00:07:44",
"url": "https://files.pythonhosted.org/packages/d0/dd/fdf97f52384cf895dfba0d3258fdf5b0c540a2100db81f527f9141d06b2e/agda-pkg-0.1.29.tar.gz"
}
],
"0.1.30": [
{
"comment_text": "",
"digests": {
"md5": "b9c7f2e1658eeb2b9f0823f4127ecf95",
"sha256": "a4c9d54bf23282f65480a59f3a67a8ca8034238629eb45bd44cb2ccbf4d16b24"
},
"downloads": -1,
"filename": "agda_pkg-0.1.30-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "b9c7f2e1658eeb2b9f0823f4127ecf95",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 26558,
"upload_time": "2018-10-07T00:15:16",
"url": "https://files.pythonhosted.org/packages/dd/8e/1cfb2bc88254ec88a778ca3657c4aaedeee388a5a9600ebb6c621456d882/agda_pkg-0.1.30-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "f0eb45c6ab1a0e0c5f50e274529e3968",
"sha256": "ef81e4923721f64f7f50c317762776a35fd4270e583da3bb7d983598949582f5"
},
"downloads": -1,
"filename": "agda-pkg-0.1.30.tar.gz",
"has_sig": false,
"md5_digest": "f0eb45c6ab1a0e0c5f50e274529e3968",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 19384,
"upload_time": "2018-10-07T00:15:18",
"url": "https://files.pythonhosted.org/packages/64/ac/d5216768a1b8df39b1e5f165552db6beeb452c06ab1c5095441e38709c2f/agda-pkg-0.1.30.tar.gz"
}
],
"0.1.31": [
{
"comment_text": "",
"digests": {
"md5": "06a0763b713da21f9dcb1ad940eb4e4e",
"sha256": "adad0ba8e49d30fc077b8cc296a8533ec32faabf28caba7acae19afff15451f4"
},
"downloads": -1,
"filename": "agda_pkg-0.1.31-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "06a0763b713da21f9dcb1ad940eb4e4e",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 26556,
"upload_time": "2018-10-15T08:31:38",
"url": "https://files.pythonhosted.org/packages/53/96/f90579f4ad20c3c48a2db8f63c014a1ccda452607e9839348d169f42c792/agda_pkg-0.1.31-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "eaa8369b45f2fd5360242baed8b12f30",
"sha256": "d4e46b8fb864ef490d07b0eb402170f743b0f9fdc73e12f8b5cc837215441f89"
},
"downloads": -1,
"filename": "agda-pkg-0.1.31.tar.gz",
"has_sig": false,
"md5_digest": "eaa8369b45f2fd5360242baed8b12f30",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 19397,
"upload_time": "2018-10-15T08:31:39",
"url": "https://files.pythonhosted.org/packages/2e/08/a71d21ac38119c57c0378f6fa35356c7b09eff638b69d3963fdac93dc3e4/agda-pkg-0.1.31.tar.gz"
}
],
"0.1.32": [
{
"comment_text": "",
"digests": {
"md5": "41750a3273db071c0fa3cdef2d8f51a7",
"sha256": "1ccf84f3197b1419a2dcc5be3affa2ffb584ff3f0b5c5cc208e5e662a3d4b464"
},
"downloads": -1,
"filename": "agda_pkg-0.1.32-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "41750a3273db071c0fa3cdef2d8f51a7",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 27169,
"upload_time": "2018-10-20T12:34:46",
"url": "https://files.pythonhosted.org/packages/6f/d3/0da03507fc81e7faebf9e7f9917362025c4f25360adaf3e5f43b50bb5eae/agda_pkg-0.1.32-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "533dc0ce3078c74335ec2913b17cc7d2",
"sha256": "5e86db40c8f8672949cd4ca0746fb6301482e0921fc2ff16fd77c49d6a9ecf43"
},
"downloads": -1,
"filename": "agda-pkg-0.1.32.tar.gz",
"has_sig": false,
"md5_digest": "533dc0ce3078c74335ec2913b17cc7d2",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 19766,
"upload_time": "2018-10-20T12:34:49",
"url": "https://files.pythonhosted.org/packages/6e/b3/18bb060f9e2e15f13e4773e388efc2304ec88042062ffd1020c0c1d929a8/agda-pkg-0.1.32.tar.gz"
}
],
"0.1.33": [
{
"comment_text": "",
"digests": {
"md5": "9fa0320356d16b4a2a7adf1920a88ef5",
"sha256": "d81b6e3f87fefd8e1903fb8cfe2814098595d1ec0707e7ba70e567d657853bcb"
},
"downloads": -1,
"filename": "agda_pkg-0.1.33-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "9fa0320356d16b4a2a7adf1920a88ef5",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 27142,
"upload_time": "2018-10-20T12:55:15",
"url": "https://files.pythonhosted.org/packages/55/d6/e7017b984791510d5ba0823390f2fe42a620081acc1c1f54f4cf3ee72f47/agda_pkg-0.1.33-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "00b194933499a68e93c7f54f03371137",
"sha256": "5eb1365f73858a7abec79e8c7378bcb446f3ec06a140b703419ba350b1e86d2e"
},
"downloads": -1,
"filename": "agda-pkg-0.1.33.tar.gz",
"has_sig": false,
"md5_digest": "00b194933499a68e93c7f54f03371137",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 19749,
"upload_time": "2018-10-20T12:55:17",
"url": "https://files.pythonhosted.org/packages/6d/7c/b452e60954a001ca50449378371cf05cac5f49377560a9d32e6a9a2d9df0/agda-pkg-0.1.33.tar.gz"
}
],
"0.1.34": [
{
"comment_text": "",
"digests": {
"md5": "6e202b707e6c959d3172a72e683a5db1",
"sha256": "06f15d7dcc3e2db3def2238178cf879e1a6618bedd94ea97d61918e71a350898"
},
"downloads": -1,
"filename": "agda_pkg-0.1.34-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "6e202b707e6c959d3172a72e683a5db1",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 27132,
"upload_time": "2018-10-20T12:57:41",
"url": "https://files.pythonhosted.org/packages/74/3a/819778c798bf4562785c5ea3fb42536b07bd85ee8d6773b3bbeb90fe6ac4/agda_pkg-0.1.34-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "28966cf9626276ca1bb9b033fbeea851",
"sha256": "5dff6ed84b3edbbf8e0b3faf5a0405eee3a0d2a5bbee4f3d8c42c81581388da7"
},
"downloads": -1,
"filename": "agda-pkg-0.1.34.tar.gz",
"has_sig": false,
"md5_digest": "28966cf9626276ca1bb9b033fbeea851",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 19746,
"upload_time": "2018-10-20T12:57:43",
"url": "https://files.pythonhosted.org/packages/e6/ca/2151c7a8000195cb8dee497ed6c1216d305c65b78ccc149f86012240c080/agda-pkg-0.1.34.tar.gz"
}
],
"0.1.35": [
{
"comment_text": "",
"digests": {
"md5": "898714ab48ec57aff1225a713babeeb9",
"sha256": "ad86c2e7412327591a51f246aebbd22de63bf4008e08e339e7777f7f239e3689"
},
"downloads": -1,
"filename": "agda_pkg-0.1.35-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "898714ab48ec57aff1225a713babeeb9",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 27141,
"upload_time": "2018-10-20T13:22:17",
"url": "https://files.pythonhosted.org/packages/84/ec/e7efdca4705916c50a5ee34704af3a3abbf64f5f2f627aeed27bd0e72295/agda_pkg-0.1.35-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "e01446d16933de16347c3577d4cbe9ad",
"sha256": "a51208671ffe24836dec3fc5d2da4d062752e7abb81bc7c128a1582de9d4e0b1"
},
"downloads": -1,
"filename": "agda-pkg-0.1.35.tar.gz",
"has_sig": false,
"md5_digest": "e01446d16933de16347c3577d4cbe9ad",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 19754,
"upload_time": "2018-10-20T13:22:18",
"url": "https://files.pythonhosted.org/packages/47/70/e8a10a896210dc6c3fcfd1845f9634a5afd3d0404ab21f3a8ede7e2d290f/agda-pkg-0.1.35.tar.gz"
}
],
"0.1.36": [
{
"comment_text": "",
"digests": {
"md5": "6f5c291260e788f3a6a7a4eeb4c880f5",
"sha256": "9d0e3d1f929ff757aa73d61168b449c90873fcb8b301bf1a8a3d39fca3e5f76d"
},
"downloads": -1,
"filename": "agda_pkg-0.1.36-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "6f5c291260e788f3a6a7a4eeb4c880f5",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 27452,
"upload_time": "2018-10-20T14:18:02",
"url": "https://files.pythonhosted.org/packages/30/fc/9f4bdf218a1c95aabc9347504ba8807fe7df0ac75a25e05b1661cc9bfb4b/agda_pkg-0.1.36-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "38e23d91a58f3771f7ad574890ae3fd7",
"sha256": "9b3d1ee55104606abf29ef5603d012eac13419e091c2e48c000ca6de610e0f80"
},
"downloads": -1,
"filename": "agda-pkg-0.1.36.tar.gz",
"has_sig": false,
"md5_digest": "38e23d91a58f3771f7ad574890ae3fd7",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 20130,
"upload_time": "2018-10-20T14:18:04",
"url": "https://files.pythonhosted.org/packages/88/02/080e671a95e066a9c7442b111768541a64052f72862a31b5342dc5ad413e/agda-pkg-0.1.36.tar.gz"
}
],
"0.1.37": [
{
"comment_text": "",
"digests": {
"md5": "3b3971d74f422b25e28109eb6ce9b017",
"sha256": "43230214837f46733f26aea89c593af15a3a827872c659656b2d395ff668639b"
},
"downloads": -1,
"filename": "agda_pkg-0.1.37-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "3b3971d74f422b25e28109eb6ce9b017",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 27461,
"upload_time": "2018-10-20T14:24:02",
"url": "https://files.pythonhosted.org/packages/a7/41/4eeacde88db4b918d7c9711dea468a19be2f98a8045eb9682465dd1532a4/agda_pkg-0.1.37-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "6bb0be8df3f4ccc5718970bb3df27645",
"sha256": "c918144b61257aaa14ce4007247cd0a320f57240d9ce92b635231b78cf6190ea"
},
"downloads": -1,
"filename": "agda-pkg-0.1.37.tar.gz",
"has_sig": false,
"md5_digest": "6bb0be8df3f4ccc5718970bb3df27645",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 20138,
"upload_time": "2018-10-20T14:24:04",
"url": "https://files.pythonhosted.org/packages/a4/bb/e4db46c4d61022e5079a3987f5b34aafb2e58cda764fe44dfc165fe6b3bc/agda-pkg-0.1.37.tar.gz"
}
],
"0.1.38": [
{
"comment_text": "",
"digests": {
"md5": "a33a270898b05be21b87daec8f493b92",
"sha256": "166d4829e84402858eb19d2ec6e9dedb1de08cb52e673a1410fc08c7427a4de1"
},
"downloads": -1,
"filename": "agda_pkg-0.1.38-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "a33a270898b05be21b87daec8f493b92",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 27893,
"upload_time": "2018-10-20T14:37:21",
"url": "https://files.pythonhosted.org/packages/02/89/5a150d351290dc7a82be34b36b45b5d541b5aaffcef1a26c8dcd6865ba08/agda_pkg-0.1.38-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "b97f9463f41909745cfcfa76134db490",
"sha256": "80dbf4cc920538388fa164186e0fda27e92181bc58d1cb89425818e8161e682a"
},
"downloads": -1,
"filename": "agda-pkg-0.1.38.tar.gz",
"has_sig": false,
"md5_digest": "b97f9463f41909745cfcfa76134db490",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 20328,
"upload_time": "2018-10-20T14:37:22",
"url": "https://files.pythonhosted.org/packages/a8/9d/f786363c844bcc1aa6b39eab0a8e13f5ae0a39e3e483bbf8feb79aa6d629/agda-pkg-0.1.38.tar.gz"
}
],
"0.1.39": [
{
"comment_text": "",
"digests": {
"md5": "4f10236b5979c643e9a217e7fcee883d",
"sha256": "a0e24289d856f82f16acc75384fe45bfe47bb5fd9fbc619a599fbf886ff35d07"
},
"downloads": -1,
"filename": "agda_pkg-0.1.39-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "4f10236b5979c643e9a217e7fcee883d",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 28156,
"upload_time": "2019-01-24T18:46:56",
"url": "https://files.pythonhosted.org/packages/06/0b/b9f7194cbf21e28ee1a5589044f46803b567dda08025868d952ead519422/agda_pkg-0.1.39-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "bc9e1db58b4cea182cf39444834182b9",
"sha256": "6602416c346ccada1bbb45267f559d46677b89dbb27b33409b5b652e2b61c22c"
},
"downloads": -1,
"filename": "agda-pkg-0.1.39.tar.gz",
"has_sig": false,
"md5_digest": "bc9e1db58b4cea182cf39444834182b9",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 20718,
"upload_time": "2019-01-24T18:46:58",
"url": "https://files.pythonhosted.org/packages/4a/7a/f797155b0a9224a71a28d2b5ae2216e2883d873c59fcc9d12e99a83f022d/agda-pkg-0.1.39.tar.gz"
}
],
"0.1.40": [
{
"comment_text": "",
"digests": {
"md5": "55c924d8d7ae6c83aed7743aa066e563",
"sha256": "81273ea1d025e05d949f4df8dd1b05814f43c657ef09353f548c6c0657a78ac1"
},
"downloads": -1,
"filename": "agda_pkg-0.1.40-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "55c924d8d7ae6c83aed7743aa066e563",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 29116,
"upload_time": "2019-01-28T10:09:19",
"url": "https://files.pythonhosted.org/packages/6f/e2/3da106fe04a77d4ebdf8bca8622693c2d5a07dc2756c9ac35a1867333f03/agda_pkg-0.1.40-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "a18ac40fc5f1c1214920d331f3b71c6a",
"sha256": "3b0c89ac17be03ee5a37e8315eb8091c8df6663423487c49ae0aefdf79f230e9"
},
"downloads": -1,
"filename": "agda-pkg-0.1.40.tar.gz",
"has_sig": false,
"md5_digest": "a18ac40fc5f1c1214920d331f3b71c6a",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 20767,
"upload_time": "2019-01-28T10:09:21",
"url": "https://files.pythonhosted.org/packages/53/0f/b9f21eb2670751a707091e9a501bf28c5917b862acd7101fd548c5948cdc/agda-pkg-0.1.40.tar.gz"
}
],
"0.1.41": [
{
"comment_text": "",
"digests": {
"md5": "7ae30dabf07f2f4aa7556519a598d364",
"sha256": "3b8fa0b7feecd5ed909e1e85a75b73f968fde900701b4e6c6471b7cfc04b495d"
},
"downloads": -1,
"filename": "agda_pkg-0.1.41-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "7ae30dabf07f2f4aa7556519a598d364",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 30510,
"upload_time": "2019-02-25T16:03:11",
"url": "https://files.pythonhosted.org/packages/24/8f/5fde55590eae03c1b3d37d4b7c128ef746a6adf754a8a0364ffe5cb2c2fe/agda_pkg-0.1.41-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "b8c61c6b7fb453f4c34fdcadffda66be",
"sha256": "d3e058cfcab40d64f6b201155250e61ff32216781a3765f5375aaba6742fd482"
},
"downloads": -1,
"filename": "agda-pkg-0.1.41.tar.gz",
"has_sig": false,
"md5_digest": "b8c61c6b7fb453f4c34fdcadffda66be",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 21016,
"upload_time": "2019-02-25T16:03:13",
"url": "https://files.pythonhosted.org/packages/94/ec/100ed460026fa551873d476edc96f660279201f5cf1861682aaa6f0a8ad5/agda-pkg-0.1.41.tar.gz"
}
],
"0.1.42": [
{
"comment_text": "",
"digests": {
"md5": "b3f8f4fbca735bc5476414b05f5da99a",
"sha256": "57ce1dd47a2186e4829c5098f19ba841a5adebe147c5e2d5d44ced84d5172984"
},
"downloads": -1,
"filename": "agda_pkg-0.1.42-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "b3f8f4fbca735bc5476414b05f5da99a",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 30695,
"upload_time": "2019-04-16T14:00:24",
"url": "https://files.pythonhosted.org/packages/d6/b2/af58add6075dd6e58e4056b49f442686a1b2543598c714a85012c61997cd/agda_pkg-0.1.42-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "06441daeb2b4e97287d882c1939da128",
"sha256": "15277f14a5be9697dac7d1aeebaa08247b6eebb3eec17794020e4d0667ebe83d"
},
"downloads": -1,
"filename": "agda-pkg-0.1.42.tar.gz",
"has_sig": false,
"md5_digest": "06441daeb2b4e97287d882c1939da128",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 21320,
"upload_time": "2019-04-16T14:00:26",
"url": "https://files.pythonhosted.org/packages/33/37/e19400647b6e77733a20996953eb1ef9f68d390b277a35196c60bfc20e6e/agda-pkg-0.1.42.tar.gz"
}
],
"0.1.43": [
{
"comment_text": "",
"digests": {
"md5": "ea227793533651a9a55e65e358985df5",
"sha256": "fa90fca25f4da411d8a3d2ee89a932fccef24845a21c6a8feee3e72d5889af9f"
},
"downloads": -1,
"filename": "agda_pkg-0.1.43-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "ea227793533651a9a55e65e358985df5",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 30997,
"upload_time": "2019-06-21T12:24:56",
"url": "https://files.pythonhosted.org/packages/5e/95/4706390a75f292e1168f9a185e3a673b1fe3add03d5670382a75b006adc9/agda_pkg-0.1.43-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "7b1e72ff738e0721e31db2e71949f1ba",
"sha256": "ca1fc75d0f10ecd82ba6592279026796541370feaee2e557a70d9cb16a8233bf"
},
"downloads": -1,
"filename": "agda-pkg-0.1.43.tar.gz",
"has_sig": false,
"md5_digest": "7b1e72ff738e0721e31db2e71949f1ba",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 21610,
"upload_time": "2019-06-21T12:24:58",
"url": "https://files.pythonhosted.org/packages/07/09/cceaa7fe784c07a89254ff23f7899cf4b34ad3c917c599147b1c1894c480/agda-pkg-0.1.43.tar.gz"
}
],
"0.1.44": [
{
"comment_text": "",
"digests": {
"md5": "a4ef97b874182bc1379209e7aa89298e",
"sha256": "7e409a466c42f6739f5ce4ff61edb6f875ce184478b1e08763fc34a4404c3bea"
},
"downloads": -1,
"filename": "agda_pkg-0.1.44-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "a4ef97b874182bc1379209e7aa89298e",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 30535,
"upload_time": "2019-06-21T12:49:02",
"url": "https://files.pythonhosted.org/packages/2f/51/94fd1d94b55f11eab7ef427e4c5faeadce25174c131b13e942018e98504f/agda_pkg-0.1.44-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "055607d1170bf3ea54b99b737b6ed42b",
"sha256": "103159f30b059d822b0ef7ee22e4d9a5df046ab8dc0b40ceab50896a7684ac57"
},
"downloads": -1,
"filename": "agda-pkg-0.1.44.tar.gz",
"has_sig": false,
"md5_digest": "055607d1170bf3ea54b99b737b6ed42b",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 20929,
"upload_time": "2019-06-21T12:49:04",
"url": "https://files.pythonhosted.org/packages/d2/2d/e02eb65c52ff4d19f64a0227f1ce6173396725fda71d66e95f132f532d58/agda-pkg-0.1.44.tar.gz"
}
],
"0.1.45": [
{
"comment_text": "",
"digests": {
"md5": "2353ef0cdb64e0ad6ad07b13b7b0f798",
"sha256": "800dc6549ce7afa30c32a356ba0f8b0d2c1762c30cdd25251a5a6b9e7eda4212"
},
"downloads": -1,
"filename": "agda_pkg-0.1.45-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "2353ef0cdb64e0ad6ad07b13b7b0f798",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 30860,
"upload_time": "2019-06-30T19:07:59",
"url": "https://files.pythonhosted.org/packages/01/45/d58ddf89e81175358a50735faafd253c78c9b3beb14e3ec6208ba34d4aa8/agda_pkg-0.1.45-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "bb3660b1433800bad378b84bd7b302bc",
"sha256": "3e882f3f670436593a42a2deedf61936a6d91640e7c3cc698037d0d23c9cd8e7"
},
"downloads": -1,
"filename": "agda-pkg-0.1.45.tar.gz",
"has_sig": false,
"md5_digest": "bb3660b1433800bad378b84bd7b302bc",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 21255,
"upload_time": "2019-06-30T19:08:01",
"url": "https://files.pythonhosted.org/packages/64/2b/cb875a4214abf4302f85cbad26f8bb0785a6b36b195c9c7cbcb5677c1003/agda-pkg-0.1.45.tar.gz"
}
],
"0.1.46": [
{
"comment_text": "",
"digests": {
"md5": "b8f7821ccaa45d1adebb72117e72db64",
"sha256": "b196105a60a5a826c9b5dc070785cf1124e8276462eff8db13697872316a82d1"
},
"downloads": -1,
"filename": "agda_pkg-0.1.46-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "b8f7821ccaa45d1adebb72117e72db64",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 31095,
"upload_time": "2019-08-08T20:21:03",
"url": "https://files.pythonhosted.org/packages/b0/9a/5e2e9ac4ad11ad3dcaf092c282d3afd98aea62221cf1a6bc8a648815a014/agda_pkg-0.1.46-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "0d8335ccffd5a479aeda6e94f6a7a4dc",
"sha256": "cbb5bb02342300a224fde593161c317629cc1db743bc6996a69f86d09a9074ed"
},
"downloads": -1,
"filename": "agda-pkg-0.1.46.tar.gz",
"has_sig": false,
"md5_digest": "0d8335ccffd5a479aeda6e94f6a7a4dc",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 21522,
"upload_time": "2019-08-08T20:21:05",
"url": "https://files.pythonhosted.org/packages/68/af/ecef6ad3b7c9099f923cfcd9e1bdad2a65548b1271db2c0a88568cb0d6ad/agda-pkg-0.1.46.tar.gz"
}
],
"0.1.5": [
{
"comment_text": "",
"digests": {
"md5": "0b1907dfcc792c1b1bddc9b77b86ef1a",
"sha256": "ec1fc12f308900301abfd23aab9e62d7ab33fb51fb365079cd4d800b9b879800"
},
"downloads": -1,
"filename": "agda_pkg-0.1.5-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "0b1907dfcc792c1b1bddc9b77b86ef1a",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": null,
"size": 19312,
"upload_time": "2018-09-30T14:47:28",
"url": "https://files.pythonhosted.org/packages/fe/64/8802ac84c0f803ee7d6cc0392d0b75fa270a5dcac2ff3cca17697e17ee7c/agda_pkg-0.1.5-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "b4267a52c090b722ed49ff0d0921cedd",
"sha256": "d9657c9165419a70f97aaf7b761dc416af15aff8bcba21aa6cca5ad12b6fa378"
},
"downloads": -1,
"filename": "agda-pkg-0.1.5.tar.gz",
"has_sig": false,
"md5_digest": "b4267a52c090b722ed49ff0d0921cedd",
"packagetype": "sdist",
"python_version": "source",
"requires_python": null,
"size": 12639,
"upload_time": "2018-09-30T14:47:29",
"url": "https://files.pythonhosted.org/packages/ce/83/ae5ae08184adc0423dc43969c21b2136b74909d4dc267ef4f7be067895cd/agda-pkg-0.1.5.tar.gz"
}
],
"0.1.6": [
{
"comment_text": "",
"digests": {
"md5": "ea811516676348a3281edf0092740f01",
"sha256": "724c0097c9274c48f8a251f74336ed4eee4cf9205666277d7b4d2cfe32cd7368"
},
"downloads": -1,
"filename": "agda_pkg-0.1.6-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "ea811516676348a3281edf0092740f01",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 19345,
"upload_time": "2018-09-30T20:17:14",
"url": "https://files.pythonhosted.org/packages/59/98/20df3a0043678fd8770bd362a7e290d3e826d8c6d2cd5bd028149cac2ab5/agda_pkg-0.1.6-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "7abe1b9e3ced5efaef5d7cd8a8824855",
"sha256": "eea4d2928051596590c374cac70cf025e13b5f11090dc786408cf98af5797331"
},
"downloads": -1,
"filename": "agda-pkg-0.1.6.tar.gz",
"has_sig": false,
"md5_digest": "7abe1b9e3ced5efaef5d7cd8a8824855",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 12539,
"upload_time": "2018-09-30T20:17:15",
"url": "https://files.pythonhosted.org/packages/6a/c8/99d7aa42327d071f6516e404c78fa742b4ddc79a38bec72b9669e1ff9b56/agda-pkg-0.1.6.tar.gz"
}
],
"0.1.7": [
{
"comment_text": "",
"digests": {
"md5": "d42aad63d8668518236fb5d152586898",
"sha256": "f978997b7b6e9aa87be27b444a414f9ec203133935bd40b9fb13fbf3cf8275bf"
},
"downloads": -1,
"filename": "agda_pkg-0.1.7-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "d42aad63d8668518236fb5d152586898",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 19375,
"upload_time": "2018-09-30T20:46:18",
"url": "https://files.pythonhosted.org/packages/af/5f/cd8836390e02af1465fcf3982da6bd5fafecaf92ff9cd7dafc53da6893d2/agda_pkg-0.1.7-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "a4a99807683d7fc53eb04e10084bf71e",
"sha256": "da98a63ff92f78f26ade3bcbae76f8bdf937eb1931a46a72bb8fc1a1a4ffc91e"
},
"downloads": -1,
"filename": "agda-pkg-0.1.7.tar.gz",
"has_sig": false,
"md5_digest": "a4a99807683d7fc53eb04e10084bf71e",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 12568,
"upload_time": "2018-09-30T20:46:20",
"url": "https://files.pythonhosted.org/packages/9c/ed/b172d0432574a93e3ab13b6ffdcd97ff1b566052e6e6dec0e1d32c61650c/agda-pkg-0.1.7.tar.gz"
}
],
"0.1.8": [
{
"comment_text": "",
"digests": {
"md5": "72ff3c08f0dff146160db62feae2ee6c",
"sha256": "9260e0ac65e9ca8afe6b810fff79768d8b08162004e5034a17c828fe5cd4db04"
},
"downloads": -1,
"filename": "agda_pkg-0.1.8-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "72ff3c08f0dff146160db62feae2ee6c",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 19399,
"upload_time": "2018-09-30T20:51:46",
"url": "https://files.pythonhosted.org/packages/68/f8/e6f387921a6d16e464bd936c73abf4b59b2f2a7913754c61eb557084bf79/agda_pkg-0.1.8-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "9d2bbf556fa5fa00d18451c62bc58b8d",
"sha256": "3864e09e49e28a0de62daa9c85221361f166e1278003398edf800c49b995751e"
},
"downloads": -1,
"filename": "agda-pkg-0.1.8.tar.gz",
"has_sig": false,
"md5_digest": "9d2bbf556fa5fa00d18451c62bc58b8d",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 12570,
"upload_time": "2018-09-30T20:51:48",
"url": "https://files.pythonhosted.org/packages/e4/45/4b99a5446366c0d61594f0ef932c31c4b8f9976e0b1cbe17f575ad5e0a53/agda-pkg-0.1.8.tar.gz"
}
],
"0.1.9": [
{
"comment_text": "",
"digests": {
"md5": "723274df38e4f5c8a53cf9d2fd61717c",
"sha256": "54b95b0c1f35d61c6543d74a8fe70b3686048224ba7972ddc8eb43e42a0b9659"
},
"downloads": -1,
"filename": "agda_pkg-0.1.9-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "723274df38e4f5c8a53cf9d2fd61717c",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 20609,
"upload_time": "2018-09-30T22:17:43",
"url": "https://files.pythonhosted.org/packages/a4/99/e225274682264769e05f1eb432f13adf972b9620ae18b51bb4e3d9daac68/agda_pkg-0.1.9-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "1f803a73ac1df9cf4fa9d6ba66f15e97",
"sha256": "16231f77cdb5c6600d997269c3a434690a7586f2abaa8ba1e7afa3b6c4c67a34"
},
"downloads": -1,
"filename": "agda-pkg-0.1.9.tar.gz",
"has_sig": false,
"md5_digest": "1f803a73ac1df9cf4fa9d6ba66f15e97",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 13250,
"upload_time": "2018-09-30T22:17:45",
"url": "https://files.pythonhosted.org/packages/a9/7c/42497c09ca7a5124a05d5873719789d47cea466c2e75cc01c45a6c4c0169/agda-pkg-0.1.9.tar.gz"
}
]
},
"urls": [
{
"comment_text": "",
"digests": {
"md5": "b8f7821ccaa45d1adebb72117e72db64",
"sha256": "b196105a60a5a826c9b5dc070785cf1124e8276462eff8db13697872316a82d1"
},
"downloads": -1,
"filename": "agda_pkg-0.1.46-py2.py3-none-any.whl",
"has_sig": false,
"md5_digest": "b8f7821ccaa45d1adebb72117e72db64",
"packagetype": "bdist_wheel",
"python_version": "py2.py3",
"requires_python": ">=3.6.0",
"size": 31095,
"upload_time": "2019-08-08T20:21:03",
"url": "https://files.pythonhosted.org/packages/b0/9a/5e2e9ac4ad11ad3dcaf092c282d3afd98aea62221cf1a6bc8a648815a014/agda_pkg-0.1.46-py2.py3-none-any.whl"
},
{
"comment_text": "",
"digests": {
"md5": "0d8335ccffd5a479aeda6e94f6a7a4dc",
"sha256": "cbb5bb02342300a224fde593161c317629cc1db743bc6996a69f86d09a9074ed"
},
"downloads": -1,
"filename": "agda-pkg-0.1.46.tar.gz",
"has_sig": false,
"md5_digest": "0d8335ccffd5a479aeda6e94f6a7a4dc",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.6.0",
"size": 21522,
"upload_time": "2019-08-08T20:21:05",
"url": "https://files.pythonhosted.org/packages/68/af/ecef6ad3b7c9099f923cfcd9e1bdad2a65548b1271db2c0a88568cb0d6ad/agda-pkg-0.1.46.tar.gz"
}
]
}