diff --git a/etc/config/c.amazon.properties b/etc/config/c.amazon.properties index 2efc3dea6..366999925 100644 --- a/etc/config/c.amazon.properties +++ b/etc/config/c.amazon.properties @@ -3646,6 +3646,8 @@ compiler.c2rust-master.name=C2Rust (master) libs=cs50:hedley:libbpf:libuv:liblzma:lua:nsimd:openssl:python:simde:curl:sqlite:widberg-defs libs.cs50.name=cs50 +libs.cs50.description=This is CS50's Library for C. +libs.cs50.url=https://github.com/cs50/libcs50 libs.cs50.versions=910 libs.cs50.versions.910.version=9.1.0 libs.cs50.versions.910.path=/opt/compiler-explorer/libs/cs50/9.1.0/include