Abstract: I will explain how to obtain a six-functor formalism (in the sense of Mann) for quasi-coherent sheaves on (derived) rigid-analytic varieties. The underlying functional analysis uses bornological spaces and a recently developed theory of derived analytic geometry due to Ben-Bassat--Kelly--Kremnitzer.