I have used a bunch of lenses for night photography and all of them were pretty good, with some issues here and there, but nothing you can’t work around.
Rokinon 12mm f2: one of the most well-known astro lenses, it’s pretty good even at f2. I usually shoot at f2, 30s, ISO 1600-3200. Samples:
Fujifilm 16mm f1.4: this one has a lot of coma from f1.4 until f2. That was a disappointment and I ended up selling it and getting the Rokinon, but the lens is stellar for other applications. I used to shoot it at f2, 20s, ISO 1600-3200.
Recently I got a tracking mount, so that opened up more possibilities. The 56mm f1.2 was surprisingly good. Below it’s a picture made with that lens, stitched from 4 tracked shots at f2, 2 minutes, ISO 800.
For this shot of part of the Orion constellation, I didn’t have the time to get all the shots needed for a really nice image (usually you need to get hours of total exposure), but I was happy with what I could get with only 5 shots of 2 minutes, ISO 400, also at f2:
I also shot tracked with the Fujifilm 55-200 and it behaved nicely. I got closer shots of the Orion Nebula and the Andromeda Galaxy at 200mm, with tracked exposures of 1-2 minutes. Obviously, a faster lens would be much better, but I was positively surprised. (haven’t processed these though)
If you have any questions, fire away!