version=4
opts="mode=git, pgpmode=none" \
https://github.com/Maratyszcza/FP16 \
HEAD debian uupdate
