Bump coqprime from `d5935ca` to `6c225a2` #5296

Triggered via push June 3, 2024 08:36

Status Success

Total duration 52s

Artifacts 1

java.yml

on: push

Produced during runtime

Name	Size
fiat-javadoc Expired	66.6 KB