ghc-idris-prof-1.3.4-17.fc41 [ > [ 6 6 _ t K K K K K 3 !FlضzE>b$bjf|% b$bj(-H*oLC2ou#ACeBtmWڔG. Į7 OBm cJ六g 8H![AYuL' 68