nagini-1.2.0.dist-info/licenses/LICENSE.txt,sha256=HyVuytGSiAUQ6ErWBHTqt1iSGHhLmlC8fO7jTCuR8dU,16725
nagini_contracts/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_contracts/adt.py,sha256=hHTezXBQtOmIxr3k91yKqs3vvFsCr5z6sPnvCDopQgs,1116
nagini_contracts/contracts.py,sha256=8IhFbXa7YVD9NweS22juofpekx6Tkv9We8a2x25EmkQ,15174
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=70P9uq21ycCbGUCMlTRPYJX_5XqKC2uhzfuzJhrHLjg,75099
nagini_translation/analyzer_io.py,sha256=FGeA1gEcjsaTB8_md9dbEeOSrotgFSHtqCb-IxTYy2E,14108
nagini_translation/client.py,sha256=GZ30GG07pKEh3swNJHFMYRSLe1KEa4T069lzZGwNOaM,795
nagini_translation/conftest.py,sha256=e2oYHc_XrwMqlz7i9pzGQ1r2VH9y3DO1e6S-iInNQ7A,12260
nagini_translation/main.py,sha256=uInvUuA81XIbP19jg_xXY7dv9iJi7uTPOLAur2v4Hj4,19696
nagini_translation/sif_translator.py,sha256=OEC7m1ESfoPQUSHXN_ku6dOOpGq90UrLeKTJV3c7s0I,3993
nagini_translation/tests.py,sha256=Yc100PpCJ6MgUvHu3r0gGbqNkXr2rOmOuinckgyCzr0,23904
nagini_translation/translator.py,sha256=lQHFMfOHEV0_EDBi9nxSJVOpDbemclDMfotGBYOZc5U,6858
nagini_translation/verifier.py,sha256=MRCSUzKZ1nOKd96iwYaa4QAF6CYDewhqJHpE_LfG5So,6744
nagini_translation/wp.py,sha256=CGrLPQa8-tJ1GihuBzKT_CCofszTL9s3IvE3ijYCxdY,4123
nagini_translation/external/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/external/ast_util.py,sha256=hIvKHjOjTuzp_d1OOao7qOg5oO2xAF7rAovu1FXqz3w,12624
nagini_translation/lib/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/lib/config.py,sha256=uQvFrpWZVELjg8Frt7bwWICbUkWBAHyWV6XlLPlZ38c,9058
nagini_translation/lib/constants.py,sha256=v8N4D-ICFXQ0N9np9agpAkfueMDvn66mdp7jXmUDG08,7790
nagini_translation/lib/context.py,sha256=ahE8eIT4KH4zmK43MKVNkiJSMdNPzfrKEDhrI_G77Zs,7748
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=e8--l9cR0Uvpi-wuraROi3ZXgtGi30QC751HH-1YC4E,69462
nagini_translation/lib/resolver.py,sha256=T-GjkQWTPm9bfDA28n_WXv-Njx78djYZDDxKQxtlfG8,30891
nagini_translation/lib/typedefs.py,sha256=zMVZ0YobcD8XzuvSkHzrlmFeNSg3qzIiWextp6OfI5s,1042
nagini_translation/lib/typeinfo.py,sha256=GGh5rAt8DQ6zVLqWR3bfDUcCGP_C1WfY7norhPVyMoY,20428
nagini_translation/lib/util.py,sha256=UKvpZvKzle0PrrcNxI3ZITs7m-aILvX2ipuQT1o-xrs,14050
nagini_translation/lib/views.py,sha256=XFjyalbVqI6o7wvYvR4HAJI_XMxwwf4oxU37PCh48Uk,4533
nagini_translation/lib/viper_ast.py,sha256=pN6maYWT5814g04Sz9XX4U3WS2lv0xB_bI8AymE7bNg,23461
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=fVY6BKVP4kiz-ddQgCxXp6q31gDMQaTux-3mfDmJToo,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=NBCIwX3pcO_-S3LeZ35qgr0i6jCigD-xqeNvMQdCrwg,35179
nagini_translation/models/extractor.py,sha256=Gdh8oEkmehwqXuAgZaWWLGOQe5VduweGM_aP8G1spNM,5082
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=yMvH-WaLRd-bo0MpXbgCXiV4kXbABOASJ6qXsdFPJj4,18525
nagini_translation/resources/builtins.json,sha256=DiyUgraG0MfeEEnStNTMQ2Z4k7iVuq-xZ3KO7Dj4Qi8,22203
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=jCXXbImvHUI9pmkewBg_QwI4if8poAm1JCxY_9aqUvE,7028
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=SvWhd9XZ5qZ8Lza8J8D5BepjvE35UtqnbpQ9U9tmRiQ,6302
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=3ZQ3qKJDRAMl52StbvgkYRUZtMZdkNu4K3CkSpwYKog,1843
nagini_translation/resources/tuple.sil,sha256=XGqmvxAkezp7DBqKgK7gmJYtBVYE8tl5gfAoR1GoBZM,12322
nagini_translation/resources/backends/carbon.jar,sha256=gFZ-1INRul0c2HgLcxNcjh2J1z_Ie0PI6k8q9204V5k,34926986
nagini_translation/resources/backends/silicon-sif-extension.jar,sha256=0bSBZL2FlLKUljDtMwW-Pk9MRl9UOwcMkMrnizEyUGo,23487
nagini_translation/resources/backends/silicon.jar,sha256=vs4rwg9FefREASXGgK0AK6IEoZ-EYl4wQpB3YqtBJGE,37346073
nagini_translation/resources/backends/silver-sif-extension.jar,sha256=HDPOslmJSC_cSd9Db98x0DGmo7nYM0xblUrqa3NZ_dg,488638
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=OialUG_nJE0tWZ5IaE-aRQ5hN_uUqjqVp-qSzD8j3eI,6005
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=DCDwHvbLmVfamhZT0DpjIo0_gPyZmULvyJFSTA4oIl8,22016
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=esICHNuOL8cmPmbZ_qeiahzS_QHwB8RQ15xwzQZjkrM,3490
nagini_translation/sif/translators/program.py,sha256=uj82wmvxbmFQbzILm9xYZvXm3KsjCgCkv1roY1FS5Ws,758
nagini_translation/sif/translators/statement.py,sha256=aOeQs3YT-a_B_4PFqOXl9vjuZa7T1_u4pJyW2U2uriM,15098
nagini_translation/translators/__init__.py,sha256=PgPbSY-cmAb44ILafzdHo461pkSzXjeuy3rpcxXQ7yg,230
nagini_translation/translators/abstract.py,sha256=Y68aXVvR7I-CyfPwyOLDyu7pHso-ssg4hS6hnUPAHBI,17191
nagini_translation/translators/call.py,sha256=FeMSSwMk9bpH_tYO6wfts3wrlyZT3PPPuwNCgD2nKDI,85198
nagini_translation/translators/common.py,sha256=OutiJnQVXngBjb-J_Tse-Q7r8jz69-qdU3YJareU7Xw,43627
nagini_translation/translators/contract.py,sha256=X7Chtifgzw52lZqDvHj0GJlq36GuIDGvGXuF76cws3k,55048
nagini_translation/translators/expression.py,sha256=FuG4Ua_x8AwrEtVDu6WpH9xBhf87aXJb45avZy1di7c,67071
nagini_translation/translators/method.py,sha256=jvDYSX86ODLMi9huFUudTmycSS1K10dQRFXA4UYDKvI,49674
nagini_translation/translators/permission.py,sha256=ReijIKsu7zvUxjDx270o-06tEaEqmrbv4QLgcRWpyAM,8659
nagini_translation/translators/predicate.py,sha256=PuBgQlXHLHYPSDON6l-ai18fl__G9CZlxolUADk1ZjM,9910
nagini_translation/translators/program.py,sha256=rjQxuTa_tT0ZB5XkJqY853_C8nIXXFTX1uMREy8ZH7Y,75494
nagini_translation/translators/pure.py,sha256=j4LcVx_sBZgQ-z3RUuVd1DEaPtYdSAcd0SZl7U6Eqwk,18302
nagini_translation/translators/statement.py,sha256=udpUYTRP8o_F9M9h93xluYh_z6eV7GGHUh9fWdvpzBg,78133
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=yzzNzL43n61pwXGlx6sPXImOlTuPqy9t1HhZ9JrncJc,8120
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=5oxaOENaBkSR7-iZWwk0B9ojuUDaEcP0wSMmx0MnTq4,12404
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=sWIQLoj9O-eli-JmaOtlgza6UXpX2qu0c8oEcmI5nLc,11558
nagini_translation/translators/obligation/inexhale.py,sha256=hx5sMil3noVLjgp9D7HdprRlBnUy1V3r88Bfwq2YqyI,8540
nagini_translation/translators/obligation/interface.py,sha256=CoC-0mFF7XBLxhREoCqutOzfqmGZEF0IThw6SsC5XgA,11062
nagini_translation/translators/obligation/loop.py,sha256=dJOsS-0D4T0GmY0oULIvRxNZCJojGhhNPKTR5NnXR2U,2650
nagini_translation/translators/obligation/loop_node.py,sha256=jOCgOkEVC_sHJ5P4sJj6B45B2DpGZrN0W7Z9PdWmyxo,11162
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=1LtS-GKTTLau7z-brFgT1Lsw9_r_OFqIvwLRJO4wsjY,19657
nagini_translation/translators/obligation/utils.py,sha256=GoxZiAjwKpAfw1gztlYBXoIotufbnSnc2tsuukB4UFc,1645
nagini_translation/translators/obligation/waitlevel.py,sha256=m52jzY2-y1qllSdDgvxAQomIl0R7gdV66ywuy-ofO6A,8904
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.2.0.dist-info/METADATA,sha256=viwAcicLvD0N9lgYO0CfxDiPAGuaDptn9d2HOA21HW8,8818
nagini-1.2.0.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
nagini-1.2.0.dist-info/entry_points.txt,sha256=-hqQWIVYLvur1LAmeGvXP4-Ae9r-_-TGIJESlC2ku_k,103
nagini-1.2.0.dist-info/top_level.txt,sha256=DPm_IoHgncWTKcHdQunxbwj2nTx3_Z_QbBkbAqgiNzs,36
nagini-1.2.0.dist-info/RECORD,,
