Let X be a smooth scheme over a finite field of characteristic p. In answer to a conjecture of Deligne, we establish that for any prime ℓ = p, an ℓ-adic Weil sheaf on X which is algebraic (or irreducible with finite determinant) admits a crystalline companion in the category of overconvergent F -isocrystals, for which the Frobenius characteristic polynomials agree at all closed points (with respect to some fixed identification of the algebraic closures of Q within fixed algebraic closures of Q ℓ and Q p ). The argument depends heavily on the free passage between ℓ-adic and p-adic coefficients for curves provided by the Langlands correspondence for GL n over global function fields (work of L. Lafforgue and T. Abe), and on the construction of Drinfeld (plus adaptations by Abe-Esnault and the author) giving rise to étale companions of overconvergent F -isocrystals.