logic-and-learning-lab/Popper

Wrong pip version

Closed this issue · 2 comments

Timisorean commented

Hey! When installing Popper through pip and listing the version, it always gives me version 2.0.0:

Package          Version
---------------- --------
....
popper-ilp       2.0.0
...

Is this expected or should the pip version match the actual version 4.1.1. ?

Here the current setup.py:

....
setuptools.setup(
    name="popper-ilp",
    version="2.0.0",                        # Update this for every new version
    author="Andrew Cropper",
    author_email="andrew.cropper@cs.ox.ac.uk",
...
andrewcropper commented

Thanks, that is a mistake. I completely forgot about that pip package. Thanks for letting me know!

andrewcropper commented

That should be fixed now (in main branch). Thanks! I also deleted PyPI package as I do not maintain it.