  Let $k$ be a perfect field of characteristic $p>0$. Within Berthelot's theory
of arithmetic $\mathcal{D}$-modules, we construct a $p$-adic formalism of
Grothendieck's six operations for quasi-projective schemes over $\mathrm{Spec}
k[[t]]$.
