[arch-general] (no subject)

[Eugenio M. Vigo]

Hi!
I wanted to run a system update and I've found this warning about
kdeedu-kig being newer on my system than in the repos.

[ugi at UGI ~]$ LANG=C sudo pacman -Syu
:: Synchronizing package databases...
 core is up to date
 extra is up to date
 community is up to date
:: Starting full system upgrade...
warning: kdeedu-kig: local (4.14.0-1) is newer than extra (4.13.3-2)
resolving dependencies...
looking for inter-conflicts...

Packages (10): akonadi-1.13.0-2  avogadro-1.1.1-3  boost-libs-1.56.0-1
               encfs-1.7.4-13  intel-dri-10.2.7-1  libkolabxml-1.0.1-2
               libmikmod-3.3.7-1  mesa-10.2.7-1  mesa-libgl-10.2.7-1
               ntp-4.2.7.p465-2

Total Download Size:    12.24 MiB
Total Installed Size:   56.76 MiB
Net Upgrade Size:       -0.62 MiB

:: Proceed with installation? [Y/n]

I have always upgraded that package through the repos (I don't use
[testing]), so I've checked this on the package database and in fact, the
version in the database is 4.13.3-2, not 4.14.0-1.

The package's git, though, shows that the package was updated to 4.14.0-1
on 2014-08-16 (
https://projects.archlinux.org/svntogit/packages.git/log/trunk?h=packages/kdeedu-kig),
so I really don't understand what's happening here.

Any pointers?
Eugenio