MD5 (jadetex/Makefile.jadetex) = 83a0b78a797ee5d9b60ebb1de4bf8a15
MD5 (jadetex/jadetex.dtx) = 23b12fa816191b86b1648cf17561ad1e
MD5 (jadetex/jadetex.ini) = e7ce73c84a5005fe400583190b848ddb
MD5 (jadetex/jadetex.ins) = e0f94e8e5f281e36fe4b78de6e23b48a
MD5 (jadetex/pdfjadetex.ini) = a68ee493fdc86007923c593accb61e29