bump

Signed-off-by: Hanno Becker <beckphan@amazon.co.uk>

Author: hanno-becker

BIBLIOGRAPHY.md

@@ -38,6 +38,8 @@ source code and documentation.
   - [integration/liboqs/config_x86_64.h](integration/liboqs/config_x86_64.h)
   - [mldsa/mldsa_native_config.h](mldsa/mldsa_native_config.h)
   - [mldsa/src/sign.c](mldsa/src/sign.c)
+  - [proofs/cbmc/mldsa_native_config_cbmc.h](proofs/cbmc/mldsa_native_config_cbmc.h)
+  - [proofs/cbmc/mlkem_native_config_cbmc.h](proofs/cbmc/mlkem_native_config_cbmc.h)
   - [test/break_pct_config.h](test/break_pct_config.h)
   - [test/custom_heap_alloc_config.h](test/custom_heap_alloc_config.h)
   - [test/custom_memcpy_config.h](test/custom_memcpy_config.h)
@@ -91,6 +93,8 @@ source code and documentation.
   - [mldsa/src/rounding.h](mldsa/src/rounding.h)
   - [mldsa/src/sign.c](mldsa/src/sign.c)
   - [mldsa/src/sign.h](mldsa/src/sign.h)
+  - [proofs/cbmc/mldsa_native_config_cbmc.h](proofs/cbmc/mldsa_native_config_cbmc.h)
+  - [proofs/cbmc/mlkem_native_config_cbmc.h](proofs/cbmc/mlkem_native_config_cbmc.h)
   - [test/break_pct_config.h](test/break_pct_config.h)
   - [test/custom_memcpy_config.h](test/custom_memcpy_config.h)
   - [test/custom_memset_config.h](test/custom_memset_config.h)

proofs/cbmc/mldsa_native_config_cbmc.h

@@ -13,7 +13,7 @@
  *   https://csrc.nist.gov/projects/cryptographic-module-validation-program/fips-140-3-ig-announcements
  *
  * - [FIPS204]
- *   FIPS 203 Module-Lattice-Based Digital Signature Standard
+ *   FIPS 204 Module-Lattice-Based Digital Signature Standard
  *   National Institute of Standards and Technology
  *   https://csrc.nist.gov/pubs/fips/204/final
  */