#!/bin/bash
echo "$0: apt-cache policy $*"
apt-cache policy $*