Yes the driver works as expected with those packages at that URL.
Linux hayden-ubuntu 3.13.0-25-generic #47lp1313986 SMP Tue Apr 29 11:51:24 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
[ 39.642] (II) LoadModule: "nouveau"
[ 39.642] (II) Loading /usr/lib/xorg/modules/drivers/nouveau_drv.so
[ 39.792] (II) Module nouveau: vendor="X.Org Foundation"
[ 39.792] compiled for 1.15.0, module version = 1.0.10
[ 39.792] Module class: X.Org Video Driver
[ 39.792] ABI class: X.Org Video Driver, version 15.0
Yes the driver works as expected with those packages at that URL.
Linux hayden-ubuntu 3.13.0-25-generic #47lp1313986 SMP Tue Apr 29 11:51:24 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
[ 39.642] (II) LoadModule: "nouveau" xorg/modules/ drivers/ nouveau_ drv.so
[ 39.642] (II) Loading /usr/lib/
[ 39.792] (II) Module nouveau: vendor="X.Org Foundation"
[ 39.792] compiled for 1.15.0, module version = 1.0.10
[ 39.792] Module class: X.Org Video Driver
[ 39.792] ABI class: X.Org Video Driver, version 15.0