Sign in Sign up
pypi

agda-pkg

A package manager for Agda

pypi View on Pypi

Activity

Latest release
6y ago
Total releases
47
Cadence
~daily
Last 12 months
0

Details

License
MIT
First release
Sep 30, 2018
Releases
Version Released
0.1.51 patch
0.1.50 patch
0.1.49 patch
0.1.48 patch
0.1.47 patch
0.1.46 patch
0.1.45 patch
0.1.44 patch
0.1.43 patch
0.1.42 patch
0.1.41 patch
0.1.40 patch
0.1.39 patch
0.1.38 patch
0.1.37 patch
0.1.36 patch
0.1.35 patch
0.1.34 patch
0.1.33 patch
0.1.32 patch
0.1.31 patch
0.1.30 patch
0.1.29 patch
0.1.28 patch
0.1.27 patch
0.1.26 patch
0.1.25 patch
0.1.24 patch
0.1.23 patch
0.1.22 patch
0.1.21 patch
0.1.20 patch
0.1.19 patch
0.1.18 patch
0.1.17 patch
0.1.16 patch
0.1.15 patch
0.1.14 patch
0.1.13 patch
0.1.12 patch
0.1.11 patch
0.1.10 patch
0.1.9 patch
0.1.8 patch
0.1.7 patch
0.1.6 patch
0.1.5 initial