[bug#49607] a note

[Attila Lendvai]

note that some of these packages are pointing to my own fork of the Idris2 repo.

if that is an issue, then feel free to comment out those packages for the time 
being.

i'm working on incorporating these branches back into the official Idris2 repo.

(the current milestone of that process is to get my build system refactor 
merged https://github.com/idris-lang/Idris2/pull/1990)

--
• attila lendvai
• PGP: 963F 5D5F 45C7 DFCD 0A39
--
“Journalism is printing what someone else does not want printed: everything 
else is public relations.”
        — George Orwell (1903–1950)