[PRQ#86940] Deletion Request for dolfin-hpc Rejected

[notify]

Request #86940 has been Rejected by qubeck [1]:

On the second thought "as long it works there's no reason to delete
it".

[1] https://aur.archlinux.org/account/qubeck/