nagini_contracts/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_contracts/adt.py,sha256=hHTezXBQtOmIxr3k91yKqs3vvFsCr5z6sPnvCDopQgs,1116
nagini_contracts/contracts.py,sha256=m3s1knpAJi0ulV013GNkTdTpIDGtoKCaGG_YCC8IAps,14213
nagini_contracts/importer.py,sha256=zO-yLPpYqCcy9n7DxAE5Ka1OMUJ4cg7xRBMTnOU4u6A,2566
nagini_contracts/io_builtins.py,sha256=XNg3qCpFCd7Ta_YQQ0Mm13jgNvMr0Ij1mbVxJCqziaA,5553
nagini_contracts/io_contracts.py,sha256=PIpclEJ7Ili1wvyv_zr5j3bW_2Hy6tvEZWIs0lLWlfQ,10775
nagini_contracts/lock.py,sha256=xq0B-GIVED8S7_OoEi1NLbMe8sn9J1j3GYk4C0Tg-_c,2675
nagini_contracts/obligations.py,sha256=VQjkJCXlFHdEZ6F200NJBEqy2eL9rigB4WJzXKIwjAk,1287
nagini_contracts/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
nagini_contracts/thread.py,sha256=RSb85sTSjU2oslWUzCpwOhv1VRaeoytioZL-FVqzzkM,3254
nagini_contracts/transformer.py,sha256=bT4AJjXv2VakS4kOgEzUBHs_ojn4sF_vydoEf4Q2l3Y,7704
nagini_translation/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/analyzer.py,sha256=w3-6i22YBb5qAPiY47bdeo8QX2HcXcGzSTV9m-6fZIU,71315
nagini_translation/analyzer_io.py,sha256=RpD_YJ7NuZQqs6ac0eYS4b6IMScpexUQBCkAf3l0YjQ,14060
nagini_translation/client.py,sha256=GZ30GG07pKEh3swNJHFMYRSLe1KEa4T069lzZGwNOaM,795
nagini_translation/conftest.py,sha256=4S99bHGgsTcH0QTBQdM4duSB7wWSIy1Htr3T_pZbQdk,11655
nagini_translation/main.py,sha256=QoJq8C5Odb0dWY1lNBnf8qxguoZfw0sNnVanh4qE2Dw,18966
nagini_translation/sif_translator.py,sha256=OEC7m1ESfoPQUSHXN_ku6dOOpGq90UrLeKTJV3c7s0I,3993
nagini_translation/tests.py,sha256=XCdh04Qib6Q3KbG0XrctisY6muPyh6elMIKtUgEUjbc,23703
nagini_translation/translator.py,sha256=2p4g2FYmPaYiw9iuCoooKj5uzmvqXiHLUH6wSumyxdE,7158
nagini_translation/verifier.py,sha256=bzRVlRIiYNCqAjYGTmno7lfTf1bS1-1RDDIUUiLtaDw,6696
nagini_translation/external/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/external/ast_util.py,sha256=DOX0psOszn20jD6YeQ2EoMR7b9Wwi7b2vABQmq_oCeA,12544
nagini_translation/lib/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/lib/config.py,sha256=G4KzpsaDYn5qEjXsCX1C5Jdm4GqHBiFD_9VdFQIEFm4,8467
nagini_translation/lib/constants.py,sha256=ZlzCjdjReFEnJOOmG6ICagnZuD3-eKZuOHGLWjzwhHA,7708
nagini_translation/lib/context.py,sha256=TZE1eCGkt2QrlX8oPZ0Sly40dtI9-NlMM7XumIxu_qw,7713
nagini_translation/lib/guard_collectors.py,sha256=zqIJhBR2LD3V5pKi_z4Cd05OMb06gJQSesDKKw704ZY,1832
nagini_translation/lib/io_checkers.py,sha256=fRlOBAM2Evmqh72wOqAAwc6SXcy_TVJiEZEJ9qG8mtw,3275
nagini_translation/lib/io_context.py,sha256=BRna0Mbc8zwauIgLcKFqGZ6SIloZm_AWSosdKFHBTKk,3167
nagini_translation/lib/jvmaccess.py,sha256=bIe9U5ZqZLPsblsR4w2SKJk2RO0bjXTyqwXClFtfeqE,1237
nagini_translation/lib/obligation_context.py,sha256=LmBl8uFHutWQ0zu1b9614CYUyq5TWIGuPlxv4QkyJ9g,1988
nagini_translation/lib/program_nodes.py,sha256=i5aj5qGNk_hL7cJwxIDes7ICqG5EqWdncX5wiDwq1dY,69370
nagini_translation/lib/resolver.py,sha256=Qv4ZBGUFfOH-9T8Mh98kLLO8lAQABHiiYwCHGz1NYjg,30662
nagini_translation/lib/typedefs.py,sha256=zMVZ0YobcD8XzuvSkHzrlmFeNSg3qzIiWextp6OfI5s,1042
nagini_translation/lib/typeinfo.py,sha256=NgAReDcFQSplis0G9NGIKTx-BDc5B9o4W3v3qIvLgVw,18276
nagini_translation/lib/util.py,sha256=Rd8N5Yv-4kThMb0XTBp4hL8gd0XJDnesNevL5dzeik0,13470
nagini_translation/lib/views.py,sha256=XFjyalbVqI6o7wvYvR4HAJI_XMxwwf4oxU37PCh48Uk,4533
nagini_translation/lib/viper_ast.py,sha256=VeLHTO3ouhv5IonXBCZ1sZasVP9fbiE7kEso9gNpwVg,23369
nagini_translation/lib/errors/__init__.py,sha256=l5aIMftgiRdzVg26rKAbOuKP0H-aPa1d9ykMFJrqbG0,510
nagini_translation/lib/errors/manager.py,sha256=FSuwX8qXOrv-ajO-OLwQpqjSyhb3OxIONC2_YNGL71g,5617
nagini_translation/lib/errors/messages.py,sha256=Q_ixv4os9RKc2Qw_BisCbvMNBRFirmqetInfo0OTffQ,10684
nagini_translation/lib/errors/rules.py,sha256=xIsIk0AoQas5DsY9sJTz_Hkc5vXUglAc1xCARVWpTo0,6129
nagini_translation/lib/errors/wrappers.py,sha256=haVFvWfpfZKD39uKaOuIDBamBc-2impAAWXaqJwQ16A,6878
nagini_translation/lib/silver_nodes/__init__.py,sha256=ycZmqP7PckHUryadRR5ZLt_xT32hmTUYk4An7enilTI,1106
nagini_translation/lib/silver_nodes/base.py,sha256=V3nopjQH1fQgt3W6jPzuiS_2bPvcLba50VGKvJLS3JM,1180
nagini_translation/lib/silver_nodes/bool_expr.py,sha256=LHGcdnKJPkSr0Rd3rWlIBZlzGw-GNdJGSAeE0xKFFWc,10295
nagini_translation/lib/silver_nodes/call.py,sha256=xaYJebpk0bGBP26WBTvfsx6owRXr_HdMqzausFXpxII,2387
nagini_translation/lib/silver_nodes/expression.py,sha256=G0qdKlLToqe3kv8SDkVJpjWHbQ2a8i-kbCe3bpCrLzE,1506
nagini_translation/lib/silver_nodes/int_cmp_expr.py,sha256=d9SX6c6QpKInI74RHdIOpVK9YigT-z9Lwl4iU2e6Gtk,3782
nagini_translation/lib/silver_nodes/int_expr.py,sha256=3amD9ilvVcgahdUfQBPseNDc3yfB7KAk5PXLKSavKRo,6642
nagini_translation/lib/silver_nodes/location_expr.py,sha256=SgxTFxEnvLdJM1EXb6oCV-02haFCZQUEXujP3Xuyb8s,2855
nagini_translation/lib/silver_nodes/perm_cmp_expr.py,sha256=M90xgmVDz_DJ37D-OUSV-6w8b0DmckpcFRI6a2UO_bA,2883
nagini_translation/lib/silver_nodes/perm_expr.py,sha256=0r3GMy2U1Tksv5Kiw1jGCgmUyRm4VmUPcOdWnQujtIY,4827
nagini_translation/lib/silver_nodes/program.py,sha256=EqGZ96tHpWK9g0lS44drV51x5X7gWXNeQSe-N6zndVk,1551
nagini_translation/lib/silver_nodes/reference_expr.py,sha256=GoGJHoxhvKWde9wv87lQH7sQ55dUCT8RMEnw1jBpZQg,2472
nagini_translation/lib/silver_nodes/statement.py,sha256=UIVgpmUbKwTN-x4i2OcQ5DiUwE671WpdSfxWBgTUlsI,3234
nagini_translation/lib/silver_nodes/types.py,sha256=7KfU_tOQ6_-JAAs6bQQIC9k5NGlWgTeiDJh73y0Q_iQ,4667
nagini_translation/models/__init__.py,sha256=12MtgyVcvyZ0nzMg14dxbmQZCJj6PpSrrHbSY8vhB6Y,231
nagini_translation/models/converter.py,sha256=dDDXEPzgZipP3MNl7dwmpIW-uDTB6m5dv7pY1IXg9zs,34245
nagini_translation/models/extractor.py,sha256=Oj9-K06L5GLtGOz-fnHvRSHq0W9zsztgeKovYYlrOt0,5077
nagini_translation/mypy_patches/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/mypy_patches/visitor.py,sha256=Qeka0tkNLy_jtefYI6UUsk1roQqZRfG1yXVdGteEnvk,9674
nagini_translation/resources/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/resources/all.sil,sha256=Pme8X9yExHiW_j-XEF2K-Ub19_JiBUG9UwZYOl1G-e4,851
nagini_translation/resources/bool.sil,sha256=EzBHqOKKih_v0ojGXYKIEYiwhdr-8PAnC7CYJy6NWhM,17720
nagini_translation/resources/builtins.json,sha256=waR67ZsqO4zrVqEzKS_DtV2QduUQST6DMc-1HsVSY30,30213
nagini_translation/resources/bytes.sil,sha256=_n2Lk_hUzUrCY46WtbS32P_Y6ucvIaOtiB7CoT5tK1U,4760
nagini_translation/resources/float.sil,sha256=h8_oCD6bpd9KeBrPZXlmy5JR_aCEkKb4hd7q91y2bSU,6100
nagini_translation/resources/float_ieee32.sil,sha256=eFuEFtYAOHk6y9E8lXS4KqdSuFI-YIj4QK84JTtslB0,7011
nagini_translation/resources/float_real.sil,sha256=6RntLCleOT76H3_WFHBxXf6PNRiyHGKyNRBqh7Tk33Q,26336
nagini_translation/resources/intbv.sil,sha256=i_brSddeQ159E5NY--GVJCkvuvHAFgVB1JGnTtSBA6k,850
nagini_translation/resources/iterator.sil,sha256=h8u-syToYxxP7X958KR9glTV0SM3T6wntDsysbqK7z8,3405
nagini_translation/resources/list.sil,sha256=lLn6xjg1WoxX2DXved4kJgtAqROWQ13m7n-dLzSkjT0,6672
nagini_translation/resources/lock.sil,sha256=16aqaHFMEdhFp6v1MTJGMUuzmnzl50uKNH0ESG4arPQ,288
nagini_translation/resources/measures.sil,sha256=0nG8NbSUPqtvPscyQE9Bi6HWuwgv9W1Kyk4cNXRSD9o,1171
nagini_translation/resources/name_domain.sil,sha256=3SPaV5WG7weWBew4DIUPNyEbo80ijMlX6hQLu0qsrMc,1873
nagini_translation/resources/pset.sil,sha256=QISRIYVZI5Ds3nw67c-LzwaGo_9ZLV4ccltLc9-rIuE,4986
nagini_translation/resources/pytype.sil,sha256=FHgRiSO0txDGawFyjRBgSCL3_vHptl5yzj-6GVae0aw,1650
nagini_translation/resources/range.sil,sha256=mBnwUDlqs-u2PalQy5sxKDDSarM2q-stDLAiSLg3dBY,3368
nagini_translation/resources/references.sil,sha256=NGSMMsItFmAgQI2DrNmAUHgMPhhg2NJwYPQF1ck5h9k,346
nagini_translation/resources/seq.sil,sha256=DR0JvsdRntr1LsqMpMYce7qz43ZlVoAjTvamex_4qTk,3811
nagini_translation/resources/set_dict.sil,sha256=2hI7CaLYrOJT9Rm3TUBC9IsUEZLeJTZ2_lt7A5_qLvs,7155
nagini_translation/resources/slice.sil,sha256=BnzH8vdz4g_WbjWdBECzv5EwdTmKaCcESlMON9pflUI,1452
nagini_translation/resources/str.sil,sha256=q0JOh_WuIhpnU2p60Pke_JC7mhnp7hv7gxPGfCHoN-8,1758
nagini_translation/resources/tuple.sil,sha256=TbHcYApwNLV5RIU1Cpw-c9zgP1Q-oc-3wbt9Y-1zsX0,12271
nagini_translation/resources/backends/carbon.jar,sha256=oehh5KvNMX-ZrGQAZ9CmfxWwweH8Q82DWjP770yhRuM,33701122
nagini_translation/resources/backends/silicon-sif-extension.jar,sha256=CD7dYyQ9kE1iBuFA80M7zvtfZWNuo6spwZNEk-WhOq0,23156
nagini_translation/resources/backends/silicon.jar,sha256=-N4Jn1RWUvcQzSXZARItw0egS8A1zpDGcd_sCDq59Fk,36149052
nagini_translation/resources/backends/silver-sif-extension.jar,sha256=9ZxfVtzyp8mJeLrQYBGNSD3VCCuOXDMLMmGpBrpmUbw,423510
nagini_translation/sif/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/sif/lib/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/sif/lib/util.py,sha256=5vf-_2I4VUFm80vlSibVyXLNIb0xQHosDxUXYvk8tHs,3465
nagini_translation/sif/lib/viper_ast_extended.py,sha256=GkGRUTaOTVEbnL0rET7LaFJLRTIEfyjjeFKLsoP36Jg,5961
nagini_translation/sif/resources/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/sif/resources/all.sil,sha256=Qxqh8kmbEB_Ql7RGDtVAtKEpMc0yYm2k2L-Iw7u1NwY,991
nagini_translation/sif/resources/builtins.json,sha256=XcOXvR6ZH_ISUY3t2AkDMm3aqW2R8GeXh4kvkCVhDAQ,30254
nagini_translation/sif/resources/references.sil,sha256=w4d7zpQ_jndia6_g8rK-vkODn1uEzye7U0mMiV1xHFE,337
nagini_translation/sif/translators/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/sif/translators/call.py,sha256=s4nG2VSfSg3irsvMzZ2GGBy-JPaW-RqKI1f0fsVfmwY,1246
nagini_translation/sif/translators/contract.py,sha256=9NnCQtXYAxpjE6TQaQQmM598trYn0txpaOlN9QQy0HM,5351
nagini_translation/sif/translators/expression.py,sha256=43Pv27OyK7W5ekqUvFtrao0R2m-MTJCglvTHYlxjD7M,1508
nagini_translation/sif/translators/method.py,sha256=z8vVIwcUJBYIzS_V_E8TjwllVWYkOuwkQZjtvxSMjm4,3604
nagini_translation/sif/translators/program.py,sha256=uj82wmvxbmFQbzILm9xYZvXm3KsjCgCkv1roY1FS5Ws,758
nagini_translation/sif/translators/statement.py,sha256=kQV7OxKpVmDV_st43lopyzve6QYV0ZDBImNOgmLgIMY,15097
nagini_translation/translators/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/translators/abstract.py,sha256=oPn3kGo-8rAqFA3SuBm7FL3ZBD2Dpo1Mvmk6Q5fw--0,17466
nagini_translation/translators/call.py,sha256=jLZKuDhsiTsfE2NROFiciRw8oxRcPqnZnz4DZEqTO-k,84132
nagini_translation/translators/common.py,sha256=g71u6OWP2bf2JwyoaOhlGe1dKnFAOZgipHOU7EHvF4k,43511
nagini_translation/translators/contract.py,sha256=6-b7qk6JpQgt3_38L9ij3GXJrl-JHh2d0gS9vowAIas,53477
nagini_translation/translators/expression.py,sha256=RBt6N9G87QQ-rk30FWbsXaYX7r3quIjx4VoEULjDf2k,66137
nagini_translation/translators/method.py,sha256=CYae2-xKgVknGBuvB15dI7ZcqpELKRSqT2v5yU3mDY8,48747
nagini_translation/translators/permission.py,sha256=ReijIKsu7zvUxjDx270o-06tEaEqmrbv4QLgcRWpyAM,8659
nagini_translation/translators/predicate.py,sha256=0UMmynMlWO7XR9kZqm_kdFhrNxsAoaxR_NN3Ze-T6SM,9905
nagini_translation/translators/program.py,sha256=RRgimBVjAFFRFnvJ8leY8BBWRNAJb-lUxO__rHlgo9o,77393
nagini_translation/translators/pure.py,sha256=hTWdyJqSotoXF5WZ20_M3RPBj_AYdhysOXHI3LDuT2E,13732
nagini_translation/translators/statement.py,sha256=XrvQufURVMt4gomOM8dwW0wjG7S_cW2Ao3R2Ij-E364,77956
nagini_translation/translators/type.py,sha256=jfqHAhomxz0DPgwYvr7vIoGkQAZnrVR6mJ6vu3wEEX0,3831
nagini_translation/translators/type_domain_factory.py,sha256=zmA23B-jKvGtHfBb9aa1bOcYIwkFL2GCr1VBClqnxFM,47399
nagini_translation/translators/io_operation/__init__.py,sha256=SJwKEfTtaDpv1NfqKauMOEaf6P0GudB3B4qw1s7mNh8,4885
nagini_translation/translators/io_operation/common.py,sha256=p_0lmygxRv2vMuPQycwxCjBx8C19KR7XGM1pRL5Czn4,3235
nagini_translation/translators/io_operation/definition.py,sha256=68ZJ8vduADxJyNhutnV738GyY2KOWEy4eHmbIGoewlk,7971
nagini_translation/translators/io_operation/interface.py,sha256=mpafgLNV_T23CBhTAQUGTuDUMRu5CjXJLQ5xffwf-88,3211
nagini_translation/translators/io_operation/opener.py,sha256=h11eXTEUjurtzh1RgeRc2aPZspBv9nl3jGoemBMneQU,8168
nagini_translation/translators/io_operation/result_translator.py,sha256=OimiVBjVRmOk7PaS_iNLeBGbeu4TL2Y4SpnbdEtAqmM,7461
nagini_translation/translators/io_operation/termination_check.py,sha256=1TElIJnkM-Z8OM9y1Y2XIgrpQNDWwaDtRVtOEZp5QzQ,7718
nagini_translation/translators/io_operation/use.py,sha256=FYop8AeFmg7OhfnHwcQDZ5imZbcqH5v1OWz8ZceDYbo,12411
nagini_translation/translators/io_operation/utils.py,sha256=5kRxZ4xFGTbpkw_EcdU3RXM9BqEKhVJSVJVTA9pLzKw,2619
nagini_translation/translators/obligation/__init__.py,sha256=6xXVyNqs54AHIa9BbBQrU40vVAXfC3_jb7ZPlnXarBs,370
nagini_translation/translators/obligation/common.py,sha256=oAtgjaXrPua-GzUHCcF6y_XAlHtZPaBVSodqeMf4Z3I,4461
nagini_translation/translators/obligation/fork.py,sha256=2MCI2SJL26jsdbSshoAUy5-VoVtisjt-saBA1DJ-048,11556
nagini_translation/translators/obligation/inexhale.py,sha256=pcvSfxImISzt-UFyTksYZGy3_FH6A7aNlq_EWNZrp0o,8539
nagini_translation/translators/obligation/interface.py,sha256=VNN0k9seqPReFwHI4ueiRyq-ShfRX7FheC_xK5a5Ols,11061
nagini_translation/translators/obligation/loop.py,sha256=BS_WYkb3i3u9mNHlKXK_09Y4ZU4qIuWYjxQnwY3jRIw,2630
nagini_translation/translators/obligation/loop_node.py,sha256=zlfcVCqZrHiJW5X1g-1vfsxCdxlGsQM2tYehdQTyb04,11161
nagini_translation/translators/obligation/manager.py,sha256=8RhvxaXshzGd_erF5slNLHGX_blH8KhABnq_KRWDYr4,3075
nagini_translation/translators/obligation/measures.py,sha256=s57MbNuEH7MVDMJHPn0BMYrEXAHckmAjVXefA69Yelo,3303
nagini_translation/translators/obligation/method.py,sha256=-bdtiLXvTtaFBWEDYTeDcjj8mRqXNR5Iq1L4G87U2bs,4600
nagini_translation/translators/obligation/method_call_node.py,sha256=84jN6rpeFV0dZ_YOLpUgp5w9gXdEg0v46ugJlE-8TuI,4273
nagini_translation/translators/obligation/method_node.py,sha256=m-LZsweQlWe0u2aZxEsf8N2eXrGaMit3Wqg_ZADk0CI,14193
nagini_translation/translators/obligation/node_constructor.py,sha256=hqBEEMTOsrlo6Ov3Y3UcWCh9s7jGu2cKqrl8bVHZfSE,5169
nagini_translation/translators/obligation/obligation_info.py,sha256=C9RtnK9ie-b8Rgg98ZCi9yHqJM1j_ZZTAnNYsyfDBp8,19627
nagini_translation/translators/obligation/utils.py,sha256=GoxZiAjwKpAfw1gztlYBXoIotufbnSnc2tsuukB4UFc,1645
nagini_translation/translators/obligation/waitlevel.py,sha256=h9BXAeUpvkFQV9d6e-0pGeHK_FOFo2V2i3KZX679lOY,8827
nagini_translation/translators/obligation/types/__init__.py,sha256=QRUzyHF-TvD29GMOB7gYvnAWeRMDjtufYGlmS7e6S9o,438
nagini_translation/translators/obligation/types/base.py,sha256=F0OnGoWlVg3GzR464mPN-sA4QriBrYnYDLbRBUjOZFU,5243
nagini_translation/translators/obligation/types/must_invoke.py,sha256=8xr2iHJ_PJaj4i4_FuGY41Fy1nhYh2kBqjBL6VVfzpI,3932
nagini_translation/translators/obligation/types/must_release.py,sha256=CS9_MtI_Uoipp_rEdpSIonh1i5Qu9HOxrzg3ZXylmt8,3250
nagini_translation/translators/obligation/types/must_terminate.py,sha256=c64kBCZHNAuVtD7DI9nvO7iNJwnqQOAuuqGLTL1HR8s,10782
nagini-1.1.0.dist-info/LICENSE.txt,sha256=HyVuytGSiAUQ6ErWBHTqt1iSGHhLmlC8fO7jTCuR8dU,16725
nagini-1.1.0.dist-info/METADATA,sha256=XqeQO2RECGxKGZgoT5EVpamOBiyxDVRVKwYRfeMjAKk,5981
nagini-1.1.0.dist-info/WHEEL,sha256=GV9aMThwP_4oNCtvEC2ec3qUYutgWeAzklro_0m4WJQ,91
nagini-1.1.0.dist-info/entry_points.txt,sha256=-hqQWIVYLvur1LAmeGvXP4-Ae9r-_-TGIJESlC2ku_k,103
nagini-1.1.0.dist-info/top_level.txt,sha256=DPm_IoHgncWTKcHdQunxbwj2nTx3_Z_QbBkbAqgiNzs,36
nagini-1.1.0.dist-info/RECORD,,
