Version 1.5.11.5.1
commit56dd530f4f63865dc88d8fcd35e2de6cc9a196d0
authorGuillaume Melquiond <guillaume.melquiond@inria.fr>
Mon, 12 Sep 2022 08:32:44 +0000 (12 10:32 +0200)
committerGuillaume Melquiond <guillaume.melquiond@inria.fr>
Mon, 12 Sep 2022 08:34:58 +0000 (12 10:34 +0200)
treec6d075f626188e766ec3a0d5af68c272e73ddefd
parent2d79ab199a8a4bd82590d2a888781635a1a98db5
Version 1.5.1
CHANGES.md
configure.in
doc/conf.py
doc/index.rst