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 |
