MD5 (foiltex.dtx) = 52be74b74f9bd3a7c14b64abe013ff0b
SHA256 (foiltex.dtx) = 9e613040bb89af3604aaac01890b8361f44cc5ef49bba36fc370369d95c1a838
SIZE (foiltex.dtx) = 173634
MD5 (foiltex.ins) = a3a0a5fd301af99b54289db83a881982
SHA256 (foiltex.ins) = 0628493be7a5f61e624463fd206271ffa2e09b93258494a5f438babb5e5a2bde
SIZE (foiltex.ins) = 6319