Skip to content

Commit

Permalink
Bump coqprime from 0f9f20f to 431d7a6 (#1566)
Browse files Browse the repository at this point in the history
  • Loading branch information
@dependabot
dependabot[bot] authored Mar 1, 2023
1 parent 93f79b6 commit 5f581a1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion coqprime
Submodule coqprime updated 18 files
+4 −3 src/Coqprime/List/UList.v
+3 −2 src/Coqprime/N/ChineseRem.v
+12 −12 src/Coqprime/N/NatAux.v
+2 −2 src/Coqprime/PrimalityTest/Cyclic.v
+2 −2 src/Coqprime/PrimalityTest/EGroup.v
+3 −2 src/Coqprime/PrimalityTest/PGroup.v
+1 −1 src/Coqprime/PrimalityTest/PocklingtonCertificat.v
+3 −2 src/Coqprime/PrimalityTest/Root.v
+5 −5 src/Coqprime/Z/ZCAux.v
+1 −1 src/Coqprime/Z/ZCmisc.v
+4 −4 src/Coqprime/elliptic/GZnZ.v
+3 −3 src/Coqprime/elliptic/SMain.v
+5 −5 src/Coqprime/elliptic/ZEll.v
+1 −1 src/Coqprime/num/Bits.v
+1 −1 src/Coqprime/num/Lucas.v
+5 −5 src/Coqprime/num/NEll.v
+2 −2 src/Coqprime/num/Pock.v
+9 −6 src/Coqprime/num/montgomery.v

0 comments on commit 5f581a1

Please sign in to comment.