sources - mywaaagh_admin/pypi/python-agda-pkg.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/sources

blob: 44c620cf267ee48f3e7cce10addb56219c5b0404 (plain)

1	`e8b30a4298c3232ff8e8c98c77139169 agda-pkg-0.1.51.tar.gz`