diff options
| author | pav <pav@FreeBSD.org> | 2005-11-25 23:48:16 +0800 |
|---|---|---|
| committer | pav <pav@FreeBSD.org> | 2005-11-25 23:48:16 +0800 |
| commit | f078244c2e0713b6ddf752c020a920c3a3bb1eca (patch) | |
| tree | a5f54edf6ac5cf7a58ac78729aa4bf483a48a94b /math/coq | |
| parent | 2cd7f7ed2385a73794d0540e21d7ae9290ed01da (diff) | |
| download | freebsd-ports-gnome-f078244c2e0713b6ddf752c020a920c3a3bb1eca.tar.gz freebsd-ports-gnome-f078244c2e0713b6ddf752c020a920c3a3bb1eca.tar.zst freebsd-ports-gnome-f078244c2e0713b6ddf752c020a920c3a3bb1eca.zip | |
- Add SHA256
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/distinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/math/coq/distinfo b/math/coq/distinfo index 9ad8ff14db26..8f40e833fbc8 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,2 +1,3 @@ MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79 +SHA256 (coq-8.0pl2.tar.gz) = 95e0180b560dd3efc006dd88f4996b5b2dca70d895b058be8e1def490c52842b SIZE (coq-8.0pl2.tar.gz) = 2285855 |