diff options
Diffstat (limited to 'misc/stan/distinfo')
| -rw-r--r-- | misc/stan/distinfo | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/misc/stan/distinfo b/misc/stan/distinfo deleted file mode 100644 index eede73699501..000000000000 --- a/misc/stan/distinfo +++ /dev/null @@ -1,2 +0,0 @@ -SHA256 (stan-0.4.1.tar.gz) = b010ffa03d9ad8e8d7cf2cfc2692faec67f6e177ac54b432b2e2bff50b258f5b -SIZE (stan-0.4.1.tar.gz) = 37471 |