diff --git a/.gitignore b/.gitignore
index 85da0ebca6..a571427f68 100644
--- a/.gitignore
+++ b/.gitignore
@@ -163,7 +163,25 @@ src/ExtractionHaskell/unsaturated_solinas
 src/ExtractionHaskell/solinas_reduction
 src/ExtractionHaskell/word_by_word_montgomery
 src/ExtractionHaskell/base_conversion
+src/ExtractionHaskell/bedrock2_base_conversion
+src/ExtractionHaskell/bedrock2_dettman_multiplication
+src/ExtractionHaskell/bedrock2_fiat_crypto
+src/ExtractionHaskell/bedrock2_saturated_solinas
+src/ExtractionHaskell/bedrock2_solinas_reduction
+src/ExtractionHaskell/bedrock2_unsaturated_solinas
+src/ExtractionHaskell/bedrock2_word_by_word_montgomery
+src/ExtractionHaskell/fiat_crypto
+src/ExtractionHaskell/with_bedrock2_base_conversion
+src/ExtractionHaskell/with_bedrock2_dettman_multiplication
+src/ExtractionHaskell/with_bedrock2_fiat_crypto
+src/ExtractionHaskell/with_bedrock2_saturated_solinas
+src/ExtractionHaskell/with_bedrock2_solinas_reduction
+src/ExtractionHaskell/with_bedrock2_unsaturated_solinas
+src/ExtractionHaskell/with_bedrock2_word_by_word_montgomery
 src/ExtractionHaskell/*.hs
+src/ExtractionOCaml/bedrock2_fiat_crypto
+src/ExtractionOCaml/fiat_crypto
+src/ExtractionOCaml/with_bedrock2_fiat_crypto
 src/ExtractionOCaml/saturated_solinas
 src/ExtractionOCaml/dettman_multiplication
 src/ExtractionOCaml/unsaturated_solinas