Dblib 10.0.1

Changes since 10.0.0:

• More fixes to the build process
• Continue to make tactics and proofs more resilient (3627905)
• Use exfalso instead of explicit elimtype False (60c18af)

Dblib 10.0.0

This release incorporates more recent changes from coq-contribs/dblib

Changes since 0.0.1:

• Many fixes to the build processes
• Fix incorrect occurrence of lift being unfolded (8a9889e)
• Adapt to the strict interpretation of "simpl f at occs" as referring to the occurrences of maximal applicative subterms with head symbol "f" (0bfbf23)
• In tactics, make sure to fresh variables before introing them (da5d5d1)

Dblib 0.0.1

This release reflects the state of Dblib before it was transferred from @fpottier to @coq-community