swh:1:snp:f57caa7209e46735adc66f1cb937a606b4466556
Tip revision: c89fc399ccd3d29e497aaa0348042e461bdd5299 authored by Florian Rademacher on 15 November 2022, 16:19:49 UTC
Update changelog to release 0.8.6
Update changelog to release 0.8.6
Tip revision: c89fc39
File | Mode | Size |
---|---|---|
deploy | ||
docker | ||
docker-images-push | ||
documentation | ||
updatesite | ||
lemma-build-modules.txt | -rw-r--r-- | 2.4 KB |
lemma.bat | -rw-r--r-- | 5.5 KB |
lemma.sh | -rwxr-xr-x | 2.7 KB |