lean-explore 0.2.1__py3-none-any.whl → 0.2.2__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.2.1.dist-info → lean_explore-0.2.2.dist-info}/METADATA +2 -4
  2. {lean_explore-0.2.1.dist-info → lean_explore-0.2.2.dist-info}/RECORD +6 -6
  3. {lean_explore-0.2.1.dist-info → lean_explore-0.2.2.dist-info}/WHEEL +0 -0
  4. {lean_explore-0.2.1.dist-info → lean_explore-0.2.2.dist-info}/entry_points.txt +0 -0
  5. {lean_explore-0.2.1.dist-info → lean_explore-0.2.2.dist-info}/licenses/LICENSE +0 -0
  6. {lean_explore-0.2.1.dist-info → lean_explore-0.2.2.dist-info}/top_level.txt +0 -0
{lean_explore-0.2.1.dist-info → lean_explore-0.2.2.dist-info}/METADATA RENAMED
@@ -1,6 +1,6 @@
1
1
  Metadata-Version: 2.4
2
2
  Name: lean-explore
3
- Version: 0.2.1
3
+ Version: 0.2.2
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
@@ -213,15 +213,13 @@ Classifier: Intended Audience :: Developers
213
213
  Classifier: Intended Audience :: Science/Research
214
214
  Classifier: License :: OSI Approved :: Apache Software License
215
215
  Classifier: Programming Language :: Python :: 3
216
- Classifier: Programming Language :: Python :: 3.8
217
- Classifier: Programming Language :: Python :: 3.9
218
216
  Classifier: Programming Language :: Python :: 3.10
219
217
  Classifier: Programming Language :: Python :: 3.11
220
218
  Classifier: Programming Language :: Python :: 3.12
221
219
  Classifier: Topic :: Software Development :: Libraries :: Python Modules
222
220
  Classifier: Topic :: Scientific/Engineering :: Mathematics
223
221
  Classifier: Topic :: Text Processing :: Indexing
224
- Requires-Python: >=3.8
222
+ Requires-Python: >=3.10
225
223
  Description-Content-Type: text/markdown
226
224
  License-File: LICENSE
227
225
  Requires-Dist: sqlalchemy>=2.0
{lean_explore-0.2.1.dist-info → lean_explore-0.2.2.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=JYfIBnPrHZO2j7gHAVMlw9WSqVC2NinCG5KuBzdQWyk,16099
21
- lean_explore-0.2.1.dist-info/licenses/LICENSE,sha256=l4QLw1kIvEOjUktmmKm4dycK1E249Qs2s2AQTYbMXpY,11354
22
- lean_explore-0.2.1.dist-info/METADATA,sha256=5EWx5NniczmS6ApKVvoHj1RfgNC6eO9JgOIyZyNA1SY,15611
23
- lean_explore-0.2.1.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
24
- lean_explore-0.2.1.dist-info/entry_points.txt,sha256=JXl2Mo3BRX4jAU-Nxg_CWJR790pB_oi5qnt3Pv5iZnk,58
25
- lean_explore-0.2.1.dist-info/top_level.txt,sha256=h51BKWrFvB7iym-IlaNAAHX5MZfA8Gmg-aDuXGo0fQ8,13
26
- lean_explore-0.2.1.dist-info/RECORD,,
21
+ lean_explore-0.2.2.dist-info/licenses/LICENSE,sha256=l4QLw1kIvEOjUktmmKm4dycK1E249Qs2s2AQTYbMXpY,11354
22
+ lean_explore-0.2.2.dist-info/METADATA,sha256=SlZZqUVDTwZmx_LftmAb3yobtTbZMvFfeTQYB1Hnuvs,15512
23
+ lean_explore-0.2.2.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
24
+ lean_explore-0.2.2.dist-info/entry_points.txt,sha256=JXl2Mo3BRX4jAU-Nxg_CWJR790pB_oi5qnt3Pv5iZnk,58
25
+ lean_explore-0.2.2.dist-info/top_level.txt,sha256=h51BKWrFvB7iym-IlaNAAHX5MZfA8Gmg-aDuXGo0fQ8,13
26
+ lean_explore-0.2.2.dist-info/RECORD,,