agda_pkg-0.1.8.dist-info/METADATA,sha256=VE31KrfsEhtFEkB27ADNjwG6d76nn9M1k9DnDUkA2H0,3958
agda_pkg-0.1.8.dist-info/RECORD,,
agda_pkg-0.1.8.dist-info/WHEEL,sha256=gduuPyBvFJQSQ0zdyxF7k0zynDXbIbvg5ZBHoXum5uk,110
agda_pkg-0.1.8.dist-info/entry_points.txt,sha256=SFXhLjMQ1JAdTYUpFKtWh_RZpzzP15gY6fH0hkghtjs,83
agda_pkg-0.1.8.dist-info/top_level.txt,sha256=74rtVfumQlgAPzR5_2CgYN24MB0XARCg0t-gzk6gTrM,4
src/__init__.py,sha256=VK7fEitg3LISjWIjqKs2bbg4pCNzwRJO2wx8SaA3I2U,52
src/apkg.py,sha256=Rt3lJetZ3RD4UhakLYpq4niK_P3sCDkI1tBZLw7jUI4,1286
src/config.py,sha256=ZyA2TdKJu1VBVWY1bXI6DwvDqjt-VNIs7lJI-bC32PM,2992
src/commands/__init__.py,sha256=huABJtF6fi-FDlXGQUucflTTKQb-6QkS_gBCZI6MxSM,292
src/commands/clean.py,sha256=FBRGAaff7pdx0js6F6BVJbCA9wGhn3PooQ0ubRA9YeQ,802
src/commands/download.py,sha256=h-z17hjkaYBeoGJRY4tl49JlDEVS6GmlgburhnMD138,600
src/commands/freeze.py,sha256=PIxrtQCoucuvHNzy3rMwtdV3xH85XT9arlDjx4yr3XE,857
src/commands/info.py,sha256=kliUWXzUBbA_UcmdbdPiKymhgPJvv77t2mbIdBpZ9gk,2093
src/commands/init.py,sha256=w0MPxEuPP8SFLckOGQj2Tj2wHns56yiZFBWa8GL5uJI,3562
src/commands/install.py,sha256=FDYKYsjDoJlNvEmyJg5VmhaYPFYwKTiMj1m2gzLWZ-o,12181
src/commands/search.py,sha256=vASiQF9pikiQsF6ExwhD00fdWvBa5U6ckNbdLkOQxF4,2325
src/commands/uninstall.py,sha256=LCUL9r9ijBpAo--cDYjxZy4vjfinHSHplk7oQ8ecIK0,2577
src/commands/update.py,sha256=HhYO-Wlynni3-DU0IofUkjaGRO0s6ysEoMEDrSP7Rl8,438
src/commands/upgrade.py,sha256=GZRLJuLWLxu7w0V5ueidRh_OL8_Gck_xjheaml9bGTQ,1198
src/service/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
src/service/database.py,sha256=3zIU2qXbi5ZA08kwxCwCiKqltiu4n3Kd_FSOmK_VEcc,9491
src/service/readLibFile.py,sha256=D20mlNd0kcXDDzTYUcjvZPjbJB2Lan0EcU9ENgpIb5Q,2348
src/service/writeAgdaDirFiles.py,sha256=pTCWyEy3PiH0HIhHbsEkOhhWzmAH3y7H6ny-34lr8hU,2171
