(6 . 7)(6 . 8)
430 "smg_bit_keccak/smg_bit_keccak.gpr",
431 "smg_keccak/smg_keccak.gpr",
432 "smg_rsa/smg_rsa.gpr",
433 "smg_serpent/smg_serpent.gpr");
434 "smg_serpent/smg_serpent.gpr",
435 "crc32/crc32.gpr");
436
437 for Library_Name use "EuCrypt";
438 for Library_Kind use "static";