@@ -71,6 +71,7 @@ extra-source-files:
71flag developer
71flag developer
72 description: operate in developer mode
72 description: operate in developer mode
73 default: False
73 default: False
75flag integer-simple
76flag integer-simple
76 description: Use the simple integer library instead of GMP
77 description: Use the simple integer library instead of GMP