agda_pkg-0.1.14.dist-info/METADATA,sha256=9lMOADmmNb0H7DUjDJFOLFLq-EIAakCtYkygXHdxGrg,7009
agda_pkg-0.1.14.dist-info/RECORD,,
agda_pkg-0.1.14.dist-info/WHEEL,sha256=gduuPyBvFJQSQ0zdyxF7k0zynDXbIbvg5ZBHoXum5uk,110
agda_pkg-0.1.14.dist-info/entry_points.txt,sha256=SFXhLjMQ1JAdTYUpFKtWh_RZpzzP15gY6fH0hkghtjs,83
agda_pkg-0.1.14.dist-info/top_level.txt,sha256=74rtVfumQlgAPzR5_2CgYN24MB0XARCg0t-gzk6gTrM,4
src/__init__.py,sha256=VK7fEitg3LISjWIjqKs2bbg4pCNzwRJO2wx8SaA3I2U,52
src/apkg.py,sha256=OXF-bSOhyd_GSBUwg2k4__JxY8FE-fZBO4NCPjtm38I,1340
src/config.py,sha256=89u1zjsdKHVpVOIpnV1reQDhZooHEq0VKcXYdXaxahM,2528
src/commands/__init__.py,sha256=huABJtF6fi-FDlXGQUucflTTKQb-6QkS_gBCZI6MxSM,292
src/commands/clean.py,sha256=ggFbg9rwabPBcqc9E4yY5rv6Mjx--49_S9sygm3LhaY,804
src/commands/freeze.py,sha256=Mxi1OhtZkzLFU8gMG4Gc1f1aKVAlptOw4NnH0R7AWiM,875
src/commands/info.py,sha256=FKfao5vN1YtsFuZQ8TU-vr4R6l8dTXomDZbkuAY_dTo,2129
src/commands/init.py,sha256=n03e__O7maEIOcUnP8dALdzHdDrqCITdgJvvvJWnOtY,3971
src/commands/install.py,sha256=exAX7E6FQ-fknByachYjpKYHAcRIyrnGi6eIu-dMprU,16660
src/commands/list.py,sha256=v9PNjvYZvZRPMAlN3E98YcErNGRAFD7TBiWImOQhVVI,2417
src/commands/search.py,sha256=r9pvsV6laISuhVaVm1t5By2cDKy0CscSrrwd9a9VZXI,2441
src/commands/uninstall.py,sha256=_SLN4mX1WM9yLViVhSijx3dLI2S92vLuA-SL8sFQpdc,2683
src/commands/update.py,sha256=HhYO-Wlynni3-DU0IofUkjaGRO0s6ysEoMEDrSP7Rl8,438
src/commands/upgrade.py,sha256=U_1GvkRe3_qlrfSgKbyWtknKPEWPQrDpTlUkVhvXzOw,726
src/service/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/service/database.py,sha256=sRX3olG-s9EPVg7m25X5OB9gMyOmEkhK60iaEneMggM,9494
src/service/readLibFile.py,sha256=D20mlNd0kcXDDzTYUcjvZPjbJB2Lan0EcU9ENgpIb5Q,2348
src/service/writeAgdaDirFiles.py,sha256=j9lj-J7gAT8Bw_8Dpqv93u-XMfP_BN0LCoQ-5mtT53g,2179
