Some posterior distributions for the Laplace mean

Two posterior distributions for the mean of the Laplace distribution are obtained by deriving the distributions of the product XY and the ratio X/Y when X and Y are Student's t and Laplace random variables distributed independently of each other. Tabulations of the associated percentage points are given along with computer programs for generating them.