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.