Skip to content

Commit

Permalink
Bump coqprime from 762c7f5 to 203ce86
Browse files Browse the repository at this point in the history 
Bumps [coqprime](https://github.com/thery/coqprime) from `762c7f5` to `203ce86`.
- [Release notes](https://github.com/thery/coqprime/releases)
- [Commits](thery/coqprime@762c7f5...203ce86)

---
updated-dependencies:
- dependency-name: coqprime
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <[email protected]>
  • Loading branch information
@dependabot @andres-erbsen
dependabot[bot] authored and andres-erbsen committed Dec 14, 2022
1 parent 671cf28 commit e0286fa
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion coqprime
Submodule coqprime updated 3 files
+2 −2 src/Coqprime/PrimalityTest/PocklingtonCertificat.v
+5 −5 src/Coqprime/Z/Pmod.v
+2 −2 src/Coqprime/Z/ZCmisc.v

0 comments on commit e0286fa

Please sign in to comment.