# Offline verification: Python 3.10 or later.
# Directed interval arithmetic for the supplied Zemyan2003 construction:
mpmath==1.4.1
# Optional PDF rebuild: Tectonic with the LaTeX packages recorded in BUILD.json.
# Optional source-content retrieval/inspection helpers are not offline jobs;
# they require network access and pypdf and should run on a separate copy.
