DIST TeXmacs-1.0.7.21-src.tar.gz 18712991 SHA256 0c945611cd057c4af5f7c2232d19b8129caeef0289fa43a53bab1dabb2d603d2 SHA512 7a825297b84c34aa7b097026932a99bcaf7bdddeb44ad7d141cae1b03893e2472241f4cf73f3798dfebd9b226f94bc0ef665d5defb1b133d897e0ba3c8213fee WHIRLPOOL 8d12788ac4458e3b5085d1e11e3c5b1a92de1027fed3652bc232f395e2e77bddd141d4607690990c8a8ad29624f151557bcd9b20847b95d2c164e9772c103976 DIST TeXmacs-1.99.1-src.tar.gz 19048884 SHA256 7e8425d65b1a02f270eaa021389cb9c3f627c9064cc986bd1ec7f66e0681b2ac SHA512 4b599e020aafa5b0e832d5e4ca9d1fe2013f1880b32f4ddc63e42582ed553d1e6a8ac9a5b2189db040e7bbaef3faffae5c8f79da3657cb2356ba0700f85f7840 WHIRLPOOL 5457169699cbc4ccded02f0a3ee369910ade70f902f1a41d9c43349acb940022afdb08611681e0b20da66a09b507aaa648c147d4a57d9a7e8d12bb53795b7003 DIST TeXmacs-1.99.2-src.tar.gz 18957858 SHA256 da017f0d5c927adc33952a6efd773165f63e1eaa509f627857f145434e7a8850 SHA512 e9d2dd0aab2e66470c4ae860e13b6fad2cc07913f14f7bca042c703d4d8b4a62fafafa711b81a0d8f8c125a3641b8bb5f38cd3adac74ec18895671423aa60be9 WHIRLPOOL b0ace20c3df61461f5fcad172b9a3acc69c43800ee600718ba20866452a938f3a5f7d61d33bb4e9f4e67f0666486f6e71387c78fd49d2ff7fb703f4baaf6a326