Skip to content

PyTactician v15.0

Choose a tag to compare

View all tags
@LasseBlaauwbroek LasseBlaauwbroek released this 23 Oct 05:02
· 93 commits to coq8.11 since this release
pytactician-v15.0
45a847e 
pytactician-v15.0

Finish pytactician compile and release pipeline
Assets 2
Loading