v9.1.0840
default avatar
cb@256bit.org
c04bc64b · patch 9.1.0840: filetype: idris2 files are not recognized ·
Unverified 
v9.1.0840