1: \begin{abstract} Given a Noetherian formal scheme $\hat X$

2:     over

3:     $\Spf(R)$, where $R$ is a complete \textup{DVR}, we first prove a theorem of

4:     meromorphic descent along a possibly infinite cover of

5:     $\hat{X}$. Using

6:     this we construct a

7:     specialization functor from the category of continuous

8:     representations of the pro-étale fundamental group of the

9:     special fiber to the category of $F$-divided sheaves on the

10:     generic fiber. This specialization functor is compatible with the

11:     specialization functor of the étale fundamental groups. We also express the pro-étale

12:     fundamental group of a connected scheme $X$ of finite type over a field as

13:     coproducts and quotients of the free group and the étale fundamental groups of

14:     the normalizations of the irreducible components of $X$ and those

15:     of its singular loci.

16: \end{abstract}

17: