../ elpa-jedi-core_0.2.7-1_all.deb 13-Jul-2018 20:55 19K elpa-jedi-core_0.2.8-1_all.deb 11-Dec-2019 00:42 21K elpa-jedi_0.2.7-1_all.deb 13-Jul-2018 20:55 4964 elpa-jedi_0.2.8-1_all.deb 11-Dec-2019 00:42 4700