Direct download link broken

[bartbog]

The direct download link on the website
https://dtai.cs.kuleuven.be/problog/index.html#download
is broken (the repo pointed to is not public "You do not have access to this repository." )

[Robin Manhaeve]

Thanks, this has been fixed.