| tag name | itp22 (907e7c8be411a0d3978b91508bb39cc9fcfc6263) |
| tag date | 2022-02-09 09:43:47 +0100 |
| tagged by | Chantal Keller <Chantal.Keller@lri.fr> |
| tagged object | commit 1d60d37558... |
| download | smtcoq-itp22.tar.gz smtcoq-itp22.zip |
|---|
Switch to 1.0 tag for trakt