../ circe_2.12-1.debian.tar.xz 10-Sep-2023 15:14 3660 circe_2.12-1.dsc 10-Sep-2023 15:14 2020 circe_2.12.orig.tar.gz 10-Sep-2023 15:14 235K elpa-circe_2.12-1_all.deb 10-Sep-2023 16:15 73K