What's the difference between
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v4.2-rc1-unstable/linux-headers-4.2.0-040200rc1_4.2.0-040200rc1.201507051635_all.deb
and
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/daily/current/linux-headers-4.2.0-999_4.2.0-999.201507112205_all.deb
I would like to know not just if one is newer than the other, but also if they are both upgradable.