#!/bin/bash
echo "foo 1.1 (gcc/8.2.0, openmpi/3.1)"
