tree 4a4a90b53abda3b79086fa49d25439d641f8fdc1
parent 636b862b9c8a25ad65fb240fefd673e7f23bcdd0
author Andreas Rossberg <rossberg@mpi-sws.org> 1713354254 +0200
committer Andreas Rossberg <rossberg@mpi-sws.org> 1713354254 +0200

[spec/interpreter] Make sources build and run with current Sphinx & Python