Your message dated Sun, 11 Apr 2010 17:32:42 +0000
with message-id <e1o111w-0007mu...@ries.debian.org>
and subject line Bug#573943: fixed in mcrl2 201001+svn7611-1
has caused the Debian Bug report #573943,
regarding mcrl2 and groovy: error when trying to install together
to be marked as done.
This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.
(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact ow...@bugs.debian.org
immediately.)
--
573943: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=573943
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
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 deselected package libpng12-0.
Unpacking libpng12-0 (from .../libpng12-0_1.2.43-1_amd64.deb) ...
Selecting previously deselected package libasyncns0.
Unpacking libasyncns0 (from .../libasyncns0_0.3-1_amd64.deb) ...
Selecting previously deselected package libcap2.
Unpacking libcap2 (from .../libcap2_1%3a2.17-2_amd64.deb) ...
Selecting previously deselected package x11-common.
Unpacking x11-common (from .../x11-common_1%3a7.5+5_all.deb) ...
W: cowdancer: unsupported operation flock, read-only open and
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
Selecting previously deselected package libice6.
Unpacking libice6 (from .../libice6_2%3a1.0.6-1_amd64.deb) ...
Selecting previously deselected package libsm6.
Unpacking libsm6 (from .../libsm6_2%3a1.1.1-1_amd64.deb) ...
Selecting previously deselected package libogg0.
Unpacking libogg0 (from .../libogg0_1.1.4~dfsg-2_amd64.deb) ...
Selecting previously deselected package libflac8.
Unpacking libflac8 (from .../libflac8_1.2.1-2+b1_amd64.deb) ...
Selecting previously deselected package libvorbis0a.
Unpacking libvorbis0a (from .../libvorbis0a_1.2.3-3_amd64.deb) ...
Selecting previously deselected package libvorbisenc2.
Unpacking libvorbisenc2 (from .../libvorbisenc2_1.2.3-3_amd64.deb) ...
Selecting previously deselected package libsndfile1.
Unpacking libsndfile1 (from .../libsndfile1_1.0.21-2_amd64.deb) ...
Selecting previously deselected package libxau6.
Unpacking libxau6 (from .../libxau6_1%3a1.0.5-2_amd64.deb) ...
Selecting previously deselected package libxdmcp6.
Unpacking libxdmcp6 (from .../libxdmcp6_1%3a1.0.3-2_amd64.deb) ...
Selecting previously deselected package libxcb1.
Unpacking libxcb1 (from .../libxcb1_1.5-3_amd64.deb) ...
Selecting previously deselected package libx11-data.
Unpacking libx11-data (from .../libx11-data_2%3a1.3.3-2_all.deb) ...
Selecting previously deselected package libx11-6.
Unpacking libx11-6 (from .../libx11-6_2%3a1.3.3-2_amd64.deb) ...
Selecting previously deselected package libxext6.
Unpacking libxext6 (from .../libxext6_2%3a1.1.1-3_amd64.deb) ...
Selecting previously deselected package libxi6.
Unpacking libxi6 (from .../libxi6_2%3a1.3-3_amd64.deb) ...
Selecting previously deselected package libxtst6.
Unpacking libxtst6 (from .../libxtst6_2%3a1.1.0-2_amd64.deb) ...
Selecting previously deselected package libpulse0.
Unpacking libpulse0 (from .../libpulse0_0.9.21-1_amd64.deb) ...
Selecting previously deselected package libxrender1.
Unpacking libxrender1 (from .../libxrender1_1%3a0.9.5-2_amd64.deb) ...
Selecting previously deselected package libpcre3.
Unpacking libpcre3 (from .../libpcre3_7.8-3_amd64.deb) ...
Selecting previously deselected package libglib2.0-0.
Unpacking libglib2.0-0 (from .../libglib2.0-0_2.22.4-1_amd64.deb) ...
Selecting previously deselected package libatk1.0-0.
Unpacking libatk1.0-0 (from .../libatk1.0-0_1.28.0-1_amd64.deb) ...
Selecting previously deselected package libsysfs2.
Unpacking libsysfs2 (from .../libsysfs2_2.1.0-6_amd64.deb) ...
Selecting previously deselected package tsconf.
Unpacking tsconf (from .../archives/tsconf_1.0-7_all.deb) ...
Selecting previously deselected package libts-0.0-0.
Unpacking libts-0.0-0 (from .../libts-0.0-0_1.0-7_amd64.deb) ...
Selecting previously deselected package libdirectfb-1.2-0.
Unpacking libdirectfb-1.2-0 (from
.../libdirectfb-1.2-0_1.2.10really1.2.8-1+b1_amd64.deb) ...
Selecting previously deselected package ucf.
Unpacking ucf (from .../archives/ucf_3.0025_all.deb) ...
Moving old data out of the way
Selecting previously deselected package ttf-dejavu-core.
Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.30-2_all.deb) ...
Selecting previously deselected package fontconfig-config.
Unpacking fontconfig-config (from .../fontconfig-config_2.8.0-2_all.deb) ...
Selecting previously deselected package libfontconfig1.
Unpacking libfontconfig1 (from .../libfontconfig1_2.8.0-2_amd64.deb) ...
Selecting previously deselected package libpixman-1-0.
Unpacking libpixman-1-0 (from .../libpixman-1-0_0.16.4-1_amd64.deb) ...
Selecting previously deselected package libxcb-render0.
Unpacking libxcb-render0 (from .../libxcb-render0_1.5-3_amd64.deb) ...
Selecting previously deselected package libxcb-render-util0.
Unpacking libxcb-render-util0 (from .../libxcb-render-util0_0.3.6-1_amd64.deb)
...
Selecting previously deselected package libcairo2.
Unpacking libcairo2 (from .../libcairo2_1.8.10-2_amd64.deb) ...
Selecting previously deselected package libgtk2.0-common.
Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.18.7-1_all.deb) ...
Selecting previously deselected package libjasper1.
Unpacking libjasper1 (from .../libjasper1_1.900.1-7_amd64.deb) ...
Selecting previously deselected package defoma.
Unpacking defoma (from .../defoma_0.11.10-4_all.deb) ...
Selecting previously deselected package fontconfig.
Unpacking fontconfig (from .../fontconfig_2.8.0-2_amd64.deb) ...
Selecting previously deselected package libpango1.0-common.
Unpacking libpango1.0-common (from .../libpango1.0-common_1.26.2-1_all.deb) ...
Selecting previously deselected package libdatrie1.
Unpacking libdatrie1 (from .../libdatrie1_0.2.3-1_amd64.deb) ...
Selecting previously deselected package libthai-data.
Unpacking libthai-data (from .../libthai-data_0.1.14-2_all.deb) ...
Selecting previously deselected package libthai0.
Unpacking libthai0 (from .../libthai0_0.1.14-2_amd64.deb) ...
Selecting previously deselected package libxft2.
Unpacking libxft2 (from .../libxft2_2.1.14-2_amd64.deb) ...
Selecting previously deselected package libpango1.0-0.
Unpacking libpango1.0-0 (from .../libpango1.0-0_1.26.2-1_amd64.deb) ...
Selecting previously deselected package libtiff4.
Unpacking libtiff4 (from .../libtiff4_3.9.2-3+b1_amd64.deb) ...
Selecting previously deselected package libxfixes3.
Unpacking libxfixes3 (from .../libxfixes3_1%3a4.0.4-2_amd64.deb) ...
Selecting previously deselected package libxcomposite1.
Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.1-1_amd64.deb) ...
Selecting previously deselected package libxcursor1.
Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.10-2_amd64.deb) ...
Selecting previously deselected package libxdamage1.
Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.2-1_amd64.deb) ...
Selecting previously deselected package libxinerama1.
Unpacking libxinerama1 (from .../libxinerama1_2%3a1.1-3_amd64.deb) ...
Selecting previously deselected package libxrandr2.
Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.0-3_amd64.deb) ...
Selecting previously deselected package libxml2.
Unpacking libxml2 (from .../libxml2_2.7.6.dfsg-2+b1_amd64.deb) ...
Selecting previously deselected package shared-mime-info.
Unpacking shared-mime-info (from .../shared-mime-info_0.71-1_amd64.deb) ...
Selecting previously deselected package libgtk2.0-0.
Unpacking libgtk2.0-0 (from .../libgtk2.0-0_2.18.7-1_amd64.deb) ...
Selecting previously deselected package default-jre.
Unpacking default-jre (from .../default-jre_1.6-34_amd64.deb) ...
Selecting previously deselected package libaccess-bridge-java.
Unpacking libaccess-bridge-java (from
.../libaccess-bridge-java_1.26.2-4_all.deb) ...
Selecting previously deselected package libaccess-bridge-java-jni.
Unpacking libaccess-bridge-java-jni (from
.../libaccess-bridge-java-jni_1.26.2-4_amd64.deb) ...
Selecting previously deselected package openjdk-6-jre.
Unpacking openjdk-6-jre (from .../openjdk-6-jre_6b18~pre2-1_amd64.deb) ...
Selecting previously deselected package libantlr-java.
Unpacking libantlr-java (from .../libantlr-java_2.7.7-15_all.deb) ...
Selecting previously deselected package antlr.
Unpacking antlr (from .../antlr_2.7.7-15_all.deb) ...
Selecting previously deselected package libasm3-java.
Unpacking libasm3-java (from .../libasm3-java_3.2-3_all.deb) ...
Selecting previously deselected package libbsf-java.
Unpacking libbsf-java (from .../libbsf-java_1%3a2.4.0-3_all.deb) ...
Selecting previously deselected package libclassworlds-java.
Unpacking libclassworlds-java (from
.../libclassworlds-java_1.1-final-4_all.deb) ...
Selecting previously deselected package libcommons-lang-java.
Unpacking libcommons-lang-java (from .../libcommons-lang-java_2.4-4_all.deb) ...
Selecting previously deselected package libcommons-cli-java.
Unpacking libcommons-cli-java (from .../libcommons-cli-java_1.2-2_all.deb) ...
Selecting previously deselected package libcommons-logging-java.
Unpacking libcommons-logging-java (from
.../libcommons-logging-java_1.1.1-6_all.deb) ...
Selecting previously deselected package libhamcrest-java.
Unpacking libhamcrest-java (from .../libhamcrest-java_1.1-5_all.deb) ...
Selecting previously deselected package junit4.
Unpacking junit4 (from .../junit4_4.8.1-3_all.deb) ...
Selecting previously deselected package libmockobjects-java.
Unpacking libmockobjects-java (from .../libmockobjects-java_0.09-3_all.deb) ...
Selecting previously deselected package libregexp-java.
Unpacking libregexp-java (from .../libregexp-java_1.5-2_all.deb) ...
Selecting previously deselected package libservlet2.4-java.
Unpacking libservlet2.4-java (from .../libservlet2.4-java_5.0.30-12_all.deb) ...
Selecting previously deselected package libjline-java.
Unpacking libjline-java (from .../libjline-java_0.9.94-5_all.deb) ...
Selecting previously deselected package libxpp3-java.
Unpacking libxpp3-java (from .../libxpp3-java_1.1.4c-1_all.deb) ...
Selecting previously deselected package libxstream-java.
Unpacking libxstream-java (from .../libxstream-java_1.3.1-6_all.deb) ...
Selecting previously deselected package ivy.
Unpacking ivy (from .../archives/ivy_2.1.0-1_all.deb) ...
Selecting previously deselected package groovy.
Unpacking groovy (from .../groovy_1.7.0-3_all.deb) ...
Selecting previously deselected package libboost-system1.41.0.
Unpacking libboost-system1.41.0 (from
.../libboost-system1.41.0_1.41.0-3+b1_amd64.deb) ...
Selecting previously deselected package libboost-filesystem1.41.0.
Unpacking libboost-filesystem1.41.0 (from
.../libboost-filesystem1.41.0_1.41.0-3+b1_amd64.deb) ...
Selecting previously deselected package libboost-signals1.41.0.
Unpacking libboost-signals1.41.0 (from
.../libboost-signals1.41.0_1.41.0-3+b1_amd64.deb) ...
Selecting previously deselected package libboost-thread1.41.0.
Unpacking libboost-thread1.41.0 (from
.../libboost-thread1.41.0_1.41.0-3+b1_amd64.deb) ...
Selecting previously deselected package libdrm2.
Unpacking libdrm2 (from .../libdrm2_2.4.18-2_amd64.deb) ...
Selecting previously deselected package libxxf86vm1.
Unpacking libxxf86vm1 (from .../libxxf86vm1_1%3a1.1.0-2_amd64.deb) ...
Selecting previously deselected package libgl1-mesa-glx.
Unpacking libgl1-mesa-glx (from .../libgl1-mesa-glx_7.7-4_amd64.deb) ...
Selecting previously deselected package libglu1-mesa.
Unpacking libglu1-mesa (from .../libglu1-mesa_7.7-4_amd64.deb) ...
Selecting previously deselected package libwxbase2.8-0.
Unpacking libwxbase2.8-0 (from .../libwxbase2.8-0_2.8.10.1-3_amd64.deb) ...
Selecting previously deselected package libwxgtk2.8-0.
Unpacking libwxgtk2.8-0 (from .../libwxgtk2.8-0_2.8.10.1-3_amd64.deb) ...
Selecting previously deselected package mcrl2.
Unpacking mcrl2 (from .../mcrl2_201001-1_amd64.deb) ...
dpkg: error processing /var/cache/apt/archives/mcrl2_201001-1_amd64.deb
(--unpack):
trying to overwrite '/usr/bin/grape', which is also in package groovy 0:1.7.0-3
dpkg-deb: subprocess paste killed by signal (Broken pipe)
Processing triggers for man-db ...
W: cowdancer: unsupported operation flock, read-only open and
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
Errors were encountered while processing:
/var/cache/apt/archives/mcrl2_201001-1_amd64.deb
E: Sub-process /usr/bin/dpkg returned an error code (1)
This is a serious bug as it makes installation fail, and violates
sections 7.6.1 and 10.1 of the policy. An optimal solution would
consist in only one of the packages installing that file, and renaming
or removing the file in the other package. Depending on the
circumstances you might also consider Replace relations or file
diversions. If the conflicting situation cannot be resolved then, as a
last resort, the two packages have to declare a mutual
Conflict. Please take into account that Replaces, Conflicts and
diversions should only be used when packages provide different
implementations for the same functionality.
Here is a list of files that are known to be shared by both packages
(according to the Contents file for sid/amd64, which may be
slightly out of sync):
/usr/bin/grape
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.
-Ralf.
PS: for more information about the detection of file overwrite errors
of this kind see http://edos.debian.net/file-overwrites/.
--- End Message ---
--- Begin Message ---
Source: mcrl2
Source-Version: 201001+svn7611-1
We believe that the bug you reported is fixed in the latest version of
mcrl2, which is due to be installed in the Debian FTP archive:
mcrl2_201001+svn7611-1.debian.tar.gz
to main/m/mcrl2/mcrl2_201001+svn7611-1.debian.tar.gz
mcrl2_201001+svn7611-1.dsc
to main/m/mcrl2/mcrl2_201001+svn7611-1.dsc
mcrl2_201001+svn7611-1_amd64.deb
to main/m/mcrl2/mcrl2_201001+svn7611-1_amd64.deb
mcrl2_201001+svn7611.orig.tar.gz
to main/m/mcrl2/mcrl2_201001+svn7611.orig.tar.gz
A summary of the changes between this version and the previous one is
attached.
Thank you for reporting the bug, which will now be closed. If you
have further comments please address them to 573...@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.
Debian distribution maintenance software
pp.
Paul van Tilburg <pau...@debian.org> (supplier of updated mcrl2 package)
(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmas...@debian.org)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Sun, 11 Apr 2010 17:18:35 +0200
Source: mcrl2
Binary: mcrl2
Architecture: source amd64
Version: 201001+svn7611-1
Distribution: unstable
Urgency: low
Maintainer: Paul van Tilburg <pau...@debian.org>
Changed-By: Paul van Tilburg <pau...@debian.org>
Description:
mcrl2 - the mCRL2 formal specification language toolset
Closes: 573844 573943 573944 577289
Changes:
mcrl2 (201001+svn7611-1) unstable; urgency=low
.
* New SVN snapshot upload:
- Features renaming of sim and xsim to lpssim and lpsxsim
(closes: #573944).
- Features renaming of grape to grapemcrl2 (closes: #573943).
- Fixes documentation/examples install issue.
* debian/control:
- Changed build-depends to build against Boost 1.42.
Closes: #573844, #577289.
* debian/rules:
- Removed documentation directory mkdir/mv/rmdir commands from the
install target now that this is fixed upstream.
* debian/source/format: Switched to source format 3.0 (quilt).
Checksums-Sha1:
66f9a3e51f7de46fc70947dd979870fee973adb5 1513 mcrl2_201001+svn7611-1.dsc
ca24c8ecd5a19d9faba96109baf017a6fa9dd7cb 4834726
mcrl2_201001+svn7611.orig.tar.gz
12e85a838724ca2ef7ea24bff6c2081cfa34c772 5320
mcrl2_201001+svn7611-1.debian.tar.gz
0c6f358d023f8e05f71ef3222f418a9b904b3fea 9745058
mcrl2_201001+svn7611-1_amd64.deb
Checksums-Sha256:
f6d4d8426338b2b22e2c7a91db4e4f8ea61d9e6d107c4d5092eebb47b7f7ba80 1513
mcrl2_201001+svn7611-1.dsc
1bcc26b9b2a32266e2ec85aacdee53e03c9153f96b45dd5c66f2240f1d682422 4834726
mcrl2_201001+svn7611.orig.tar.gz
978541891edb64aadf1c5839a9e3f29e377d39e4d054edf84ab9f491f6be8291 5320
mcrl2_201001+svn7611-1.debian.tar.gz
61b79ebb7afc201a3e9a7b2764771dc48b4d5107dd7ce1e70a171fb56ce82fc4 9745058
mcrl2_201001+svn7611-1_amd64.deb
Files:
22fb54eab7ce33bba029b701020e7aed 1513 math extra mcrl2_201001+svn7611-1.dsc
86832e7eab20463ac4839db3ae463e4f 4834726 math extra
mcrl2_201001+svn7611.orig.tar.gz
9086527c4b713d15f91d02c05bc2f239 5320 math extra
mcrl2_201001+svn7611-1.debian.tar.gz
af84fc177e3ee934afd044896eb52f41 9745058 math extra
mcrl2_201001+svn7611-1_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAkvCBWwACgkQJBBhylAGQYFlfgCeKUP6tACybdcUBImWNMYUpHWQ
3tgAnRrXowWvdqAz2aYdhoAQizHybArg
=BlZH
-----END PGP SIGNATURE-----
--- End Message ---
