lean-explore 0.1.2__py3-none-any.whl → 0.1.3__py3-none-any.whl

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (6) hide show
  1. {lean_explore-0.1.2.dist-info → lean_explore-0.1.3.dist-info}/METADATA +1 -1
  2. {lean_explore-0.1.2.dist-info → lean_explore-0.1.3.dist-info}/RECORD +6 -6
  3. {lean_explore-0.1.2.dist-info → lean_explore-0.1.3.dist-info}/WHEEL +0 -0
  4. {lean_explore-0.1.2.dist-info → lean_explore-0.1.3.dist-info}/entry_points.txt +0 -0
  5. {lean_explore-0.1.2.dist-info → lean_explore-0.1.3.dist-info}/licenses/LICENSE +0 -0
  6. {lean_explore-0.1.2.dist-info → lean_explore-0.1.3.dist-info}/top_level.txt +0 -0
{lean_explore-0.1.2.dist-info → lean_explore-0.1.3.dist-info}/METADATA RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: lean-explore
3
- Version: 0.1.2
3
+ Version: 0.1.3
4
4
  Summary: A project to explore and rank Lean mathematical declarations.
5
5
  Author-email: Justin Asher <justinchadwickasher@gmail.com>
6
6
  License: Apache License
{lean_explore-0.1.2.dist-info → lean_explore-0.1.3.dist-info}/RECORD RENAMED
@@ -18,9 +18,9 @@ lean_explore/shared/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ci
18
18
  lean_explore/shared/models/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
19
19
  lean_explore/shared/models/api.py,sha256=jejNDpgj-cu0KZTqkuOjM0useN4EvhvNB19lFFAOV94,4635
20
20
  lean_explore/shared/models/db.py,sha256=tJgct3xGwmvrT0GrsBwlbcz87WvTR1zk_lC9VeNbbUA,16948
21
- lean_explore-0.1.2.dist-info/licenses/LICENSE,sha256=l4QLw1kIvEOjUktmmKm4dycK1E249Qs2s2AQTYbMXpY,11354
22
- lean_explore-0.1.2.dist-info/METADATA,sha256=NpIGFtsVvtrvzQbTLBUTMe0LpL-MQsZkRoMm_Nbg4c0,15659
23
- lean_explore-0.1.2.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
24
- lean_explore-0.1.2.dist-info/entry_points.txt,sha256=JXl2Mo3BRX4jAU-Nxg_CWJR790pB_oi5qnt3Pv5iZnk,58
25
- lean_explore-0.1.2.dist-info/top_level.txt,sha256=h51BKWrFvB7iym-IlaNAAHX5MZfA8Gmg-aDuXGo0fQ8,13
26
- lean_explore-0.1.2.dist-info/RECORD,,
21
+ lean_explore-0.1.3.dist-info/licenses/LICENSE,sha256=l4QLw1kIvEOjUktmmKm4dycK1E249Qs2s2AQTYbMXpY,11354
22
+ lean_explore-0.1.3.dist-info/METADATA,sha256=KyF31p7CvkbGFckPT9Eg-rBl8BM2ftoizM17cKS5CFQ,15659
23
+ lean_explore-0.1.3.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
24
+ lean_explore-0.1.3.dist-info/entry_points.txt,sha256=JXl2Mo3BRX4jAU-Nxg_CWJR790pB_oi5qnt3Pv5iZnk,58
25
+ lean_explore-0.1.3.dist-info/top_level.txt,sha256=h51BKWrFvB7iym-IlaNAAHX5MZfA8Gmg-aDuXGo0fQ8,13
26
+ lean_explore-0.1.3.dist-info/RECORD,,