search

jayvdb / pypidb

PyPI client side database with SCM/VCS URLs
Apache License 2.0
13 stars 3 forks source link

pysmt return wrong result #106

Closed jayvdb closed 4 years ago

jayvdb commented 4 years ago

https://github.com/SRI-CSL/yices2

https://ci.appveyor.com/project/jayvdb/pypidb/builds/32286377?fullLog=true

INFO     pypidb._pypi:_pypi.py:450 r http://www.pysmt.org
INFO     pypidb._adapters:_adapters.py:268 head failed for http://www.pysmt.org/: ReadTimeout(ReadTimeoutError("HTTPConnectionPool(host='www.pysmt.org', port=80): Read timed out. (read timeout=5)"))
INFO     https_everywhere.adapter:adapter.py:113 adapter redirecting http://www.pysmt.org/ to https://www.pysmt.org/
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
WARNING  pypidb._pypi:_pypi.py:462 http://www.pysmt.org: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E8701EA790>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
INFO     pypidb._pypi:_pypi.py:364 PySMT: from description added urls []
INFO     pypidb._pypi:_pypi.py:450 r http://fmv.jku.at/picosat/
INFO     https_everywhere.adapter:adapter.py:113 adapter redirecting http://fmv.jku.at/picosat/ to https://fmv.jku.at/picosat/
WARNING  urllib3.connection:connection.py:408 Certificate did not match expected hostname: fmv.jku.at. Certificate: {'subject': ((('commonName', 's05zid04-web.zid.jku.at'),),), 'subjectAltName': [('DNS', 's05zid04-web.zid.jku.at'), ('DNS', 'www.zid.jku.at'), ('DNS', 'www.wipaed.uni-linz.ac.at'), ('DNS', 'www.kuwi.uni-linz.ac.at'), ('DNS', 'www.ipg.uni-linz.ac.at'), ('DNS', 'www.ikl.jku.at'), ('DNS', 'www.elearning.jku.at'), ('DNS', 'www.centrolatino.jku.at'), ('DNS', 'www.bib.jku.at'), ('DNS', 'www.fernstudien.jku.at'), ('DNS', 'verleih.im.jku.at'), ('DNS', 'ubook.im.jku.at'), ('DNS', 'secure.econ.jku.at'), ('DNS', 's05zid04.im.jku.at'), ('DNS', 'personalmanagement.jku.at'), ('DNS', 'paedpsych.jku.at'), ('DNS', 'kamera.zid.jku.at'), ('DNS', 'auktion.jku.at'), ('DNS', 'netstorage.jku.at'), ('DNS', 'social.jku.at'), ('DNS', 'thesis.jku.at'), ('DNS', 'gate.jku.at'), ('DNS', 'www.gate.jku.at'), ('DNS', 'fbtabs.ham.jku.at'), ('DNS', 'download.ham.jku.at'), ('DNS', 'referral.jku.at'), ('DNS', 'www.labornrn.at'), ('DNS', 'gel-sys.eu'), ('DNS', 'www.gel-sys.eu')]}
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
WARNING  pypidb._pypi:_pypi.py:462 http://fmv.jku.at/picosat/: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /picosat/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
INFO     pypidb._pypi:_pypi.py:450 r http://www.pysmt.org
INFO     pypidb._adapters:_adapters.py:268 head failed for http://www.pysmt.org/: ReadTimeout(ReadTimeoutError("HTTPConnectionPool(host='www.pysmt.org', port=80): Read timed out. (read timeout=5)"))
INFO     https_everywhere.adapter:adapter.py:113 adapter redirecting http://www.pysmt.org/ to https://www.pysmt.org/
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.ConnectTimeout: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
WARNING  pypidb._pypi:_pypi.py:462 http://www.pysmt.org: HTTPSConnectionPool(host='www.pysmt.org', port=443): Max retries exceeded with url: / (Caused by ConnectTimeoutError(<urllib3.connection.HTTPSConnection object at 0x000000E86E31D220>, 'Connection to www.pysmt.org timed out. (connect timeout=15)'))
INFO     pypidb._pypi:_pypi.py:450 r http://yices.csl.sri.com/
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://yices.csl.sri.com/ with http://yices.csl.sri.com/: {'Date': 'Sun, 19 Apr 2020 14:51:17 GMT', 'Server': 'Apache/2.4.18 (Ubuntu)', 'Location': 'https://yices.csl.sri.com/', 'Keep-Alive': 'timeout=5, max=100', 'Connection': 'Keep-Alive', 'Content-Type': 'text/html; charset=iso-8859-1'}
INFO     pypidb._pypi:_pypi.py:450 r http://cvc4.cs.nyu.edu/web/
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://cvc4.cs.nyu.edu/web/ with http://cvc4.cs.nyu.edu/web/: {'Content-length': '0', 'Location': 'https://cvc4.cs.nyu.edu/web/', 'Connection': 'close'}
WARNING  urllib3.connection:connection.py:408 Certificate did not match expected hostname: cvc4.cs.nyu.edu. Certificate: {'subject': ((('commonName', 'cs.nyu.edu'),),), 'subjectAltName': [('DNS', 'cs.nyu.edu'), ('DNS', 'www.cs.nyu.edu')]}
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
WARNING  pypidb._pypi:_pypi.py:462 http://cvc4.cs.nyu.edu/web/: HTTPSConnectionPool(host='cvc4.cs.nyu.edu', port=443): Max retries exceeded with url: /web/ (Caused by SSLError(SSLCertVerificationError("hostname 'cvc4.cs.nyu.edu' doesn't match either of 'cs.nyu.edu', 'www.cs.nyu.edu'")))
INFO     pypidb._pypi:_pypi.py:450 r http://fmv.jku.at/boolector/
INFO     https_everywhere.adapter:adapter.py:113 adapter redirecting http://fmv.jku.at/boolector/ to https://fmv.jku.at/boolector/
WARNING  urllib3.connection:connection.py:408 Certificate did not match expected hostname: fmv.jku.at. Certificate: {'subject': ((('commonName', 's05zid04-web.zid.jku.at'),),), 'subjectAltName': [('DNS', 's05zid04-web.zid.jku.at'), ('DNS', 'www.zid.jku.at'), ('DNS', 'www.wipaed.uni-linz.ac.at'), ('DNS', 'www.kuwi.uni-linz.ac.at'), ('DNS', 'www.ipg.uni-linz.ac.at'), ('DNS', 'www.ikl.jku.at'), ('DNS', 'www.elearning.jku.at'), ('DNS', 'www.centrolatino.jku.at'), ('DNS', 'www.bib.jku.at'), ('DNS', 'www.fernstudien.jku.at'), ('DNS', 'verleih.im.jku.at'), ('DNS', 'ubook.im.jku.at'), ('DNS', 'secure.econ.jku.at'), ('DNS', 's05zid04.im.jku.at'), ('DNS', 'personalmanagement.jku.at'), ('DNS', 'paedpsych.jku.at'), ('DNS', 'kamera.zid.jku.at'), ('DNS', 'auktion.jku.at'), ('DNS', 'netstorage.jku.at'), ('DNS', 'social.jku.at'), ('DNS', 'thesis.jku.at'), ('DNS', 'gate.jku.at'), ('DNS', 'www.gate.jku.at'), ('DNS', 'fbtabs.ham.jku.at'), ('DNS', 'download.ham.jku.at'), ('DNS', 'referral.jku.at'), ('DNS', 'www.labornrn.at'), ('DNS', 'gel-sys.eu'), ('DNS', 'www.gel-sys.eu')]}
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
ERROR    https_everywhere.adapter:adapter.py:124 handle_error requests.exceptions.SSLError: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
WARNING  pypidb._pypi:_pypi.py:462 http://fmv.jku.at/boolector/: HTTPSConnectionPool(host='fmv.jku.at', port=443): Max retries exceeded with url: /boolector/ (Caused by SSLError(SSLCertVerificationError("hostname 'fmv.jku.at' doesn't match either of 's05zid04-web.zid.jku.at', 'www.zid.jku.at', 'www.wipaed.uni-linz.ac.at', 'www.kuwi.uni-linz.ac.at', 'www.ipg.uni-linz.ac.at', 'www.ikl.jku.at', 'www.elearning.jku.at', 'www.centrolatino.jku.at', 'www.bib.jku.at', 'www.fernstudien.jku.at', 'verleih.im.jku.at', 'ubook.im.jku.at', 'secure.econ.jku.at', 's05zid04.im.jku.at', 'personalmanagement.jku.at', 'paedpsych.jku.at', 'kamera.zid.jku.at', 'auktion.jku.at', 'netstorage.jku.at', 'social.jku.at', 'thesis.jku.at', 'gate.jku.at', 'www.gate.jku.at', 'fbtabs.ham.jku.at', 'download.ham.jku.at', 'referral.jku.at', 'www.labornrn.at', 'gel-sys.eu', 'www.gel-sys.eu'")))
INFO     pypidb._pypi:_pypi.py:450 r http://mathsat.fbk.eu/
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://mathsat.fbk.eu/ with http://mathsat.fbk.eu/: {'Date': 'Sun, 19 Apr 2020 14:51:19 GMT', 'Server': 'Apache/2.4.34 (Red Hat) OpenSSL/1.0.1e-fips mod_wsgi/4.5.13 Python/2.7 SVN/1.9.3 PHP/7.0.27 mod_perl/2.0.9 Perl/v5.24.0', 'Location': 'https://mathsat.fbk.eu/', 'Keep-Alive': 'timeout=15, max=100', 'Connection': 'Keep-Alive', 'Content-Type': 'text/html; charset=iso-8859-1'}
INFO     pypidb._pypi:_pypi.py:364 PySMT: from None added urls []
INFO     pypidb._pypi:_pypi.py:364 PySMT: from None added urls []
INFO     pypidb._pypi:_pypi.py:450 r https://yices.csl.sri.com/
INFO     pypidb._pypi:_pypi.py:364 PySMT: from http://yices.csl.sri.com/ added urls ['https://github.com/SRI-CSL/yices2']
INFO     pypidb._pypi:_pypi.py:450 r https://mathsat.fbk.eu/
INFO     pypidb._pypi:_pypi.py:364 PySMT: from http://mathsat.fbk.eu/ added urls []
INFO     pypidb._pypi:_pypi.py:450 r http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories with http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories: {'Date': 'Sun, 19 Apr 2020 14:51:21 GMT', 'Server': 'Varnish', 'X-Varnish': '276476446', 'X-Cache': 'cp1077 int', 'X-Cache-Status': 'int-front', 'Server-Timing': 'cache;desc="int-front"', 'Set-Cookie': 'WMF-Last-Access=19-Apr-2020;Path=/;HttpOnly;secure;Expires=Thu, 21 May 2020 12:00:00 GMT, WMF-Last-Access-Global=19-Apr-2020;Path=/;Domain=.wikipedia.org;HttpOnly;secure;Expires=Thu, 21 May 2020 12:00:00 GMT', 'X-Client-IP': '67.225.165.200', 'Location': 'https://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories', 'Content-Length': '0', 'Connection': 'keep-alive'}
WARNING  pypidb._pypi:_pypi.py:462 http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories: 500 Server Error: HTTPS Everywhere for url: https://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories
INFO     pypidb._pypi:_pypi.py:450 r https://www.googletagmanager.com/gtag/js?id=UA-48772413-1
WARNING  pypidb._pypi:_pypi.py:462 https://www.googletagmanager.com/gtag/js?id=UA-48772413-1: 500 Server Error: HTTPS Everywhere for url: https://www.googletagmanager.com/gtag/js?id=UA-48772413-1
INFO     pypidb._pypi:_pypi.py:450 r http://fm.csl.sri.com/
INFO     https_everywhere.adapter:adapter.py:113 adapter redirecting http://fm.csl.sri.com/ to https://fm.csl.sri.com/
INFO     pypidb._pypi:_pypi.py:450 r http://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory with http://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory: {'Content-Type': 'text/html', 'Location': 'https://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory', 'Server': 'nginx', 'X-Pantheon-Styx-Hostname': 'styx-fe3-b-c8f8fbbbb-wt5vd', 'X-Styx-Req-Id': '3bfeb587-824d-11ea-a85c-4e10190adc96', 'Cache-Control': 'public, max-age=86400', 'Content-Length': '178', 'Date': 'Sun, 19 Apr 2020 14:51:21 GMT', 'Connection': 'keep-alive', 'X-Served-By': 'cache-mdw17350-MDW', 'X-Cache': 'MISS', 'X-Cache-Hits': '0', 'X-Timer': 'S1587307882.880307,VS0,VE17', 'Vary': 'Cookie', 'Age': '0', 'Accept-Ranges': 'bytes', 'Via': '1.1 varnish'}
WARNING  pypidb._pypi:_pypi.py:462 http://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory: 404 Client Error: Not Found for url: https://www.sri.com/about/organization/information-computing-sciences/computer-science-laboratory
INFO     pypidb._pypi:_pypi.py:450 r https://www.gnu.org/licenses/gpl-3.0.en.html
WARNING  pypidb._pypi:_pypi.py:462 https://www.gnu.org/licenses/gpl-3.0.en.html: 500 Server Error: HTTPS Everywhere for url: https://www.gnu.org/licenses/gpl-3.0.en.html
INFO     pypidb._pypi:_pypi.py:450 r http://www.sri.com/
INFO     https_everywhere.adapter:adapter.py:94 adapter responding to http://www.sri.com/ with http://www.sri.com/: {'Content-Type': 'text/html', 'Location': 'https://www.sri.com/', 'Server': 'nginx', 'X-Pantheon-Styx-Hostname': 'styx-fe3-a-6578c47759-d5nck', 'X-Styx-Req-Id': '632aed02-8247-11ea-b0df-de3269d091fb', 'Cache-Control': 'public, max-age=86400', 'Content-Length': '178', 'Date': 'Sun, 19 Apr 2020 14:51:22 GMT', 'Connection': 'keep-alive', 'X-Served-By': 'cache-mdw17320-MDW', 'X-Cache': 'HIT', 'X-Cache-Hits': '1', 'X-Timer': 'S1587307882.254385,VS0,VE1', 'Vary': 'Cookie', 'Age': '2512', 'Accept-Ranges': 'bytes', 'Via': '1.1 varnish'}
INFO     pypidb._pypi:_pypi.py:372 Not processing text from https://mathsat.fbk.eu/
INFO     pypidb._pypi:_pypi.py:364 PySMT: from https://yices.csl.sri.com/ added urls ['https://github.com/SRI-CSL/yices2']
INFO     pypidb._pypi:_pypi.py:364 PySMT: from None added urls []
INFO     pypidb._pypi:_pypi.py:372 Not processing text from http://fm.csl.sri.com/
INFO     pypidb._pypi:_pypi.py:364 PySMT: from None added urls []
INFO     pypidb._pypi:_pypi.py:372 Not processing text from http://www.sri.com/
INFO     pypidb._db:_db.py:79 Adding mapping PySMT = https://github.com/SRI-CSL/yices2
jayvdb commented 4 years ago

http://www.pysmt.org redirects to https://github.com/pysmt/pysmt , but https://www.pysmt.org doesnt work. This should be fixed in https-everywhere-py , but the easy fix is adding a rule here