  We prove the explicit version of the Buzzard--Diamond--Jarvis conjecture
formulated by Diamond--Demb\'el\'e--Roberts. More precisely, we prove that it
is equivalent to the original Buzzard--Diamond--Jarvis conjecture, which was
proved for odd primes (under a mild Taylor--Wiles hypothesis) in earlier work
of the third author and coauthors.
