_ _ _
___| |__ ___ _ __| | __ ___| |__
/ __| '_ \ / _ \| '__| |/ / / __| '_ \
\__ \ | | | (_) | | | < | (__| | | |
|___/_| |_|\___/|_| |_|\_(_)___|_| |_|
Rsync: rsync://mirrors.shork.ch/gentoo/sci-mathematics/coq-serapi/files/
Contact: admin@shork.ch