fix tags
https://gitlab.inria.fr/fpottier/fix/-/tags
https://gitlab.inria.fr/fpottier/fix/-/tags/20230505
20230505
Release 20230505.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/fix/-/tags/20220121
20220121
Release 20220121.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/fix/-/tags/20211231
20211231
Release 20211231.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/fix/-/tags/20211125
20211125
Release 20211125.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/fix/-/tags/20201120
20201120
Release 20201120.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/fix/-/tags/20200131
20200131
Release 20200131.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/fix/-/tags/20181206
20181206
Release 20181206.
François Pottier
francois.pottier@inria.fr