diff options
Diffstat (limited to 'print/pdf-tools/distinfo')
| -rw-r--r-- | print/pdf-tools/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/print/pdf-tools/distinfo b/print/pdf-tools/distinfo new file mode 100644 index 000000000000..215485cd7023 --- /dev/null +++ b/print/pdf-tools/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1515623300 +SHA256 (politza-pdf-tools-v0.80-79-g9241a79_GH0.tar.gz) = 5be877c0307105cdf211eb534a59199d58223f77a16347187052111e52616f9f +SIZE (politza-pdf-tools-v0.80-79-g9241a79_GH0.tar.gz) = 416569 |