../ elpa-jedi-core_0.2.7-1_all.deb 14-Jul-2018 01:55 19556 elpa-jedi-core_0.2.8+git20220410.81c5a42-1_all.deb 22-Aug-2023 18:03 21840 elpa-jedi-core_0.2.8-1_all.deb 11-Dec-2019 05:42 21752 elpa-jedi_0.2.7-1_all.deb 14-Jul-2018 01:55 4964 elpa-jedi_0.2.8+git20220410.81c5a42-1_all.deb 22-Aug-2023 18:03 4840 elpa-jedi_0.2.8-1_all.deb 11-Dec-2019 05:42 4700