inferno tags
https://gitlab.inria.fr/fpottier/inferno/-/tags
https://gitlab.inria.fr/fpottier/inferno/-/tags/20220603
20220603
Release 20220603.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/inferno/-/tags/20211222
20211222
Release 20211222.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/inferno/-/tags/20201104
20201104
Release 20201104.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/inferno/-/tags/20201001
20201001
Release 20201001.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/inferno/-/tags/20190924
20190924
Release 20190924.
François Pottier
francois.pottier@inria.fr
https://gitlab.inria.fr/fpottier/inferno/-/tags/20180405
20180405
Release 20180405.
François Pottier
francois.pottier@inria.fr