From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=BAYES_00,INVALID_MSGID, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,4eb65fab6deaa097 X-Google-Attributes: gid103376,public From: kilgallen@eisner.decus.org (Larry Kilgallen) Subject: Re: Lack of Mature Tools (was: Lockheed Martin, Green Hills, etc.) Date: 2000/04/26 Message-ID: <2000Apr26.112902.1@eisner>#1/1 X-Deja-AN: 615945204 References: <4eaJ4.23498$hh2.538870@news.flash.net> <8d4lpa$ffu$1@nnrp1.deja.com> <8d531v$vcr$1@nnrp1.deja.com> <8d57mo$4d9@chronicle.concentric.net> <390472E9.E0A17BC6@ftw.rsc.raytheon.com> <8e5hr4$imt$1@nnrp1.deja.com> <87wvll7a5h.fsf@think.mihalis.net> <39069B90.C9A74221@earthlink.net> <87ln212ghg.fsf@think.mihalis.net> <8e6upv$3au$1@nnrp1.deja.com> X-Trace: news.decus.org 956762945 29259 KILGALLEN [216.44.122.34] Organization: LJK Software Reply-To: Kilgallen@eisner.decus.org.nospam Newsgroups: comp.lang.ada Date: 2000-04-26T00:00:00+00:00 List-Id: In article <8e6upv$3au$1@nnrp1.deja.com>, Robert Dewar writes: > In article <87ln212ghg.fsf@think.mihalis.net>, > Chris Morgan wrote: >> Fair enough. But if I download this new p version and >> have a problem, it shouldn't be hard to verify my version. > > Well you wil have to find someone willing to provide the > guarantees for that verification. Ada Core Technologies is > not prepared to provide any guarantees here. And what constitutes "verification" ? One test might be whether it matches what everybody else has. With a little effort, Chris or somebody similarly motivated could set up a service where everybody submitted _their_ MD5 hash of the such-and-such package and learned whether it matched the MD5 hash others had submitted.