diff options
Diffstat (limited to 'editors/jove/distinfo')
| -rw-r--r-- | editors/jove/distinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/jove/distinfo b/editors/jove/distinfo index 01980aaf9069..9a210a3f2941 100644 --- a/editors/jove/distinfo +++ b/editors/jove/distinfo @@ -1 +1,2 @@ MD5 (jove-4.16.tar.gz) = 38ebd64355a99b0d007aaef17b0d00b1 +SIZE (jove-4.16.tar.gz) = 432274 |