/

Update to 2020.4....Tobias Geerinckx-Rice 2020-07-12gnu: Remove ".git" from "https://github/…/….git"....Ludovic Courtès 2020-03-21gnu: opencl-clhpp: Use HTTPS home page....Tobias Geerinckx-Rice 2020-02-26gnu: pocl: Build with LLVM@9....Marius Bakke 2020-02-10gnu: Add python-pyopencl....Ludovic Courtès 2020-02-10gnu: Add python-pytools....Ludovic Courtès