Fixes 19.1

_fc-versions/potassium.md

@@ -5,34 +5,34 @@ name: Potassium
 releases:
   - number: 0
     categories:
-    - name: Frama-C v19.0 Potassium
+    - name: Frama-C v19.1 Potassium
       files:
       - name: Source distribution
-        link: /download/frama-c-19.0-Potassium.tar.gz
+        link: /download/frama-c-19.1-Potassium.tar.gz
         help: Compilation instructions
         help_link: /html/installations/potassium.html
       - name: User manual
-        link: /download/user-manual-19.0-Potassium.pdf
+        link: /download/user-manual-19.1-Potassium.pdf
         help: Hello plug-in tutorial archive
-        help_link: download/hello-19.0-Potassium.tar.gz
+        help_link: download/hello-19.1-Potassium.tar.gz
       - name: API Documentation
-        link: /download/frama-c-19.0-Potassium-api.tar.gz
+        link: /download/frama-c-19.1-Potassium-api.tar.gz
       - name: ACSL 1.14 (Potassium implementation)
-        link: /download/acsl-implementation-19.0-Potassium.pdf
+        link: /download/acsl-implementation-19.1-Potassium.pdf
     - name: Plug-in Manuals
       files:
       - name: Aoraï manual
-        link: /download/aorai-manual-19.0-Potassium.pdf
+        link: /download/aorai-manual-19.1-Potassium.pdf
       - name: Metrics manual
-        link: /download/metrics-manual-19.0-Potassium.pdf
+        link: /download/metrics-manual-19.1-Potassium.pdf
         help: 
         help_link: </li>
       - name: Rte manual
-        link: /download/rte-manual-19.0-Potassium.pdf
+        link: /download/rte-manual-19.1-Potassium.pdf
       - name: Eva manual
-        link: /download/eva-manual-19.0-Potassium.pdf
+        link: /download/eva-manual-19.1-Potassium.pdf
       - name: WP manual
-        link: /download/wp-manual-19.0-Potassium.pdf
+        link: /download/wp-manual-19.1-Potassium.pdf
       - name: E-ACSL manual
-        link: /download/e-acsl/e-acsl-manual-19.0-Potassium.pdf
+        link: /download/e-acsl/e-acsl-manual-19.1-Potassium.pdf
 ---
\ No newline at end of file