I'm not sure; it was an old Debian Stable dvd, from early last year. And the first thing I did was change the repos to Unstable and do a dist-upgrade. The kernel release is presently 4.7.0-1-amd64. It was all a fairly annoying task to begin with a blank hard-drive and end with a usable system, but it was pretty neat when I got it. It's a usable system now, with a few minor bugs.