1 files changed, 5 insertions, 22 deletions
diff --git a/src/bigint/info.txt b/src/bigint/info.txt
index 33b738d49..b82d1cd72 100644
--- a/src/bigint/info.txt
+++ b/src/bigint/info.txt
@@ -6,43 +6,26 @@ define BIGINT
 
 <requires>
 hex
-mp_ia32
+mp_amd64
 </requires>
 
 <add>
+bigint.h
+divide.h
+mp_core.h
+mp_types.h
 big_code.cpp
 big_io.cpp
 big_ops2.cpp
 big_ops3.cpp
 big_rand.cpp
 bigint.cpp
-bigint.h
-blinding.cpp
-blinding.h
-def_powm.h
-def_powm.cpp
 divide.cpp
-dsa_gen.cpp
-jacobi.cpp
-make_prm.cpp
 mp_asm.cpp
 mp_comba.cpp
-mp_core.h
 mp_karat.cpp
 mp_misc.cpp
 mp_monty.cpp
 mp_mulop.cpp
-mp_numth.cpp
 mp_shift.cpp
-mp_types.h
-numthry.cpp
-numthry.h
-pow_mod.cpp
-pow_mod.h
-powm_fw.cpp
-powm_mnt.cpp
-primes.cpp
-reducer.cpp
-reducer.h
-ressol.cpp
 </add>