On Sun, Sep 7, 2014 at 1:02 PM, Eugenio M. Vigo <emv...@gmail.com> wrote: > 2014-09-07 12:51 GMT+02:00 Ralf Mardorf <ralf.mard...@rocketmail.com>: >> [rocketmouse@archlinux ~]$ downgrade kdeedu-kig >> Available packages: >> >> 1) kdeedu-kig-4.14.0-1-x86_64.pkg.tar.xz (remote) >> 2) kdeedu-kig-4.13.3-2-x86_64.pkg.tar.xz (remote) >> [snip] >> 16) kdeedu-kig-4.11.0-1-x86_64.pkg.tar.xz (remote) >> >> select a package by number: ^C >> [rocketmouse@archlinux ~]$ pacman -Si kdeedu-kig >> Repository : extra >> Name : kdeedu-kig >> Version : 4.13.3-2 >> [snip] >> [rocketmouse@archlinux ~]$ grep pkgver= /var/abs/extra/kdeedu-kig/PKGBUILD >> pkgver=4.14.0 >> >> I'm not using this package, but it's indeed strange. The newer version >> is available by downgrade, it's available by ABS, but pacman -Si shows >> the older version. > > Should a bug be filed against the package? So this can be brought to > the attention of the mantainer. > > Eu.
Seems fixed, see my comment https://bugs.archlinux.org/task/41858
