mathpartir.sty is missing
I believe the intention of \usepackage{\basedir mathpartir}
in iris.tex
is using the local mathpartir.sty
file in the same directory. But it is missing in the repository.
I believe the intention of \usepackage{\basedir mathpartir}
in iris.tex
is using the local mathpartir.sty
file in the same directory. But it is missing in the repository.