Your message dated Sun, 11 Apr 2010 17:32:42 +0000
with message-id <e1o111w-0007mz...@ries.debian.org>
and subject line Bug#573944: fixed in mcrl2 201001+svn7611-1
has caused the Debian Bug report #573944,
regarding sim and mcrl2: 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.)
--
573944: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=573944
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--- Begin Message ---
Package: mcrl2,sim
Version: mcrl2/201001-1
Version: sim/0.9.5~svn20080806-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!
x11-common libice6 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6
libsm6 libxt6 libxmu6 libxpm4 libxaw7 libxi6 libxmuu1 libxrender1 libxrandr2
libxxf86vm1 libgmp3c2 libmpfr1ldbl cpp-4.4 cpp x11-xserver-utils libpcre3
libxml2 ucf defoma esound-common libfreetype6 ttf-dejavu-core
fontconfig-config libfontconfig1 fontconfig hicolor-icon-theme kdelibs-data
libart-2.0-2 libartsc0 libasound2 libaudio2 libaudiofile0 libesd0
libglib2.0-0 libcelt0-0 libsamplerate0 libjack0 libmad0 libjpeg62 liblcms1
libmng1 libpng12-0 libxfixes3 libxcursor1 libxft2 libxinerama1 libqt3-mt
libogg0 libvorbis0a libvorbisfile3 oss-compat libarts1c2a libaspell15
libavahi-common-data libavahi-common3 libdbus-1-3 libavahi-client3
libavahi-qt3-1 libcups2 libfam0 libilmbase6 libjasper1 liblua50 liblualib50
libopenexr6 libtiff4 libxslt1.1 menu-xdg xauth kdelibs4c2a libatk1.0-0
libboost-system1.41.0 libboost-filesystem1.41.0 libboost-signals1.41.0
libboost-thread1.41.0 libsysfs2 tsconf libts-0.0-0 libdirectfb-1.2-0
libpixman-1-0 libxcb-render0 libxcb-render-util0 libcairo2 libdatrie1
libdrm2 libxdamage1 libgl1-mesa-glx libglu1-mesa libgtk2.0-common
libpango1.0-common libthai-data libthai0 libpango1.0-0 libxcomposite1
shared-mime-info libgtk2.0-0 libwxbase2.8-0 libwxgtk2.8-0 libxss1 sim-data
sim 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: 27%
Extracting templates from packages: 54%
Extracting templates from packages: 81%
Extracting templates from packages: 100%
Preconfiguring packages ...
Authentication warning overridden.
Can not write log, openpty() failed (/dev/pts not mounted?)
Selecting previously deselected package x11-common.
(Reading database ... 12194 files and directories currently installed.)
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 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 libsm6.
Unpacking libsm6 (from .../libsm6_2%3a1.1.1-1_amd64.deb) ...
Selecting previously deselected package libxt6.
Unpacking libxt6 (from .../libxt6_1%3a1.0.7-1_amd64.deb) ...
Selecting previously deselected package libxmu6.
Unpacking libxmu6 (from .../libxmu6_2%3a1.0.5-1_amd64.deb) ...
Selecting previously deselected package libxpm4.
Unpacking libxpm4 (from .../libxpm4_1%3a3.5.8-1_amd64.deb) ...
Selecting previously deselected package libxaw7.
Unpacking libxaw7 (from .../libxaw7_2%3a1.0.7-1_amd64.deb) ...
Selecting previously deselected package libxi6.
Unpacking libxi6 (from .../libxi6_2%3a1.3-3_amd64.deb) ...
Selecting previously deselected package libxmuu1.
Unpacking libxmuu1 (from .../libxmuu1_2%3a1.0.5-1_amd64.deb) ...
Selecting previously deselected package libxrender1.
Unpacking libxrender1 (from .../libxrender1_1%3a0.9.5-2_amd64.deb) ...
Selecting previously deselected package libxrandr2.
Unpacking libxrandr2 (from .../libxrandr2_2%3a1.3.0-3_amd64.deb) ...
Selecting previously deselected package libxxf86vm1.
Unpacking libxxf86vm1 (from .../libxxf86vm1_1%3a1.1.0-2_amd64.deb) ...
Selecting previously deselected package libgmp3c2.
Unpacking libgmp3c2 (from .../libgmp3c2_2%3a4.3.2+dfsg-1_amd64.deb) ...
Selecting previously deselected package libmpfr1ldbl.
Unpacking libmpfr1ldbl (from .../libmpfr1ldbl_2.4.2-3_amd64.deb) ...
Selecting previously deselected package cpp-4.4.
Unpacking cpp-4.4 (from .../cpp-4.4_4.4.3-3_amd64.deb) ...
Selecting previously deselected package cpp.
Unpacking cpp (from .../cpp_4%3a4.4.3-1_amd64.deb) ...
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
Can not write log, openpty() failed (/dev/pts not mounted?)
Setting up x11-common (1:7.5+5) ...
W: cowdancer: unsupported operation flock, read-only open and
fchown/fchmod/flock are not supported: tried openning dev:inode of 2055:5407760
Can not write log, openpty() failed (/dev/pts not mounted?)
Selecting previously deselected package x11-xserver-utils.
(Reading database ... 12606 files and directories currently installed.)
Unpacking x11-xserver-utils (from .../x11-xserver-utils_7.5+1_amd64.deb) ...
Selecting previously deselected package libpcre3.
Unpacking libpcre3 (from .../libpcre3_7.8-3_amd64.deb) ...
Selecting previously deselected package libxml2.
Unpacking libxml2 (from .../libxml2_2.7.6.dfsg-2+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 defoma.
Unpacking defoma (from .../defoma_0.11.10-4_all.deb) ...
Selecting previously deselected package esound-common.
Unpacking esound-common (from .../esound-common_0.2.41-7_all.deb) ...
Selecting previously deselected package libfreetype6.
Unpacking libfreetype6 (from .../libfreetype6_2.3.11-1_amd64.deb) ...
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 fontconfig.
Unpacking fontconfig (from .../fontconfig_2.8.0-2_amd64.deb) ...
Selecting previously deselected package hicolor-icon-theme.
Unpacking hicolor-icon-theme (from .../hicolor-icon-theme_0.11-1_all.deb) ...
Selecting previously deselected package kdelibs-data.
Unpacking kdelibs-data (from .../kdelibs-data_4%3a3.5.10.dfsg.1-3_all.deb) ...
Selecting previously deselected package libart-2.0-2.
Unpacking libart-2.0-2 (from .../libart-2.0-2_2.3.20-2_amd64.deb) ...
Selecting previously deselected package libartsc0.
Unpacking libartsc0 (from .../libartsc0_1.5.9-3+b1_amd64.deb) ...
Selecting previously deselected package libasound2.
Unpacking libasound2 (from .../libasound2_1.0.22-2_amd64.deb) ...
Selecting previously deselected package libaudio2.
Unpacking libaudio2 (from .../libaudio2_1.9.2-3_amd64.deb) ...
Selecting previously deselected package libaudiofile0.
Unpacking libaudiofile0 (from .../libaudiofile0_0.2.6-8_amd64.deb) ...
Selecting previously deselected package libesd0.
Unpacking libesd0 (from .../libesd0_0.2.41-7_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 libcelt0-0.
Unpacking libcelt0-0 (from .../libcelt0-0_0.7.1-1_amd64.deb) ...
Selecting previously deselected package libsamplerate0.
Unpacking libsamplerate0 (from .../libsamplerate0_0.1.7-3_amd64.deb) ...
Selecting previously deselected package libjack0.
Unpacking libjack0 (from .../libjack0_0.118+svn3796-3_amd64.deb) ...
Selecting previously deselected package libmad0.
Unpacking libmad0 (from .../libmad0_0.15.1b-5_amd64.deb) ...
Selecting previously deselected package libjpeg62.
Unpacking libjpeg62 (from .../libjpeg62_6b-16.1_amd64.deb) ...
Selecting previously deselected package liblcms1.
Unpacking liblcms1 (from .../liblcms1_1.18.dfsg-1.2+b1_amd64.deb) ...
Selecting previously deselected package libmng1.
Unpacking libmng1 (from .../libmng1_1.0.9-1_amd64.deb) ...
Selecting previously deselected package libpng12-0.
Unpacking libpng12-0 (from .../libpng12-0_1.2.43-1_amd64.deb) ...
Selecting previously deselected package libxfixes3.
Unpacking libxfixes3 (from .../libxfixes3_1%3a4.0.4-2_amd64.deb) ...
Selecting previously deselected package libxcursor1.
Unpacking libxcursor1 (from .../libxcursor1_1%3a1.1.10-2_amd64.deb) ...
Selecting previously deselected package libxft2.
Unpacking libxft2 (from .../libxft2_2.1.14-2_amd64.deb) ...
Selecting previously deselected package libxinerama1.
Unpacking libxinerama1 (from .../libxinerama1_2%3a1.1-3_amd64.deb) ...
Selecting previously deselected package libqt3-mt.
Unpacking libqt3-mt (from .../libqt3-mt_3%3a3.3.8b-6_amd64.deb) ...
Selecting previously deselected package libogg0.
Unpacking libogg0 (from .../libogg0_1.1.4~dfsg-2_amd64.deb) ...
Selecting previously deselected package libvorbis0a.
Unpacking libvorbis0a (from .../libvorbis0a_1.2.3-3_amd64.deb) ...
Selecting previously deselected package libvorbisfile3.
Unpacking libvorbisfile3 (from .../libvorbisfile3_1.2.3-3_amd64.deb) ...
Selecting previously deselected package oss-compat.
Unpacking oss-compat (from .../oss-compat_0.0.4+nmu3_all.deb) ...
Selecting previously deselected package libarts1c2a.
Unpacking libarts1c2a (from .../libarts1c2a_1.5.9-3+b1_amd64.deb) ...
Selecting previously deselected package libaspell15.
Unpacking libaspell15 (from .../libaspell15_0.60.6-4_amd64.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 libavahi-qt3-1.
Unpacking libavahi-qt3-1 (from .../libavahi-qt3-1_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 libfam0.
Unpacking libfam0 (from .../libfam0_2.7.0-16.1_amd64.deb) ...
Selecting previously deselected package libilmbase6.
Unpacking libilmbase6 (from .../libilmbase6_1.0.1-3_amd64.deb) ...
Selecting previously deselected package libjasper1.
Unpacking libjasper1 (from .../libjasper1_1.900.1-7_amd64.deb) ...
Selecting previously deselected package liblua50.
Unpacking liblua50 (from .../liblua50_5.0.3-4_amd64.deb) ...
Selecting previously deselected package liblualib50.
Unpacking liblualib50 (from .../liblualib50_5.0.3-4_amd64.deb) ...
Selecting previously deselected package libopenexr6.
Unpacking libopenexr6 (from .../libopenexr6_1.6.1-4.1_amd64.deb) ...
Selecting previously deselected package libtiff4.
Unpacking libtiff4 (from .../libtiff4_3.9.2-3+b1_amd64.deb) ...
Selecting previously deselected package libxslt1.1.
Unpacking libxslt1.1 (from .../libxslt1.1_1.1.26-2_amd64.deb) ...
Selecting previously deselected package menu-xdg.
Unpacking menu-xdg (from .../archives/menu-xdg_0.5_all.deb) ...
Selecting previously deselected package xauth.
Unpacking xauth (from .../xauth_1%3a1.0.4-1_amd64.deb) ...
Selecting previously deselected package kdelibs4c2a.
Unpacking kdelibs4c2a (from .../kdelibs4c2a_4%3a3.5.10.dfsg.1-3_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 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 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 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 libdatrie1.
Unpacking libdatrie1 (from .../libdatrie1_0.2.3-1_amd64.deb) ...
Selecting previously deselected package libdrm2.
Unpacking libdrm2 (from .../libdrm2_2.4.18-2_amd64.deb) ...
Selecting previously deselected package libxdamage1.
Unpacking libxdamage1 (from .../libxdamage1_1%3a1.1.2-1_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 libgtk2.0-common.
Unpacking libgtk2.0-common (from .../libgtk2.0-common_2.18.7-1_all.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 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 libpango1.0-0.
Unpacking libpango1.0-0 (from .../libpango1.0-0_1.26.2-1_amd64.deb) ...
Selecting previously deselected package libxcomposite1.
Unpacking libxcomposite1 (from .../libxcomposite1_1%3a0.4.1-1_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 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 libxss1.
Unpacking libxss1 (from .../libxss1_1%3a1.2.0-2_amd64.deb) ...
Selecting previously deselected package sim-data.
Unpacking sim-data (from .../sim-data_0.9.5~svn20080806-1_all.deb) ...
Selecting previously deselected package sim.
Unpacking sim (from .../sim_0.9.5~svn20080806-1_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/sim', which is also in package sim
0:0.9.5~svn20080806-1
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)
cow-shell unlink .ilist: No such file or directory
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/sim
/usr/share/man/man1/sim.1.gz
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 same problem exists between the packages mcrl2 and sim-qt.
-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 ---
