k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] problems with installing K

From: "Seyed H. HAERI (Hossein)" <hossein.haeri AT gmail.com>
To: k-user AT cs.uiuc.edu
Subject: Re: [K-user] problems with installing K
Date: Tue, 7 Feb 2012 16:57:30 +0100
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user>
List-id: <k-user.cs.uiuc.edu>

Hi David,

Tried to follow these

>>> rm -rf $K_BASE/tools/maude-hs
>>> hg clone http://code.google.com/p/maude-hs $K_BASE/tools/maude-hs

and got:

hossein@ubuntu:~/Sources/k-framework$
rm -rf $K_BASE/tools/maude-hs
hossein@ubuntu:~/Sources/k-framework$
hg clone
http://code.google.com/p/maude-hs $K_BASE/tools/maude-hs
http authorization required
realm: Google Code hg Repository
user: k
password:
abort: HTTP Error 403: Forbidden

(I entered password = k.)

TTFN,
--Hossein

--------------------------------------------------------------------------------------------------------------

Seyed H. HAERI (Hossein)

Research Assistant
Institute for Software Systems (STS)
Technical University of Hamburg (TUHH)
Hamburg, Germany

ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------

Re: [K-user] problems with installing K, David Lazar, 02/07/2012
- Re: [K-user] problems with installing K, Seyed H. HAERI (Hossein), 02/07/2012