Does the Rokinon 8mm F3.5 fisheye lens work with a nikon D5000?

If it doesnt what about the Nikon 10.5mm f/2.8G ED AF DX Fisheye Nikkor Lens
>>> Does the Rokinon 8mm F3.5 fisheye lens work with a nikon D5000?