Let $X$ be a smooth manifold (usually assumed to be paracompact). Let us denote by $\underline{\Omega}^{p,-\infty}_X$ the sheaf of real valued $p$-forms with distributional coefficients in the Schwartz sense. The de Rham differential is defined on such forms and defines a complex $$0\to \underline{\Omega}^{0,-\infty}_X\overset{d}{\to}\underline{\Omega}^{1,-\infty}_X\overset{d}{\to}\underline{\Omega}^{2,-\infty}_X\overset{d}{\to}\dots$$. It is known to be a resolution of the constant sheaf $\underline{\mathbb{R}}$ (the Poincare lemma).

Let $A\subset X$ be a closed subset. Consider the space of global sections of the above distributional de Rham complex with support contained in $A$. Does the $i$th cohomology of this complex coincide with the $i$th right derived functor of the functor $\Gamma_A$ of global sections supported in $A$?

Remark. If instead of distributional de Rham complex one takes smooth, the answer to the above question would be negative in general.