@@ -66,6 +66,7 @@ extra-source-files:
66flag developer
66flag developer
67 description: operate in developer mode
67 description: operate in developer mode
68 default: False
68 default: False
70flag integer-simple
71flag integer-simple
71 description: Use the simple integer library instead of GMP
72 description: Use the simple integer library instead of GMP