diff options
Diffstat (limited to 'misc/dartsim/distinfo')
| -rw-r--r-- | misc/dartsim/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/misc/dartsim/distinfo b/misc/dartsim/distinfo new file mode 100644 index 000000000000..6b4bd84abba0 --- /dev/null +++ b/misc/dartsim/distinfo @@ -0,0 +1,3 @@ +TIMESTAMP = 1550457111 +SHA256 (dartsim-dart-v6.7.2_GH0.tar.gz) = ddbad97af41730ac084ab87153614a13bd6f17ae98e192a994eee0a466746ed7 +SIZE (dartsim-dart-v6.7.2_GH0.tar.gz) = 14633475 |