Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 45, Issue 3

[Raphael Mack]

Sorry for the late response. I thought about that several times, but I
did not come to any further conclusion then the proposal I did before:
Did you do a

sudo apt-get update

after adding the

[trusted=yes] 

into the sources.list?

For me here with Debian 10 it works as expected... Any further
investigation and idea how to solve it is warmly welcome! I'd like to
fix it, in case it is a server / repository issue.

In case this still does not work, you could give the source variant a
try and bootstrap as in 
https://wiki.liberty-eiffel.org/index.php/Getting_Started#Bootstrap_fro
m_tarball

or 
https://wiki.liberty-eiffel.org/index.php/Getting_Started#Bootstrap_from_git_source

it takes a little longer but should work.

Regards,
Rapha


Am Samstag, den 09.03.2019, 10:01 +0300 schrieb Igor Tanski:
> Now I tried to install the liberty eiffel packages step by step. No
> success again:
> 
> sudo apt-get install liberty-eiffel-tools
> [sudo] password for igor:
> Reading package lists... Done
> Building dependency tree
> Reading state information... Done
> E: Unable to locate package liberty-eiffel-tools
> 
> sudo apt-get install liberty-eiffel-extra-libs
> Reading package lists... Done
> Building dependency tree
> Reading state information... Done
> E: Unable to locate package liberty-eiffel-extra-libs
> 
> sudo apt-get install liberty-eiffel-core-libs
> Reading package lists... Done
> Building dependency tree
> Reading state information... Done
> E: Unable to locate package liberty-eiffel-core-libs
> 
> With my best wishes
> IT
> 
> On 07/03/2019, address@hidden
> <address@hidden> wrote:
> > Send Liberty-eiffel mailing list submissions to
> >     address@hidden
> > 
> > To subscribe or unsubscribe via the World Wide Web, visit
> >     https://lists.gnu.org/mailman/listinfo/liberty-eiffel
> > or, via email, send a message with subject or body 'help' to
> >     address@hidden
> > 
> > You can reach the person managing the list at
> >     address@hidden
> > 
> > When replying, please edit your Subject line so it is more specific
> > than "Re: Contents of Liberty-eiffel digest..."
> > 
> > 
> > Today's Topics:
> > 
> >    1. Re: Liberty-eiffel Digest, Vol 44, Issue 6 (Germ?n A. Arias)
> > 
> > 
> > -----------------------------------------------------------------
> > -----
> > 
> > Message: 1
> > Date: Wed, 06 Mar 2019 19:25:47 -0600
> > From: Germ?n "A. Arias" <address@hidden>
> > To: Raphael Mack <address@hidden>
> > Cc: address@hidden
> > Subject: Re: [Liberty-eiffel] Liberty-eiffel Digest, Vol 44, Issue
> > 6
> > Message-ID: <address@hidden>
> > Content-Type: text/plain; charset="UTF-8"
> > 
> > Hi Igor,
> > 
> > I try in my desktop PC with an old Ubuntu based system. I remove
> > the
> > Liberty-Eiffel packages and then try to reinstall it again. I get
> > the
> > error reported by Igor. So, I don't know what is going wrong here
> > because when I install these packages some years ago it worked
> > without
> > problem. But you can install these packages that are all you need
> > to
> > compile Eiffel programs:
> > 
> > liberty-eiffel-tools
> > liberty-eiffel-extra-libs
> > liberty-eiffel-core-libs
> > 
> > Regards
> > Germ?n
> > 
> > El mar, 05-03-2019 a las 22:01 +0100, Raphael Mack escribi?:
> > > Mh. I am currently on vacation without access to my dev computer,
> > > so I
> > > can only propose some things from the memories. Libertyeiffel is
> > > provided in several packages for tools, libraries, wrappers and
> > > docs.
> > > The package liberty-eiffel-all just pulls all of them. You can
> > > try to
> > > search which packages for libertyeiffel are available after 'apt-
> > > get
> > > update' e.g. with aptitude and use / there to search for liberty
> > > or
> > > eiffel (in case there is a typo in liberty-eiffel or something
> > > like
> > > that).
> > > 
> > > I hope that helps.
> > > 
> > > Regards,
> > > Rapha
> > > 
> > > Am 2. M?rz 2019 18:48:34 MEZ schrieb Igor Tanski
> > > <address@hidden>:
> > >         On 25/02/2019, address@hidden
> > >         <address@hidden> wrote:
> > >                  Send Liberty-eiffel mailing list submissions to
> > >                   address@hidden
> > > 
> > >                  To subscribe or unsubscribe via the World Wide
> > > Web,
> > > visit
> > >                   
> > > https://lists.gnu.org/mailman/listinfo/liberty-eiffel
> > >                  or, via email, send a message with subject or
> > > body 'help'
> > > to
> > >                   address@hidden
> > > 
> > >                  You can reach the person managing the list at
> > >                   address@hidden
> > > 
> > >                  When replying, please edit your Subject line so
> > > it is
> > > more specific
> > >                  than "Re: Contents of Liberty-eiffel digest..."
> > > 
> > > 
> > >                  Today's Topics:
> > > 
> > >                     1. Re: Liberty-eiffel Digest, Vol 44, Issue 4
> > > (Raphael
> > > Mack)
> > >                 _________________________________________________
> > > _____
> > >                  Message: 1
> > >                  Date: Sun, 24 Feb 2019 19:25:38 +0100
> > >                  From: Raphael Mack <address@hidden>
> > >                  To: address@hidden
> > >                  Subject: Re: [Liberty-eiffel] Liberty-eiffel
> > > Digest, Vol
> > > 44, Issue 4
> > >                  Message-ID:
> > > 
> > >   <address@hidden
> > > >
> > >                  Content-Type: text/plain; charset="UTF-8"
> > > 
> > >                  Hi,
> > > 
> > >                  ok, it is due to the fact that we have so
> > > signatures in
> > > the repo. You
> > >                  can workaround it with
> > > 
> > >                  deb [trusted=yes] http://apt.liberty-eiffel.org/
> > >  release
> > > main
> > > 
> > >                  in your sources.list
> > > 
> > >                  But yes, in the long run we need to setup the
> > > signing
> > > process of the
> > >                  deb files and the repository.
> > > 
> > >                  Best regards,
> > >                  Rapha
> > > 
> > > 
> > >         Hello,
> > > 
> > >         Thank you for advice, but it still not works.
> > >         Now the output is:
> > > 
> > >         Now it is:
> > >         sudo apt-get install liberty-eiffel-all
> > >         Reading package lists... Done
> > >         Building dependency tree
> > >         Reading state information... Done
> > >         E: Unable to locate package liberty-eiffel-all
> > > 
> > >         I unchecked both "main" and "main(SourceCode)" items.
> > > 
> > >         With my best wishes
> > >         Tanski Igor
> > > 
> > > 
> > > --
> > > WhatsApp? Nein aber XMPP/Jabber!
> > > App: Conversations
> > > Kontakt: address@hidden
> > 
> > 
> > 
> > 
> > ------------------------------
> > 
> > Subject: Digest Footer
> > 
> > _______________________________________________
> > Liberty-eiffel mailing list
> > address@hidden
> > https://lists.gnu.org/mailman/listinfo/liberty-eiffel
> > 
> > 
> > ------------------------------
> > 
> > End of Liberty-eiffel Digest, Vol 45, Issue 3
> > *********************************************
> > 
-- 
WhatsApp? Nein aber XMPP/Jabber!
App: Conversations
Kontakt: address@hidden