On Sun, 2014-09-07 at 12:37 +0200, Eugenio M. Vigo wrote: > That package was never installed from AUR. This is the output from > grep kdeedu-kig /var/log/pacman.log: > > [ugi@UGI ~]$ grep kdeedu-kig /var/log/pacman.log > [2014-03-14 21:21] [PACMAN] installed kdeedu-kig (4.12.3-1) > [2014-04-01 12:01] [PACMAN] upgraded kdeedu-kig (4.12.3-1 -> 4.12.4-1) > [2014-04-19 10:31] [PACMAN] upgraded kdeedu-kig (4.12.4-1 -> 4.13.0-1) > [2014-05-20 10:17] [PACMAN] upgraded kdeedu-kig (4.13.0-1 -> 4.13.1-1) > [2014-06-11 14:53] [PACMAN] upgraded kdeedu-kig (4.13.1-1 -> 4.13.2-1) > [2014-07-23 01:57] [PACMAN] upgraded kdeedu-kig (4.13.2-1 -> 4.13.3-1) > [2014-08-21 11:17] [PACMAN] upgraded kdeedu-kig (4.13.3-1 -> 4.14.0-1) > > I thought it could be a mirror thing, but I see that at the Database > (https://www.archlinux.org/packages/extra/x86_64/kdeedu-kig/) the > package is said to be at version 4.13.3-2 (and this change does not > show up on the git commits). [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.