diff options
Diffstat (limited to 'devel/picosat/distinfo')
| -rw-r--r-- | devel/picosat/distinfo | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/picosat/distinfo b/devel/picosat/distinfo new file mode 100644 index 000000000000..cfa08da26d36 --- /dev/null +++ b/devel/picosat/distinfo @@ -0,0 +1,2 @@ +SHA256 (picosat-957.tar.gz) = 7efa0149f297971328324b90cee349223e3c9c9aab6f6e306caae2553a169822 +SIZE (picosat-957.tar.gz) = 63329 |