  In this short note we show that under very mild conditions on a functor
between exact categories $F:\mathcal{D}\rightarrow\mathcal{E}$ it is possible
to derive $F$ at the level of unbounded complexes. We also give applications to
deriving functors between $Pro$- and $Ind$- categories.
