#!/bin/sh
echo "GHC package manager version 9999999"
exit 0