Bug#573943: mcrl2 and groovy: error when trying to install together

2010-03-16 Thread Paul van Tilburg
Hello,

On Mon, Mar 15, 2010 at 11:44:20PM +0100, Torsten Werner wrote:
 On Mon, Mar 15, 2010 at 9:29 AM, Ralf Treinen trei...@free.fr wrote:
  This bug is assigned to both packages. If you, the maintainers of
  the two packages in question, have agreed on which of the packages will
  resolve the problem please reassign the bug to that package.
 
 The groovy package has provided /usr/bin/grape earlier and has already
 transitioned to testing. That is why I suggest reassigning the bug to
 mcrl2.

While I don't particularly feel attached to the binary name, upstream
provides loads of documentation that tell people to run grape.
However, I will take it to thme to rename have it to grapemcrl2
or something.  I'll keep you all posted.

Paul

-- 
PhD Student @ Eindhoven | email: pau...@debian.org
University of Technology, The Netherlands   | JID: p...@luon.net
 Using the Power of Debian GNU/Linux  | GnuPG key ID: 0x50064181



-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Bug#573943: mcrl2 and groovy: error when trying to install together

2010-03-16 Thread Torsten Werner
reassign 573943 mcrl2
found 573943 201001-1
thanks

Hi Paul,

On Tue, Mar 16, 2010 at 7:59 PM, Paul van Tilburg pau...@debian.org wrote:
 However, I will take it to thme to rename have it to grapemcrl2
 or something.  I'll keep you all posted.

thank you for you cooperation!

Cheers,
Torsten



--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Processed: Re: Bug#573943: mcrl2 and groovy: error when trying to install together

2010-03-16 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org:

 reassign 573943 mcrl2
Bug #573943 [groovy,mcrl2] mcrl2 and groovy: error when trying to install 
together
Bug reassigned from package 'groovy,mcrl2' to 'mcrl2'.
 found 573943 201001-1
Bug #573943 [mcrl2] mcrl2 and groovy: error when trying to install together
Bug Marked as found in versions mcrl2/201001-1.
 thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)


-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org



Bug#573943: mcrl2 and groovy: error when trying to install together

2010-03-15 Thread Ralf Treinen
Package: groovy,mcrl2
Version: groovy/1.7.0-3
Version: mcrl2/201001-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite

Date: 2010-03-15
Architecture: amd64
Distribution: sid

Hi,

automatic installation tests of packages that share a file and at the
same time do not conflict by their package dependency relationships has
detected the following problem:


WARNING: The following packages cannot be authenticated!
  openjdk-6-jre-lib java-common default-jre-headless ca-certificates-java
  tzdata-java libavahi-common-data libavahi-common3 libdbus-1-3
  libavahi-client3 libcups2 liblcms1 libjpeg62 libnspr4-0d libnss3-1d
  libfreetype6 openjdk-6-jre-headless libasound2 libgif4 libpng12-0
  libasyncns0 libcap2 x11-common libice6 libsm6 libogg0 libflac8 libvorbis0a
  libvorbisenc2 libsndfile1 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6
  libxext6 libxi6 libxtst6 libpulse0 libxrender1 libpcre3 libglib2.0-0
  libatk1.0-0 libsysfs2 tsconf libts-0.0-0 libdirectfb-1.2-0 ucf
  ttf-dejavu-core fontconfig-config libfontconfig1 libpixman-1-0
  libxcb-render0 libxcb-render-util0 libcairo2 libgtk2.0-common libjasper1
  defoma fontconfig libpango1.0-common libdatrie1 libthai-data libthai0
  libxft2 libpango1.0-0 libtiff4 libxfixes3 libxcomposite1 libxcursor1
  libxdamage1 libxinerama1 libxrandr2 libxml2 shared-mime-info libgtk2.0-0
  default-jre libaccess-bridge-java libaccess-bridge-java-jni openjdk-6-jre
  libantlr-java antlr libasm3-java libbsf-java libclassworlds-java
  libcommons-lang-java libcommons-cli-java libcommons-logging-java
  libhamcrest-java junit4 libmockobjects-java libregexp-java
  libservlet2.4-java libjline-java libxpp3-java libxstream-java ivy groovy
  libboost-system1.41.0 libboost-filesystem1.41.0 libboost-signals1.41.0
  libboost-thread1.41.0 libdrm2 libxxf86vm1 libgl1-mesa-glx libglu1-mesa
  libwxbase2.8-0 libwxgtk2.8-0 mcrl2
W: cowdancer: unsupported operation flock, read-only open and 
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5408506
W: cowdancer: unsupported operation flock, read-only open and 
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
W: cowdancer: unsupported operation flock, read-only open and 
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5406756

Extracting templates from packages: 28%
Extracting templates from packages: 56%
Extracting templates from packages: 84%
Extracting templates from packages: 100%
Preconfiguring packages ...
Authentication warning overridden.
Can not write log, openpty() failed (/dev/pts not mounted?)
Selecting previously deselected package openjdk-6-jre-lib.
(Reading database ... 12194 files and directories currently installed.)
Unpacking openjdk-6-jre-lib (from .../openjdk-6-jre-lib_6b18~pre2-1_all.deb) ...
Selecting previously deselected package java-common.
Unpacking java-common (from .../java-common_0.34_all.deb) ...
Selecting previously deselected package default-jre-headless.
Unpacking default-jre-headless (from .../default-jre-headless_1.6-34_amd64.deb) 
...
Selecting previously deselected package ca-certificates-java.
Unpacking ca-certificates-java (from .../ca-certificates-java_20091021_all.deb) 
...
Selecting previously deselected package tzdata-java.
Unpacking tzdata-java (from .../tzdata-java_2010e-1_all.deb) ...
Selecting previously deselected package libavahi-common-data.
Unpacking libavahi-common-data (from 
.../libavahi-common-data_0.6.25-3_amd64.deb) ...
Selecting previously deselected package libavahi-common3.
Unpacking libavahi-common3 (from .../libavahi-common3_0.6.25-3_amd64.deb) ...
Selecting previously deselected package libdbus-1-3.
Unpacking libdbus-1-3 (from .../libdbus-1-3_1.2.20-2_amd64.deb) ...
Selecting previously deselected package libavahi-client3.
Unpacking libavahi-client3 (from .../libavahi-client3_0.6.25-3_amd64.deb) ...
Selecting previously deselected package libcups2.
Unpacking libcups2 (from .../libcups2_1.4.2-9.1_amd64.deb) ...
Selecting previously deselected package liblcms1.
Unpacking liblcms1 (from .../liblcms1_1.18.dfsg-1.2+b1_amd64.deb) ...
Selecting previously deselected package libjpeg62.
Unpacking libjpeg62 (from .../libjpeg62_6b-16.1_amd64.deb) ...
Selecting previously deselected package libnspr4-0d.
Unpacking libnspr4-0d (from .../libnspr4-0d_4.8.4-1_amd64.deb) ...
Selecting previously deselected package libnss3-1d.
Unpacking libnss3-1d (from .../libnss3-1d_3.12.5-2_amd64.deb) ...
Selecting previously deselected package libfreetype6.
Unpacking libfreetype6 (from .../libfreetype6_2.3.11-1_amd64.deb) ...
Selecting previously deselected package openjdk-6-jre-headless.
Unpacking openjdk-6-jre-headless (from 
.../openjdk-6-jre-headless_6b18~pre2-1_amd64.deb) ...
Selecting previously deselected package libasound2.
Unpacking libasound2 (from .../libasound2_1.0.22-2_amd64.deb) ...
Selecting previously deselected package libgif4.
Unpacking libgif4 (from .../libgif4_4.1.6-9_amd64.deb) ...
Selecting previously 

Bug#573943: mcrl2 and groovy: error when trying to install together

2010-03-15 Thread Torsten Werner
On Mon, Mar 15, 2010 at 9:29 AM, Ralf Treinen trei...@free.fr wrote:
 This bug is assigned to both packages. If you, the maintainers of
 the two packages in question, have agreed on which of the packages will
 resolve the problem please reassign the bug to that package.

The groovy package has provided /usr/bin/grape earlier and has already
transitioned to testing. That is why I suggest reassigning the bug to
mcrl2.

Cheers,
Torsten



-- 
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org