Hello, On Fri, Sep 07, 2018 at 10:16:52AM +0200, Sebastian Humenda wrote:
> Thanks for the report. This has been fixed in the VCS and will go online in > the > next upload. thanks for the prompt reaction :-) in fact I intended to send a supplement to the bug report in case of freedict: this concerns in reality a large list of binary packages generated by the same source package (list attached), but we sent only one bug report in order not to clutter the BTS. Cheers -Ralf -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Équipe Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.irif.fr/~treinen/
dict-freedict-afr-deu_2016.12.12-1 dict-freedict-afr-eng_2016.12.12-1 dict-freedict-ara-eng_2016.12.12-1 dict-freedict-bre-fra_2016.12.12-1 dict-freedict-ces-eng_2016.12.12-1 dict-freedict-ckb-kmr_2016.12.12-1 dict-freedict-cym-eng_2016.12.12-1 dict-freedict-dan-eng_2016.12.12-1 dict-freedict-deu-eng_2016.12.12-1 dict-freedict-deu-fra_2016.12.12-1 dict-freedict-deu-ita_2016.12.12-1 dict-freedict-deu-kur_2016.12.12-1 dict-freedict-deu-nld_2016.12.12-1 dict-freedict-deu-por_2016.12.12-1 dict-freedict-deu-swe_2016.12.12-1 dict-freedict-deu-tur_2016.12.12-1 dict-freedict-eng-afr_2016.12.12-1 dict-freedict-eng-ara_2016.12.12-1 dict-freedict-eng-ces_2016.12.12-1 dict-freedict-eng-cym_2016.12.12-1 dict-freedict-eng-deu_2016.12.12-1 dict-freedict-eng-ell_2016.12.12-1 dict-freedict-eng-fra_2016.12.12-1 dict-freedict-eng-gle_2016.12.12-1 dict-freedict-eng-hin_2016.12.12-1 dict-freedict-eng-hrv_2016.12.12-1 dict-freedict-eng-hun_2016.12.12-1 dict-freedict-eng-ita_2016.12.12-1 dict-freedict-eng-lat_2016.12.12-1 dict-freedict-eng-lit_2016.12.12-1 dict-freedict-eng-nld_2016.12.12-1 dict-freedict-eng-pol_2016.12.12-1 dict-freedict-eng-por_2016.12.12-1 dict-freedict-eng-rom_2016.12.12-1 dict-freedict-eng-rus_2016.12.12-1 dict-freedict-eng-spa_2016.12.12-1 dict-freedict-eng-srp_2016.12.12-1 dict-freedict-eng-swe_2016.12.12-1 dict-freedict-eng-swh_2016.12.12-1 dict-freedict-eng-tur_2016.12.12-1 dict-freedict-fra-bre_2016.12.12-1 dict-freedict-fra-deu_2016.12.12-1 dict-freedict-fra-eng_2016.12.12-1 dict-freedict-fra-nld_2016.12.12-1 dict-freedict-gla-deu_2016.12.12-1 dict-freedict-gle-eng_2016.12.12-1 dict-freedict-gle-pol_2016.12.12-1 dict-freedict-hrv-eng_2016.12.12-1 dict-freedict-hun-eng_2016.12.12-1 dict-freedict-isl-eng_2016.12.12-1 dict-freedict-ita-deu_2016.12.12-1 dict-freedict-ita-eng_2016.12.12-1 dict-freedict-jpn-deu_2016.12.12-1 dict-freedict-jpn-eng_2016.12.12-1 dict-freedict-jpn-fra_2016.12.12-1 dict-freedict-jpn-rus_2016.12.12-1 dict-freedict-kha-deu_2016.12.12-1 dict-freedict-kha-eng_2016.12.12-1 dict-freedict-kur-deu_2016.12.12-1 dict-freedict-kur-eng_2016.12.12-1 dict-freedict-kur-tur_2016.12.12-1 dict-freedict-lat-deu_2016.12.12-1 dict-freedict-lat-eng_2016.12.12-1 dict-freedict-lit-eng_2016.12.12-1 dict-freedict-mkd-bul_2016.12.12-1 dict-freedict-nld-deu_2016.12.12-1 dict-freedict-nld-eng_2016.12.12-1 dict-freedict-nld-fra_2016.12.12-1 dict-freedict-nno-nob_2016.12.12-1 dict-freedict-oci-cat_2016.12.12-1 dict-freedict-pol-gle_2016.12.12-1 dict-freedict-por-deu_2016.12.12-1 dict-freedict-por-eng_2016.12.12-1 dict-freedict-san-deu_2016.12.12-1 dict-freedict-slk-eng_2016.12.12-1 dict-freedict-spa-ast_2016.12.12-1 dict-freedict-spa-eng_2016.12.12-1 dict-freedict-spa-por_2016.12.12-1 dict-freedict-srp-eng_2016.12.12-1 dict-freedict-swe-deu_2016.12.12-1 dict-freedict-swe-eng_2016.12.12-1 dict-freedict-swh-eng_2016.12.12-1 dict-freedict-swh-pol_2016.12.12-1 dict-freedict-tur-deu_2016.12.12-1 dict-freedict-tur-eng_2016.12.12-1
