  In this paper, we formulate and prove a derived category version of
Poitou-Tate duality on Galois cohomology of compact modules (with a continuous
Galois action) over a pro-p ring, where p is a prime.
