diff options
| author | vs <vs@FreeBSD.org> | 2005-02-02 19:34:42 +0800 |
|---|---|---|
| committer | vs <vs@FreeBSD.org> | 2005-02-02 19:34:42 +0800 |
| commit | d917b2e0b9ead59b70cb736704731569886c650e (patch) | |
| tree | 8d42c3d73e10c19476850904d9e886ef8368fdda /math/coq/distinfo | |
| parent | 4cca5a092b2a079c963372a9629f4afb0234dd6d (diff) | |
| download | freebsd-ports-gnome-d917b2e0b9ead59b70cb736704731569886c650e.tar.gz freebsd-ports-gnome-d917b2e0b9ead59b70cb736704731569886c650e.tar.zst freebsd-ports-gnome-d917b2e0b9ead59b70cb736704731569886c650e.zip | |
Update to 8.0p2
PR: ports/76977
Submitted by: Rene Laden (maintainer)
Diffstat (limited to 'math/coq/distinfo')
| -rw-r--r-- | math/coq/distinfo | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/math/coq/distinfo b/math/coq/distinfo index 250d5e8b0910..9ad8ff14db26 100644 --- a/math/coq/distinfo +++ b/math/coq/distinfo @@ -1,4 +1,2 @@ -MD5 (coq-8.0pl1.tar.gz) = 95237e64081d7306fdea49e1988bde12 -SIZE (coq-8.0pl1.tar.gz) = 2272613 -MD5 (patch-coq-8.0pl1-ocaml-3.08.1) = 02ac210c6af5d8e258a2805a22822a8b -SIZE (patch-coq-8.0pl1-ocaml-3.08.1) = 1321 +MD5 (coq-8.0pl2.tar.gz) = 39ee0fed76e47a11de2f49e2c236ef79 +SIZE (coq-8.0pl2.tar.gz) = 2285855 |