setup latest #373
Annotations
1 warning
Setup Agda (latest) on ubuntu-20.04
Error: Rejected distribution for Agda 2.6.3 at https://github.com/wenkokke/setup-agda/releases/download/latest/agda-2.6.3-x64-ubuntu-22.04-ghc9.4.4-icu70.1.zip:
Command failed with exit code 1: /tmp/tmp-1707-JiY4KYOYXCfi/bin/agda --version
/tmp/tmp-1707-JiY4KYOYXCfi/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by /tmp/tmp-1707-JiY4KYOYXCfi/bin/agda)
/tmp/tmp-1707-JiY4KYOYXCfi/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.33' not found (required by /tmp/tmp-1707-JiY4KYOYXCfi/bin/agda)
/tmp/tmp-1707-JiY4KYOYXCfi/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.32' not found (required by /tmp/tmp-1707-JiY4KYOYXCfi/bin/agda)
/tmp/tmp-1707-JiY4KYOYXCfi/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.33' not found (required by /tmp/tmp-1707-JiY4KYOYXCfi/bin/../lib/agda-2.6.3-libicuuc.so.70.1)
/tmp/tmp-1707-JiY4KYOYXCfi/bin/agda: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.34' not found (required by /tmp/tmp-1707-JiY4KYOYXCfi/bin/../lib/agda-2.6.3-libicuuc.so.70.1)
|