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

Triggered via pull request June 3, 2024 08:36

opened #1917

Status Success

Total duration 46s

Artifacts 1

java.yml

on: pull_request

Produced during runtime

Name	Size
fiat-javadoc Expired	66.6 KB