metadata fix

coq-community · Aug 20, 2020 · 9511183 · 9511183
1 parent 259f6df
commit 9511183
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/README.md b/README.md
@@ -24,8 +24,8 @@
 
 A proof of correctness of the algorithm for computing prime
 numbers as described in "The Art of Computer Programming:
-Fundamental Algorithms" by Knuth, pp. 147-149, as an
-application of Bertrand's postulate.
+Fundamental Algorithms" by Knuth, pp. 147-149, and an
+application using Bertrand's postulate.
 
 
 ## Meta

diff --git a/coq-bertrand.opam b/coq-bertrand.opam
@@ -11,8 +11,8 @@ synopsis: "Correctness of Knuth's algorithm for prime numbers"
 description: """
 A proof of correctness of the algorithm for computing prime
 numbers as described in "The Art of Computer Programming:
-Fundamental Algorithms" by Knuth, pp. 147-149, as an
-application of Bertrand's postulate.
+Fundamental Algorithms" by Knuth, pp. 147-149, and an
+application using Bertrand's postulate.
 """
 
 build: [make "-j%{jobs}%" ]

diff --git a/meta.yml b/meta.yml
@@ -11,8 +11,8 @@ synopsis: Correctness of Knuth's algorithm for prime numbers
 description: |
   A proof of correctness of the algorithm for computing prime
   numbers as described in "The Art of Computer Programming:
-  Fundamental Algorithms" by Knuth, pp. 147-149, as an
-  application of Bertrand's postulate.
+  Fundamental Algorithms" by Knuth, pp. 147-149, and an
+  application using Bertrand's postulate.
 
 publications:
 - pub_url: https://link.springer.com/chapter/10.1007%2F10930755_20