agda_pkg-0.1.16.dist-info/METADATA,sha256=DHR7i2CPR8EPBgU8mMLwtRZsFU0mOZmGlTPO337zS-g,7443
agda_pkg-0.1.16.dist-info/RECORD,,
agda_pkg-0.1.16.dist-info/WHEEL,sha256=gduuPyBvFJQSQ0zdyxF7k0zynDXbIbvg5ZBHoXum5uk,110
agda_pkg-0.1.16.dist-info/entry_points.txt,sha256=SFXhLjMQ1JAdTYUpFKtWh_RZpzzP15gY6fH0hkghtjs,83
agda_pkg-0.1.16.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=bJuLWWdoxx0cgpy469SKH1t72VgAqYu0dPuFyqLjO8M,874
src/commands/info.py,sha256=FKfao5vN1YtsFuZQ8TU-vr4R6l8dTXomDZbkuAY_dTo,2129
src/commands/init.py,sha256=i3TEfMYVh3z5tuiUsQw7f9S-q-eAvvoqj1gRHMzhrYU,3812
src/commands/install.py,sha256=nZAPg9M1FmZ04pBGf5F4ScXv5UpaMssxu3622iAYxjE,17076
src/commands/list.py,sha256=cFYj93LGC5NlDM8-YFXIa9q3whje9TXRUGH58znCV0c,2574
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=6bZ4QR9HuFILLZYBfA4zMir-JZTtH_iFwpEkkw-_H8o,9507
src/service/readLibFile.py,sha256=D20mlNd0kcXDDzTYUcjvZPjbJB2Lan0EcU9ENgpIb5Q,2348
src/service/writeAgdaDirFiles.py,sha256=j9lj-J7gAT8Bw_8Dpqv93u-XMfP_BN0LCoQ-5mtT53g,2179
