(6 . 7)(6 . 8)
564 "smg_bit_keccak/smg_bit_keccak.gpr",
565 "smg_keccak/smg_keccak.gpr",
566 "smg_rsa/smg_rsa.gpr",
567 "smg_serpent/smg_serpent.gpr");
568 "smg_serpent/smg_serpent.gpr",
569 "crc32/crc32.gpr");
570
571 for Library_Name use "EuCrypt";
572 for Library_Kind use "static";