../ CVS/ 18-Dec-2022 03:35 - aorrlsh_n.asm 22-Aug-2017 16:40 4825 aorsmul_1.asm 27-Sep-2020 07:27 4033 gmp-mparam.h 27-Sep-2020 07:27 11641 hamdist.asm 27-Sep-2020 07:27 4301 popcount.asm 27-Sep-2020 07:27 4892 redc_1.asm 22-Aug-2017 16:40 10069 sec_tabselect.asm 22-Aug-2017 16:40 1288