=> Bootstrap dependency digest>=20010302: found digest-20111104
=> Bootstrap dependency fetch-[0-9]*: found fetch-1.7
WARNING: [license.mk] Every package should define a LICENSE.
=> Fetching TeXmacs-1.0.7.16-src.tar.gz
=> Total size: 15390090 bytes
TeXmacs-1.0.7.16-src.tar.gz                             14 MB  196 kBps
=> Checksum SHA1 OK for TeXmacs-1.0.7.16-src.tar.gz
=> Checksum RMD160 OK for TeXmacs-1.0.7.16-src.tar.gz
=> Checksum SHA1 OK for TeXmacs-1.0.7.16-src.tar.gz
=> Checksum RMD160 OK for TeXmacs-1.0.7.16-src.tar.gz