From fneuhaus at web.de  Wed Sep 23 23:58:57 2015
From: fneuhaus at web.de (Fabian Neuhaus)
Date: Wed, 23 Sep 2015 17:58:57 -0400
Subject: [Hets-users] hets installation problems (urgent)
In-Reply-To: <55CF3619.8000604@iws.cs.uni-magdeburg.de>
References: <6D4CA99E-8BA1-42FF-B82A-3166D769E520@web.de>
	<55CCFC48.9060207@web.de> <55CD6C79.3020004@gmail.com>
	<55CE0CE1.9010500@web.de>
	<55CE1370.8010703@iws.cs.uni-magdeburg.de>
	<55CE28B6.6040600@gmail.com> <55CE3FFE.9060802@web.de>
	<55CF0508.7040009@iws.cs.uni-magdeburg.de>
	<55CF1BB1.5070002@iws.cs.uni-magdeburg.de> <55CF333F.40309@web.de>
	<55CF3619.8000604@iws.cs.uni-magdeburg.de>
Message-ID: <170BD9FE-C511-463C-9CF0-97FBFC60FA95@web.de>

Hi, 
I have problem to install hets. 

sudo apt-get install hets-core
leads to the following
Reading package lists ?  Done
Building dependency tree 
Reading state information ? Done 
E: Unable to locate package hets 

I tried 
sudo apt-get update

This did not help. 

Since I am going to run a demo tomorrow, quick help would be appreciated. 

best
Fabian 

From rick at rickmurphy.org  Thu Sep 24 01:41:28 2015
From: rick at rickmurphy.org (rick)
Date: Wed, 23 Sep 2015 19:41:28 -0400
Subject: [Hets-users] hets installation problems (urgent)
In-Reply-To: <170BD9FE-C511-463C-9CF0-97FBFC60FA95@web.de>
References: <6D4CA99E-8BA1-42FF-B82A-3166D769E520@web.de>
	<55CCFC48.9060207@web.de> <55CD6C79.3020004@gmail.com>
	<55CE0CE1.9010500@web.de> <55CE1370.8010703@iws.cs.uni-magdeburg.de>
	<55CE28B6.6040600@gmail.com> <55CE3FFE.9060802@web.de>
	<55CF0508.7040009@iws.cs.uni-magdeburg.de>
	<55CF1BB1.5070002@iws.cs.uni-magdeburg.de> <55CF333F.40309@web.de>
	<55CF3619.8000604@iws.cs.uni-magdeburg.de>
	<170BD9FE-C511-463C-9CF0-97FBFC60FA95@web.de>
Message-ID: <560338A8.9060804@rickmurphy.org>

I was able to reproduce your results. You may be able to download the
latest release here

http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/linux64/releasedhets.bz2

--
Rick

On 09/23/2015 05:58 PM, Fabian Neuhaus wrote:
> Hi, 
> I have problem to install hets. 
> 
> sudo apt-get install hets-core
> leads to the following
> Reading package lists ?  Done
> Building dependency tree 
> Reading state information ? Done 
> E: Unable to locate package hets 
> 
> I tried 
> sudo apt-get update
> 
> This did not help. 
> 
> Since I am going to run a demo tomorrow, quick help would be appreciated. 
> 
> best
> Fabian 
> _______________________________________________
> Hets-users mailing list
> Hets-users at informatik.uni-bremen.de
> https://mailman.informatik.uni-bremen.de/mailman/listinfo/hets-users
> 


-- 
Rick

From till at iws.cs.uni-magdeburg.de  Thu Sep 24 07:30:17 2015
From: till at iws.cs.uni-magdeburg.de (Till Mossakowski)
Date: Thu, 24 Sep 2015 07:30:17 +0200
Subject: [Hets-users] hets installation problems (urgent)
In-Reply-To: <560338A8.9060804@rickmurphy.org>
References: <6D4CA99E-8BA1-42FF-B82A-3166D769E520@web.de>
	<55CCFC48.9060207@web.de> <55CD6C79.3020004@gmail.com>
	<55CE0CE1.9010500@web.de> <55CE1370.8010703@iws.cs.uni-magdeburg.de>
	<55CE28B6.6040600@gmail.com> <55CE3FFE.9060802@web.de>
	<55CF0508.7040009@iws.cs.uni-magdeburg.de>
	<55CF1BB1.5070002@iws.cs.uni-magdeburg.de> <55CF333F.40309@web.de>
	<55CF3619.8000604@iws.cs.uni-magdeburg.de>
	<170BD9FE-C511-463C-9CF0-97FBFC60FA95@web.de>
	<560338A8.9060804@rickmurphy.org>
Message-ID: <56038A69.3070609@iws.cs.uni-magdeburg.de>

what does (in a terminal)

cat /etc/issue
apt-cache policy hets

give?

did you do a

sudo apt-add-repository ppa:hets/hets


Best, Till


Am 24.09.2015 um 01:41 schrieb rick:
> I was able to reproduce your results. You may be able to download the
> latest release here
>
> http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/linux64/releasedhets.bz2
>
> --
> Rick
>
> On 09/23/2015 05:58 PM, Fabian Neuhaus wrote:
>> Hi,
>> I have problem to install hets.
>>
>> sudo apt-get install hets-core
>> leads to the following
>> Reading package lists ?  Done
>> Building dependency tree
>> Reading state information ? Done
>> E: Unable to locate package hets
>>
>> I tried
>> sudo apt-get update
>>
>> This did not help.
>>
>> Since I am going to run a demo tomorrow, quick help would be appreciated.
>>
>> best
>> Fabian
>> _______________________________________________
>> Hets-users mailing list
>> Hets-users at informatik.uni-bremen.de
>> https://mailman.informatik.uni-bremen.de/mailman/listinfo/hets-users
>>
>