#!/bin/sh
#  see https://lists.debian.org/debian-med/2020/06/msg00065.html
wget https://raw.githubusercontent.com/vit-vit/CTPL/master/ctpl_stl.h
wget https://raw.githubusercontent.com/vit-vit/CTPL/master/LICENSE
