[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:06:44 +1000 |
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?
--
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
- Re: [Demexp-dev] Thoughts on voting machines, (continued)
- Re: [Demexp-dev] Thoughts on voting machines, skaller, 2004/09/21
- [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 <=
- Re: [Demexp-dev] voting tools, skaller, 2004/09/23
- 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