../ elpa-jedi-core_0.2.8+git20220410.81c5a42-1_all.deb 22-Aug-2023 10:03 21K elpa-jedi_0.2.8+git20220410.81c5a42-1_all.deb 22-Aug-2023 10:03 4840