blob: 7ffefecd093287de8e77bab005aea8f4afe3a967 (
plain)
1
|
DIST lhs2tex-1.24.tar.gz 775885 BLAKE2B 106d2677655f4e36412083b98051eb33d1912039e0db91556b12b442d95dc7e8d4b1167d45606a8ac69b0b32a4457d86a871b0a5032d8e758fefa3536af28b0d SHA512 1491368ba8d34c42d32ad4f77b6a803e8a3b885d336e4bd718f2398aaebc59fa2692e667a6c6a99b6e8839e4f627892c128f1feaf8557313ed144619f21c1876
|