diff options
Diffstat (limited to 'editors/texmacs/distinfo')
| -rw-r--r-- | editors/texmacs/distinfo | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/texmacs/distinfo b/editors/texmacs/distinfo index 8d51ab2e74d7..d78c09ba5dac 100644 --- a/editors/texmacs/distinfo +++ b/editors/texmacs/distinfo @@ -1,2 +1,2 @@ -SHA256 (TeXmacs-1.0.7.10-src.tar.gz) = 7616c5ccf3f5b9fee889559925bbce6ade0103c6032fe29def2497733255f809 -SIZE (TeXmacs-1.0.7.10-src.tar.gz) = 6224318 +SHA256 (TeXmacs-1.0.7.13-src.tar.gz) = 8be4a7477e60453cfda04f34f9997aae7ffe865fa65dd768f312139d79f88e44 +SIZE (TeXmacs-1.0.7.13-src.tar.gz) = 14985824 |