diff options
| author | asau <asau> | 2009-12-12 21:12:43 +0000 |
|---|---|---|
| committer | asau <asau> | 2009-12-12 21:12:43 +0000 |
| commit | cd8c66202fd0bbc2ecaf768471bb112782be710a (patch) | |
| tree | a7967d425de457e45cb38ee07d0c7fa390f1ad87 /lang/coq/distinfo | |
| parent | f07b1a4d085f2b6d7fc06f0c7d8602aaf2faa158 (diff) | |
| download | pkgsrc-cd8c66202fd0bbc2ecaf768471bb112782be710a.tar.gz | |
Support staged installation.
Diffstat (limited to 'lang/coq/distinfo')
| -rw-r--r-- | lang/coq/distinfo | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/coq/distinfo b/lang/coq/distinfo index 7934cf35172..6084e1ce579 100644 --- a/lang/coq/distinfo +++ b/lang/coq/distinfo @@ -1,4 +1,4 @@ -$NetBSD: distinfo,v 1.9 2009/09/05 20:44:58 tonio Exp $ +$NetBSD: distinfo,v 1.10 2009/12/12 21:12:43 asau Exp $ SHA1 (coq-8.2pl1.tar.gz) = 4aed3302adc2edbaa5d97984512c1c13014bd649 RMD160 (coq-8.2pl1.tar.gz) = dd5758a94bb3de49967cec76baa33eb5169659ce @@ -6,3 +6,4 @@ Size (coq-8.2pl1.tar.gz) = 3600620 bytes SHA1 (patch-aa) = 2725d9fb667f6a66bf9cb6dd0bdcdbd94d8c1fd6 SHA1 (patch-ab) = 6573a11efab6ef7c026e8fd39b23e8596dee5a61 SHA1 (patch-ac) = 30780c9f96ad16c814a5edc50bd1edbd030aa9b5 +SHA1 (patch-ad) = 9bb28ca4eeb77d53d3665fbc4575bea1f57c738c |