../ elpa-jedi-core_0.2.7-1_all.deb 13-Jul-2018 17:55 19556 elpa-jedi_0.2.7-1_all.deb 13-Jul-2018 17:55 4964