fstar 2022.01.15

Error log

The package failed to build. The error log from opam follows.

[NOTE] Package dune is already installed (current version is 3.17.2).
[NOTE] Package ocamlfind is already installed (current version is 1.9.8).
[ERROR] Package conf-python-2-7.1.2 depends on the unavailable system package 'python2.7'. You can use `--no-depexts' to attempt installation anyway.