Error while installing glibc 2.16.0 on ubuntu 12.04 LTS Post: 302711987

5 More Discussions You Might Find Interesting

1. Linux

Installing Firefox and now ended up installing latest glibc

Hi all, I wanted to install the latest version of firefox 2 but it seems when I attempt to install it, it seems to be saying it is looking for c libraries version 2.3? I believe I currently have an older version of the c libraries. I am currently running Sun's JDS Linux 2003. My Mozilla web...

2. Solaris

Ubuntu 10.04 LTS vs Solaris 10

Hello, I am considering Ubuntu 10.04 (ubuntu-10.04.3-desktop-amd64.iso) and also Solaris 10 (sol-10-u10-ga2-x86-dvd.iso) for different hardware applications and I had a few questions. The hardware on my laptop is: HP Pavilion dv4 2045-dx x64 laptop AMD Turion(tm) II Dual-Core Mobile M500...

3. Ubuntu

GUI for a single user using Ubuntu 10.04 LTS

I setup an Ubuntu 10.04 server which has several developers on the box. I have been ask to add a gui to the server. Only one developer want the gui to start when she logs in(runlevel 2 with a GUI). I am used to seeing an /etc/inittab file which I cannot seem to find under this Ubuntu version. So...

4. Ubuntu

Logging samba share in Ubuntu 12.04 LTS

Hi guys I am trying to log full_audit on my samba shares so I know who is creating, deleting, renaming, moving etc. files and directories in the samba/windows share. In my etc/samba/smb.conf file, under I have: # Audit settings full_audit: prefix = %u|%I|%S full_audit:failure =...

5. Ubuntu

Emacs printing with Ubuntu 14.04 LTS

I am trying to setup a development environment that mirrors my Windows and SCO Unix systems. I use emacs and I am having trouble printing. I keep getting the error message; Symbol's function definition is void: default-printer-name I have googled this and for possible answers for...

LEARN ABOUT DEBIAN

lts2pbes

LTS2PBES(1)							   User Commands						       LTS2PBES(1)

NAME

       lts2pbes - translates an LTS into an PBES

SYNOPSIS

       lts2pbes [OPTION]... [INFILE [OUTFILE]]

DESCRIPTION

       Translates  an LTS in INFILE and writes the resulting PBES to OUTFILE. If OUTFILE is not present, standard output is used. If INFILE is not
       present, standard input is used.

OPTIONS

       OPTION can be any of the following:

       -DFILE, --data=FILE
	      use FILE as the data and action specification. FILE must be a .mcrl2 file which does not contain an init clause.

       -fFILE, --formula=FILE
	      use the state formula from FILE

       -lFILE, --lps=FILE
	      use FILE for the data and action specification. FILE must be a .lps file.

       -mFILE, --mcrl2=FILE
	      use FILE as the data and action specification for the LTS. FILE must be a .mcrl2 file.

       --timings[=FILE]
	      append timing measurements to FILE. Measurements are written to standard error if no FILE is provided

       Standard options:

       -q, --quiet
	      do not display warning messages

       -v, --verbose
	      display short intermediate messages

       -d, --debug
	      display detailed intermediate messages

       --log-level=LEVEL
	      display intermediate messages up to and including level

       -h, --help
	      display help information

       --version
	      display version information

AUTHOR

       Written by Wieger Wesselink.

REPORTING BUGS

       Report bugs at <http://www.mcrl2.org/issuetracker>.

COPYRIGHT

       Copyright (C) 2012 Technische Universiteit Eindhoven.
       This   is   free   software.    You   may   redistribute   copies   of	it   under   the   terms   of	the   Boost    Software    License
       <http://www.boost.org/LICENSE_1_0.txt>.	There is NO WARRANTY, to the extent permitted by law.

SEE ALSO

       See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/lts2pbes>.

lts2pbes mCRL2 toolset 201202.0 (Release)			    April 2012							       LTS2PBES(1)