Metadata-Version: 2.1
Name: proofground-push-tasks
Version: 1.0.0
Summary: Proof ground push tasks tool
Home-page: https://github.com/wimmers/push-tasks
Author: Simon Wimmer
Author-email: wimmers@in.tum.de
Maintainer: Fabian Huch
Maintainer-email: huch@in.tum.de
License: MIT
Platform: UNKNOWN
Requires-Python: >=3.6
Requires-Dist: setuptools (~=49.1.3)
Requires-Dist: requests (~=2.24.0)
Requires-Dist: PyYAML (~=5.4.1)

UNKNOWN


