Fix buildscripts
The move of the lithium folder to the refinedrust package had some unintended side-effects which broke the buildscripts for clients of RefinedRust.
This finishes removing the coq-lithium package.
The move of the lithium folder to the refinedrust package had some unintended side-effects which broke the buildscripts for clients of RefinedRust.
This finishes removing the coq-lithium package.
enabled an automatic merge when the pipeline for 7d80e0c8 succeeds
mentioned in commit 20edc6c0
merged