apkg/__init__.py,sha256=TFF1HNqviEdhEVwEfAov2b0QRBNgzWoPQ_C4rBOssxA,1498
apkg/__version__.py,sha256=eT7c5q_F9Y9NgzWjQAPLW6pY4Sdkm0hJ7EB9-7yp26s,54
apkg/apkg.py,sha256=jZm_8L4WHiyfwN_BM3xTt7zwZWTeP_YZGJ4MYvTqfUI,1343
apkg/config.py,sha256=KYyn5wXCT4X_5pFNATihhfiCopl19ik8gLZ-16JRJ9E,3199
apkg/commands/__init__.py,sha256=VQm-3xKBWXo2FFmTR9YiuxnF4mGHb9CXg41aN9U-CC0,54
apkg/commands/clean.py,sha256=AILxD5Cbmu1_eqfMnegmeF7cYpGlZl8erjrYtWoQtos,959
apkg/commands/create.py,sha256=yFTUYbPjgirgJf54wvDW6AimDJ8knUwzTgkPAcdAFac,5083
apkg/commands/environment.py,sha256=ZgxfD4G34a3UbBgfwFSnmQugIiroZq-UFoZwErbnFIs,2311
apkg/commands/freeze.py,sha256=LMQWz6zhWi-Iu_P7D0TWuPBrdQRXfMkB1oWglXRdULc,823
apkg/commands/info.py,sha256=S5dJlGwIdIQ-DDf2MzKrOiffwY3c01B0U_MiBxXHogY,1919
apkg/commands/init.py,sha256=7kJKC89paPSKT21-mrSrXlUnoo5lKYUtU02JeVPB0vQ,3976
apkg/commands/install.py,sha256=0UaOmLSZ_lOOEmim2h-_ThZTUEHC2YQoz0fuAh7U0d8,19435
apkg/commands/list.py,sha256=bxcAzqvx_jFQ723rzE45dCKCo70QXj0kfVSiP0Byy_U,3039
apkg/commands/nixos.py,sha256=eBeDW7ZYnf0o26sqY7GvdJCJTgHyvZrLRbHKTsy14KQ,1189
apkg/commands/search.py,sha256=LUnKQAziRvU3WdbywG2OHHwY7FC2xCXHotLnfhelEL8,2592
apkg/commands/uninstall.py,sha256=Jgd5aQLM4PDWDtbCLbj0MAP5irzr0cJ4c2HCe7tJ9TQ,4175
apkg/commands/update.py,sha256=5UN7FWMP-IevOFsovcWN7eFViDDbtgMjD5B5UTrFw1g,1456
apkg/commands/upgrade.py,sha256=IWCxXZn4zGqRZZHgDqVtzgU2R_y6DkA9f8GtBJFCNWc,805
apkg/commands/write_defaults.py,sha256=K_yHvYuIt9TGufCHMXMAF3LpbEHUE6wy6jn2s43fR8w,2574
apkg/commands/templates/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
apkg/commands/templates/gitignore.template,sha256=BujqBzwOk_IzPC4dI3toLFbJ0mx-jQc42Ac7wYdwadE,68
apkg/commands/templates/library.agda-lib,sha256=k-ZqYuv6itnW2yi0VtBHseWenMfoQB6_fLw2KObNEbo,208
apkg/commands/templates/library.agda-pkg,sha256=WNgU0fHSaNW8oqJq7ceNFLS8PD3lAu1vGV4ufF9xRps,1052
apkg/service/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
apkg/service/database.py,sha256=c6av6OcR4ox0d07m1bndiwfC1x7Ui1EJw_Rr-qzW1us,10671
apkg/service/logging.py,sha256=EavmZ8z2s5oegLY7tYYlEne5eYjhyyS7wgU_wURlsno,121
apkg/service/readLibFile.py,sha256=Ip81xiy7BbiLH-LEox44D2slXQeRkZNLF8HCMh9bKiw,2460
apkg/service/utils.py,sha256=uaAkOnyATAVMRP8dEtsI7oHkpKD85uvUe-N4KBI8dBI,1177
apkg/support/__init__.py,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
apkg/support/nixos/agda_requirements.txt,sha256=XEZOr8YMj2mQ98_GYLbOK7iZ3orxA6_T01EG3EFFRr8,23
apkg/support/nixos/deps.nix,sha256=JEAOPknIEVhp9RS3obmRB_qKdXRUpocI5VtmwWpY2I4,462
apkg/support/nixos/emacs.nix,sha256=LrQKb0X2tMW5HgxZ9gV75zc-yxVAKWNP-XWpidMA794,814
apkg/support/nixos/hello-world.agda,sha256=lxUQfmZ8l_f2vneTJCi7irO_1cte5UFwXgxKPDkNKB8,80
apkg/support/nixos/shell.nix,sha256=11KfwkAriJ9IhT6dvuRGp2kF-X9q06rCFvVsfZISCY4,1727
agda_pkg-0.1.51.dist-info/LICENSE,sha256=wYRrdt-Y-AX4w6kYlaqVQhAKg_vHeX4TIn82quLoBw8,1160
agda_pkg-0.1.51.dist-info/METADATA,sha256=a_soN3hH2HzeGICwAGkHlWPV0XLAdKH-dpY7YbS1Tj8,13385
agda_pkg-0.1.51.dist-info/WHEEL,sha256=8zNYZbwQSXoB9IfXOjPfeNwvAsALAjffgk27FqvCWbo,110
agda_pkg-0.1.51.dist-info/entry_points.txt,sha256=gx3-rkEAAAdmsgS4sJyqHKbyf20sf9oescHpe6QRWUY,85
agda_pkg-0.1.51.dist-info/top_level.txt,sha256=DgL0owF9EJWxCdBLJ7lJDZrDHUbgVk3t1d6_54fjE-k,5
agda_pkg-0.1.51.dist-info/RECORD,,
