`legacy` branch missing

[chr0n1x]

hitting this error

    1 ⛔️ python < 3.8.2
    2
    3 [Process exited 1]

Im running on a system that only has access to python 3.7, would really prefer to not have to manage python itself.

[chr0n1x]

Im running into the same error in coq too, can make an issue there if you would like @ms-jpq