bump to Coq 8.19

enabled an automatic merge when all merge checks for acb6e71c pass

aborted the automatic merge because the source branch was updated. Learn more.

added 1 commit

• bd1a091f - fix deprecation warnings

Compare with previous version

enabled an automatic merge when all merge checks for bd1a091f pass

mentioned in commit b8c475d2

merged