  We prove Grothendieck's existence theorem for relatively perfect complexes on
an algebraic stack that is proper and flat over an $I$-adically complete
Noetherian ring $A$. This generalizes an earlier result of Lieblich in the
setting of algebraic spaces.
