19:21:32kinigendl: ah, I don't have an ARM device myself -- I was just trying to bump the NixOS package for ccl to 1.12 and noticed it was failing to download the code for the ARM build
19:22:10kiniit's pretty cool that ccl supports ARM though, it must have been quite some work to port it since (as I understand it) there's a fair amount of assembly code involved
20:02:33phoegendl: it's possible to use a 64-bit pure debian there. I got one installed that way, with a 64bit kernel