agda_pkg-0.1.5.dist-info/METADATA,sha256=zelfZ8sk9k0Hnju6kRgOQYVyA5ap51tAuNT_x5iiq3s,4099
agda_pkg-0.1.5.dist-info/RECORD,,
agda_pkg-0.1.5.dist-info/WHEEL,sha256=gduuPyBvFJQSQ0zdyxF7k0zynDXbIbvg5ZBHoXum5uk,110
agda_pkg-0.1.5.dist-info/entry_points.txt,sha256=SFXhLjMQ1JAdTYUpFKtWh_RZpzzP15gY6fH0hkghtjs,83
agda_pkg-0.1.5.dist-info/top_level.txt,sha256=74rtVfumQlgAPzR5_2CgYN24MB0XARCg0t-gzk6gTrM,4
src/__init__.py,sha256=raoZnYBbxDrnhbQ6OjXXTeHawuHmozIxD8WlfOVYMdA,48
src/apkg.py,sha256=0X-YRQtY6dc5pVxH7pQka9tk1Vr99trJKpyQ3G5jgig,1151
src/config.py,sha256=NzYZO_d2SZUMx9Rkyt7ctS8rcqulrqNZc2MBe6rwtlE,2771
src/commands/__init__.py,sha256=OI1AyNxvcbF0RHY0XsO3vfWy3z_0d3qwKtk-zcxW6vU,78
src/commands/clean.py,sha256=0VB2tTnWjQaU7zsd2owB6eENLVgv7_f3Ph6Vxt_j1mA,796
src/commands/download.py,sha256=CEvLquhnk0x7saVRYF_deH81L3J1j6f_bDNkIS4SiSs,437
src/commands/freeze.py,sha256=QedV24kjBUpOM61fyiKL54-GHR5NYpQP7E9D0HvARvM,877
src/commands/info.py,sha256=L3qzGQ-Gzu-xcR5s_TXq7_C3yDblQF7HpB2kxG3rgiw,2074
src/commands/init.py,sha256=CxaC42JTVSOnZFy-KJ2VJQD2oIDcHtESuWYVED_wUxY,3556
src/commands/install.py,sha256=nygs2UpLLww-BAIfVFxAlN372ELrrQ7Q5WPMkUlm4hU,12141
src/commands/search.py,sha256=zaZZPizGrlsAEmAvaDUtkzCx2HRZk5wkSGg3za4e4gs,2161
src/commands/show.py,sha256=gVniH_iDNwB7vapaVpSxjX8OWR13QRSN_W2xkTwp_RI,196
src/commands/uninstall.py,sha256=790015Gg63ktBbE_sMTHGkzoGjjP8160cYQ4kNTlTOs,2569
src/commands/update.py,sha256=whDAVioEnKOVqL5RDN3r3C0bCEtI2HFNPPgmIqESM-M,275
src/commands/upgrade.py,sha256=Y3fvjbJHrax_89R16wlpBwr6pyfkhipMkK2W0pVaOGg,1192
src/service/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/service/database.py,sha256=eTZG0PXduRxU_LzmwDwmlVzMV5xQdeVJQqMWoyJ9W9I,9500
src/service/readLibFile.py,sha256=cG8agtGrO7RVrKtj9p7uyKsnHzzy3SIkKKLm3q2xvzk,2184
src/service/writeAgdaDirFiles.py,sha256=01t6hxAfXU6ugrBtc9FSt0x7seTIMuYyrRn3kOLk34E,2037
