[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Demexp-dev] voting tools
From: |
skaller |
Subject: |
Re: [Demexp-dev] voting tools |
Date: |
23 Sep 2004 14:38:34 +1000 |
On Thu, 2004-09-23 at 14:06, skaller wrote:
> On Thu, 2004-09-23 at 06:03, David MENTRE wrote:
> > David MENTRE <address@hidden> writes:
> >
> > > My GNU Arch repository is at:
> > > address@hidden
> > > http://www.linux-france.org/~dmentre/arch-ive/
>
> Argg. I built and installed tla-1.2.1 from GNU.
> The regression test failed though. Sigh.
>
> Can I have exact instructions for Linux user to
> create image of repository?
Scrub that request, my tla is crashing itself
with a botched invariant making an archive.
--
John Skaller, mailto:address@hidden
voice: 061-2-9660-0850,
snail: PO BOX 401 Glebe NSW 2037 Australia
Checkout the Felix programming language http://felix.sf.net
- [Demexp-dev] voting tools, (continued)
- [Demexp-dev] voting tools, skaller, 2004/09/21
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/21
- Re: [Demexp-dev] voting tools, skaller, 2004/09/22
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/22
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/22
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/22
- Re: [Demexp-dev] voting tools, skaller, 2004/09/22
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/22
- Re: [Demexp-dev] voting tools, David MENTRE, 2004/09/22
- Re: [Demexp-dev] voting tools, skaller, 2004/09/23
- Re: [Demexp-dev] voting tools,
skaller <=
- Arch setup (was: Re: [Demexp-dev] voting tools), David MENTRE, 2004/09/23
- Re: Arch setup (was: Re: [Demexp-dev] voting tools), skaller, 2004/09/23
- [Demexp-dev] Re: Arch setup, David MENTRE, 2004/09/23
- [Demexp-dev] Re: Arch setup, David MENTRE, 2004/09/23
- [Demexp-dev] Re: Arch setup, skaller, 2004/09/23
- demexp software use (was: Re: [Demexp-dev] Thoughts on voting machines), David MENTRE, 2004/09/21
- Re: [Demexp-dev] Thoughts on voting machines, skaller, 2004/09/21
- Formal verification (was: Re: [Demexp-dev] Thoughts on voting machines), David MENTRE, 2004/09/21
- Target audience and security (was: Re: [Demexp-dev] Thoughts on voting machines), David MENTRE, 2004/09/21
- Re: Target audience and security (was: Re: [Demexp-dev] Thoughts on voting machines), William Neumann, 2004/09/21