MD5 (ragel-5.23.tar.gz) = e60fd87d80a34e2e8f063781e02c8142 SHA256 (ragel-5.23.tar.gz) = 0ad78fcac45438d6886468deaabfbf761fd19d7f1ef9f44310b07920bd42f119 SIZE (ragel-5.23.tar.gz) = 531194 MD5 (ragel-guide-5.23.pdf) = 5e8727945078c3ed0c89a73f2d974287 SHA256 (ragel-guide-5.23.pdf) = 16e485c07e7e096dd0d4d9d8c11ce407ed24016eb0571566f889c7ea46671831 SIZE (ragel-guide-5.23.pdf) = 530834