SHA256 (TeXmacs-2.1.5-src.tar.gz) = s6EnvbqOeQELI5KRQVy+NDEzNSHiRHeoFLWG4bQCc2A=
SIZE (TeXmacs-2.1.5-src.tar.gz) = 95945496
