diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 55e4bfd90..0f142dc06 100644 --- a/_CoqProject +++ b/_CoqProject @@ -13,7 +13,6 @@ src/ModularArithmetic/PrimeFieldTheorems.v src/ModularArithmetic/Tutorial.v src/Spec/CompleteEdwardsCurve.v src/Spec/EdDSA.v -src/Spec/EdDSA25519.v src/Spec/Ed25519.v src/Spec/Encoding.v src/Spec/ModularArithmetic.v |