apparmor_profiles version 2.10.95-6 contains 31
copies of the definition of aa_is_enabled.
-Ralf.
--
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.irif.fr/~treinen/
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu opam_1.2.2-5+b2 . mips mips64el mipsel ppc64el s390x . unstable . -m
"rebuild against dose3 (5.0.1-8)"
-- System Information:
Debian Release: stretch/sid
APT prefers unstable
APT po
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu botch_0.21-2 . mips mips64el mipsel ppc64el s390x . unstable . -m "rebuild
against dose3 (5.0.1-8)"
-- System Information:
Debian Release: stretch/sid
APT prefers unstable
APT polic
Hello,
On Wed, Jan 11, 2017 at 02:15:26PM +0100, Johannes Schauer wrote:
> currently, dose-builddebcheck can only check build dependency
> satisfiability for full package builds. It would be great if
> dose-builddebcheck could easily be used to also check arch-all-only,
> arch-any-only, source-on
Indeed, the POSIX standard says:
If n is specified, but its value is not between 0 and 255
inclusively, the exit status is undefined.
Please replace "exit -1" by "exit 255".
Thanks -Ralf.
Package: ftp.debian.org
Please remove the package "confluence" from the archive. This software
was already abandoned by upstream when the debian-ocaml-maint team
adopted the package in 2007. The package is now in bad shape since
the team is no longer willing to maintain it.
It has non-negliable p
Hi Josch,
On Mon, Jan 09, 2017 at 05:57:27PM +0100, Johannes Schauer wrote:
> Hi Ralf,
>
> On Sun, 6 Nov 2016 14:56:51 +0100 Helmut Grohne wrote:
> > dose-builddebcheck has a built-in architecture table and allows
> > replacing that by supplying --deb-triplettable. Unfortunately, the
> > triplet
On Tue, Jan 03, 2017 at 09:38:05PM +0200, Oleksandr Gavenko wrote:
> Package: tuareg-mode
> Version: 1:2.0.10-1
> Severity: normal
>
> $ cat /var/log/apt/term.log
>
> While compiling toplevel forms in file
> /usr/share/emacs21/site-lisp/tuareg-mode/ocamldebug-tuareg.el:
Downgrading to sever
Hi Mehdi,
On Wed, Dec 21, 2016 at 03:09:10PM +0100, Mehdi wrote:
> Hi Ralf,
>
> Did you ask for its removal?
>
> FWIW, i'm also for its removal from debian since the project is dead upstream.
not yet, since there still is a recommendation of confluence from
the package science-electronics. I h
Hello,
the confluence package is in bad shape. When we adopted it in 2007 it
was already dead upstream, and almost nothing has been done to maintain
this package since the initial effort. It has non-negligable popcon
of 380, but I guess that this is mainly due to the fact that it is a
Recommends
ven though -gecos seems to work, too).
-Ralf.
--
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.irif.fr/~treinen/
s seems to work, too).
-Ralf.
--
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.irif.fr/~treinen/
ugh -gecos seems to work, too).
-Ralf.
--
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.irif.fr/~treinen/
fact used in maintainer scripts, but not document in the adduser manpage.
AFAICS, the short options are:
-q for --quiet
-h for --help
-v for --verbose
-Ralf.
--
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris
Package: wnpp
Severity: wishlist
Owner: Ralf Treinen
* Package name: ocplib-simplex
Version : 0.3
Upstream Author : Mohamed Iguernlala
* URL : https://github.com/OCamlPro-Iguernlala/ocplib-simplex
* License : LGPL 2.1
Programming Lang: OCaml
Description
Hi Adrian,
On Sat, Nov 19, 2016 at 01:06:23AM +0200, Adrian Bunk wrote:
> Source: why
> Version: 2.36-2
> Severity: serious
>
> https://buildd.debian.org/status/package.php?p=why&suite=sid
>
> ...
> mkdir -p /«PKGBUILDDIR»/debian/why/usr/share/why/coq
> cp -f lib/coq/Jessie_memory_model.vo
> /«
Package: lintian
Severity: wishlist
User: trei...@debian.org
Usertags: colis-shparser
Dear lintian maintainers,
please add a check that maintainer scripts start on #!, unless they are
ELF executables. This is a must requirement in policy 6.1. See also the
discussion that started at [1].
Thanks -
Salut Mehdi,
On Sat, Nov 05, 2016 at 06:36:06PM +0100, Mehdi Dogguy wrote:
> Hi Ralf,
>
> On Tue, Oct 25, 2016 at 09:08:34AM +0200, Ralf Treinen
> wrote:
> > Hi Chris,
> >
> > On Sun, Oct 23, 2016 at 09:00:09AM +0100, Chris Lamb wrote:
> >
> >
Source: frama-c
Version: 20151002+magnesium+dfsg-1
Severity: important
Hi.
frama-c magnesium fails to build with ocaml 4.03, which should be
uploaded to sid very soon:
File "src/plugins/wp/wpo.ml", line 1:
Error: The implementation src/plugins/wp/wpo.ml
does not match the interface src/pl
Package: release.debian.org
Severity: normal
User: release.debian@packages.debian.org
Usertags: binnmu
nmu dose3_5.0.1-6 . ANY . unstable . -m "rebuild against ocamlgraph 1.8.6-1+b2"
-- System Information:
Debian Release: stretch/sid
APT prefers unstable
APT policy: (500, 'unstable'), (50
X standard says:
The return utility shall cause the shell to stop executing the current
function or dot script. If the shell is not currently executing a function
or dot script, the results are unspecified.
This "return" should probaly be an "exit".
Cheers -Ralf.
--
Hi Chris,
On Sun, Oct 23, 2016 at 09:00:09AM +0100, Chris Lamb wrote:
> ocamldsort fails to build from source in unstable/amd64:
it compiles with ocaml 4.03.0 from experimental.
-Ralf.
ion, and the "|| true" hide the error. This might also
be the root cause of #659188.
-Ralf.
--
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.irif.fr/~treinen/
Package: apt-xapian-index
Version: 0.49
Severity: minor
User: trei...@debian.org
Usertags: colis-shparser
Hi, the postinst invokes
rm -ff /usr/share/apt-xapian-index/plugins/*.pyc
which seems to be typo (s/-ff/-f/ ?)
-Ralf.
Package: education-menus,education-tasks
Version: education-menus/1.911
Version: education-tasks'1.911@all, education-tasks/1.910
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-10-20
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of pa
Package: libcork15,libcork16
Version: libcork15/0.15.0+ds-6
Version: libcork16/0.15.0+ds-7
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-10-19
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and at the
sam
Hi,
On Thu, Sep 22, 2016 at 07:07:00PM +, Niels Thykier wrote:
> On Tue, 19 Apr 2016 09:41:42 +0200 Johannes Schauer
> wrote:
> > Hi,
> >
> > On Fri, 18 Mar 2016 09:11:29 +0100 Ralf Treinen wrote:
> > > the dose services on qa.debian.org currently do
Hello,
the same bug occurs with other binary packages from the bullet source:
libbulletcollision2.83.6_libbulletcollision2.83.7
libbulletdynamics2.83.6_libbulletdynamics2.83.7
libbulletfileloader2.83.6_libbulletfileloader2.83.7
libbulletsoftbody2.83.6_libbulletsoftbody2.83.7
libbulletworldimporte
Package: libbulletcollision2.83.6,libbulletcollision2.83.7
Version: libbulletcollision2.83.6/2.83.6+dfsg-3
Version: libbulletcollision2.83.7/2.83.7+dfsg-4
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-10-06
Architecture: amd64
Distribution: sid
Hi,
automatic
Package: libjmock-java,libjmock2-java
Version: libjmock-java/1.2.0-4
Version: libjmock2-java/2.8.2-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-09-28
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and
Package: open-invaders,open-invaders-data
Version: open-invaders/0.3-4.1
Version: open-invaders-data/0.3-4.1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-09-28
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a f
Package: libseqan2-dev,seqan-dev
Version: libseqan2-dev/2.2.0+dfsg-1
Version: seqan-dev'1.4.2+dfsg-1@all, seqan-dev/1.4.1+dfsg-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-09-20
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of pac
Package: z3
Version: 4.4.1-0.2
Hello, executing z3 on arm64 on the attached file produces a Segmentation
fault, while it works fine on amd64. I didn't check any other architectures.
z3 -smt2 gauss-Gauss-WP_parameter_gauss.smt2
Segmentation fault
-Ralf.
;;; generated by SMT-LIB2 driver
;;; SMT-L
Hello,
On Fri, Aug 26, 2016 at 01:56:31PM +0200, Johannes Schauer wrote:
> Hi,
>
> On Sat, 13 Aug 2016 11:18:14 +0200 Helmut Grohne wrote:
> > On Thu, Aug 11, 2016 at 07:15:12PM +0200, Helmut Grohne wrote:
> > > When checking whether the source package "0x" is bd-satisfiable,
> > > dose-buil
Package: sentinella
Version: 0.9.2-4
Severity:serious
User: trei...@debian.org
Usertags:edos-uninstallable
Hi, sentinella is not installable in sid on any architecture, at least since
2015-11-04. The reason is that it depends on libprocessui4a (>= 4:4.6.1) which
does not exist in sid.
-Ralf.
Package: calligra-l10n-bs
Version: 1:2.8.5-1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
I am filing this bug against calligra-l10n-bs but in fact it is the same
for all calligra-l10n-* packages. They are not installable in sid, at least
since 2015-09-11, since the
Package: inn
Version: 1:1.7.2q-44.1
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
inn is not installable in sid on any architecture. This is the case at
least since 2015-12-20. The reason is that it depends on libperl5.20
(>= 5.20.2), which does not exist in sid.
-R
Package: liballjoynservices1504,liballjoynservices1604
Version: liballjoynservices1504/15.04-4
Version: liballjoynservices1604/16.4-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-09-05
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests o
Package: alljoyn-services-1504,alljoyn-services-1604
Version: alljoyn-services-1504/15.04-4
Version: alljoyn-services-1604/16.4-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-09-05
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of pa
Package: alljoyn-services-1509,alljoyn-services-1604
Version: alljoyn-services-1509/15.09-2
Version: alljoyn-services-1604/16.4-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-09-05
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of pa
Package: python-kitchen-doc,test-kitchen
Version: python-kitchen-doc/1.2.4-1
Version: test-kitchen/1.11.1-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-09-05
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a fi
Hi Roland,
I am not using spass directly but it is a suggestion of one the packages
I maintain (why3), and in fact I am glad to have spass in debian as it is
quite good at reasoning about quantified formulas, in contrast to most
SMT solvers.
So, I would be interested in helping out maintaining th
Package: libgnuradio-radar3.7.10,libgnuradio-radar3.7.8
Version: libgnuradio-radar3.7.10/0.0.0.20160615-2
Version: libgnuradio-radar3.7.8/0.0.0.20160615-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-09-01
Architecture: amd64
Distribution: sid
Hi,
automatic
Sorry, this isn't fixed yet, so I have to reopen the bug :
[...]
Preparing to unpack .../ifstat_1.1-8+b2_amd64.deb ...
Unpacking ifstat (1.1-8+b2) ...
dpkg: error processing archive
/var/cache/apt/archives/ifstat_1.1-8+b2_amd64.deb (--unpack):
trying to overwrite '/usr/bin/ifstat', which is also
Package: ardour,ardour-data
Version: ardour/1:4.7~dfsg-2
Version: ardour-data/1:4.7~dfsg-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-08-16
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and at the
sam
Package: ruby-fog,ruby-fog-rackspace
Version: ruby-fog/1.37.0-1
Version: ruby-fog-rackspace/0.1.1-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-08-14
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and a
Control: reopen -1
Hi,
On Sun, Jul 24, 2016 at 12:00:45AM -0400, Nicolas Braud-Santoni wrote:
> Control: close -1
I do not agree:
> Given that advi is meant purely for previewing and presenting DVIs,
> it is likely called on trusted inputs.
I had a discussion with upstream about this a long ti
Package: namazu2,namazu2-index-tools
Version: namazu2/2.0.21-15
Version: namazu2-index-tools/2.0.21-15
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-08-03
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file an
Hello,
On Sat, Jul 23, 2016 at 01:32:57PM -0400, Nicolas Braud-Santoni wrote:
> coq-float and why cannot build under Coq 8.5, leading to two FTBFS bugs.
> (Note: This is about why, not why3)
>
> I confirmed that (beyond some mild build-system breakage) the issues
> are due to changes in Coq, and
Hi,
On Mon, Jul 18, 2016 at 11:53:06AM +0200, Chris Lamb wrote:
> Whilst working on the "reproducible builds" effort [0], we noticed
> that why3 could not be built reproducibly.
> +-BUILDDATE="$(date)"
> ++if test -n "$SOURCE_DATE_EPOCH"; then
> ++BUILDDATE="$(LC_ALL=C date --utc --date="@${
On Wed, May 18, 2016 at 03:00:53PM -0400, Breno Leitao wrote:
> Currently, the package ocaml-native-compilers is not being built for ppc64el
> because the patch to enable it still not available in version 4.02.3.
>
> Starting at version 4.03, the patch to enable native compiler on ppc64el is
> in
Hi Andreas,
On Wed, Jul 13, 2016 at 11:35:07AM +0200, Andreas Beckmann wrote:
> Package: dose-distcheck
> Version: 5.0-1
> Severity: important
>
> Hi,
>
> dose-distcheck 5.0 does not work any more :-(
there seems to be something wrong with the way how dose handles multiple
file arguments. Dose-
Package: plasma-discover-common,plasma-discover-private
Version: plasma-discover-common'5.7.0-2@all, plasma-discover-common/5.6.5-1
Version: plasma-discover-private/5.6.5-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-07-13
Architecture: amd64
Distribution: s
Package: libgnuradio-iqbalance0,libgnuradio-iqbalance3.7.10
Version: libgnuradio-iqbalance0/0.37.2-5+b1
Version: libgnuradio-iqbalance3.7.10/0.37.2-6
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-07-11
Architecture: amd64
Distribution: sid
Hi,
automatic inst
Package: libgnuradio-fcdproplus0,libgnuradio-fcdproplus3.7.10
Version: libgnuradio-fcdproplus0/3.7.24.cf5db38-5+b1
Version: libgnuradio-fcdproplus3.7.10/3.7.25.4b6464b-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-07-11
Architecture: amd64
Distribution: sid
Source: opam
Version: 1.2.2-5
Hello, opam fails to compile on hurd-i386 [1]:
Fatal error:
# opam-version1.2.2
# os unix
/«PKGBUILDDIR»/src/opam: "lockf" failed: Operation not supported
Backtrace:
Called from file "core/opamSystem.ml", line 619, characters 2-8
Called from file
Package: alljoyn-services-1504,alljoyn-services-1509
Version: alljoyn-services-1504/15.04-4
Version: alljoyn-services-1509/15.09-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-06-27
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of p
Package: zeroc-ice-utils,zeroc-icebox
Version: zeroc-ice-utils/3.6.2-stretch+git1+6f49504-2
Version: zeroc-icebox/3.6.2-stretch+git1+6f49504-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-06-09
Architecture: amd64
Distribution: sid
Hi,
automatic installatio
Package: ice35-translators,zeroc-ice-compilers
Version: ice35-translators/3.5.1-6.4
Version: zeroc-ice-compilers/3.6.2-stretch+git1+6f49504-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-06-09
Architecture: amd64
Distribution: sid
Hi,
automatic installation
Package: gnuplot-doc,gnuplot5-doc
Version: gnuplot-doc/4.6.6-3
Version: gnuplot5-doc/5.0.3+dfsg2-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-06-08
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and at
Package: pdns-tools,ruby-notify
Version: pdns-tools/4.0.0~alpha3-1
Version: ruby-notify/0.5.2-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-05-30
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and at th
Bonjour Thomas,
On Tue, May 24, 2016 at 10:16:47PM +0200, Thomas Goirand wrote:
> On 05/24/2016 07:59 AM, Ralf Treinen wrote:
> > Package: fuel-nailgun-agent,nailgun-agent
> > Version: fuel-nailgun-agent/9.0+dfsg1-1
> > Version: nailgun-agent/3.9.2-1.1
> > Sever
Package: fuel-nailgun-agent,nailgun-agent
Version: fuel-nailgun-agent/9.0+dfsg1-1
Version: nailgun-agent/3.9.2-1.1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-05-24
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that sha
Hi,
libbson-doc also ships
/usr/share/man/man3/clock.3.gz
which also exists in manpages-dev. -Ralf.
Package: golang-github-rcrowley-go-metrics-dev,golang-metrics-dev
Version: golang-github-rcrowley-go-metrics-dev/0.0~git20160226.0.eeba7bd-1
Version: golang-metrics-dev/0.0~git20150823-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-05-18
Architecture: amd64
D
Package: hyphen-lt,openoffice.org-hyphenation-lt
Version: hyphen-lt/1:5.1.3-1
Version: openoffice.org-hyphenation-lt/1.2.1-5
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-05-15
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of package
Package: hunspell-kmr,myspell-ku
Version: hunspell-kmr/1:5.1.3-1
Version: myspell-ku/0.20.0-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-05-15
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and at the
Source: lambdabot
Version: 5.0.3-3
Severity: serious
Hello,
even though build-dependencies of lambdabot are now satisfied, it
FTBFS now at least on arm64, armel, i386, powerpc, ppc64el, s390x
on the autobuilders:
[3 of 3] Compiling Main ( src/Main.hs,
dist-ghc/build/lambdabot/lambd
Package: golang-clockwork-dev,golang-github-jonboulle-clockwork-dev
Version: golang-clockwork-dev/0.0~git20141217-1
Version: golang-github-jonboulle-clockwork-dev/0.0~git20141217-3
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-05-12
Architecture: amd64
Distrib
Hi,
in fact the same applies to these packages that depend on calliga:
koffice
koffice-dbg
kplato
kpresenter
kspread
kword
-Ralf
Package: parl-desktop-strict
Version: 1.9.2
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
parl-desktop-strict is not installable in sid since it conflicts with
libreoffice-style-galaxy. But it also depends on this package, via the
following dependency chain:
parl-
Hi,
On Tue, May 10, 2016 at 11:18:56AM +0200, Aurelien Jarno wrote:
> We use sbuild wit the cudf resolver on the build daemons, with the
> following optimization criteria:
>
> $aspcud_criteria =
> '-removed,-changed,-new,-count(solution,APT-Release:=/experimental/)';
>
> Unfortunately this d
The same applies to the packages
kexi-plugin-mysql
kexi-plugin-postgresql
kexi-xbase-driver
from the same source package. -Ralf.
Package: kexi-plugin-kspread
Version: 1:2.4.3+3
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
kexi-plugin-kspread is not installable in sid or testing since it depends
on kexi-calligrasheets-driver, which exists only in stable and older.
Since it is just a transitional package it shou
Package: netanim,ns3
Version: netanim/3.100-1
Version: ns3/3.25+dfsg2-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-04-18
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and at the
same time do not confl
On Thu, Apr 07, 2016 at 12:12:13AM +0200, Andreas Beckmann wrote:
> On 2016-04-05 19:29, Ralf Treinen wrote:
> > How it got there I cannot tell. AFAIK, arch=all packages are not rebuild
> > by autobuilders, so the -doc package in the archive should be the one
> > that you have
Hi,
On Tue, Apr 05, 2016 at 09:06:57AM +0200, Sébastien Jodogne wrote:
> Hello,
>
> Thank for reporting this issue. However, I need help: I am indeed unable to
> reproduce it...
>
> According to your report, the file
> "/usr/lib/orthanc/libModalityWorklists.so.1.0.0" lies both in package
> "o
Package: orthanc-doc,orthanc
Version: orthanc-doc/1.0.0+dfsg-1
Version: orthanc/1.0.0+dfsg-1+b1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-04-05
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and at th
Package: libgzstream-dev,libxdmf-dev
Version: libgzstream-dev/1.5+dfsg-1
Version: libxdmf-dev/2.1.dfsg.1-13
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-04-01
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a fi
Package: zaz,zaz-data
Version: zaz/1.0.0~dfsg1-3
Version: zaz-data/1.0.0~dfsg1-3
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-03-29
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and at the
same time do
Package: libopenhpi2,libopenhpi3
Version: libopenhpi2/2.14.1-1.4+b1
Version: libopenhpi3/3.6.1-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-03-25
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and at t
Hello,
a cvc4 package would indeed be quite useful for the why3 verification platform
(the why3 package just got included in unstable). So, how is it going with
the packaging of cvc4?
Cheers -Ralf.
--
Ralf Treinen
Institut de Recherche en Informatique Fondamentale
Équipe Preuves, Programmes et
Package: qa.debian.org
User: qa.debian@packages.debian.org
Usertags: dose
Blocks: 818463
the dose services on qa.debian.org currently do not support xz
input files.
-Ralf.
Package: python-clang-3.8,python-clang-3.9
Version: python-clang-3.8/1:3.8-2
Version: python-clang-3.9/1:3.9~svn262954-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-03-11
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages th
Package: python-lldb-3.8,python-lldb-3.9
Version: python-lldb-3.8/1:3.8-2
Version: python-lldb-3.9/1:3.9~svn262954-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-03-11
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that s
Bonjour Sebastien,
thanks for the removal of ruby-amq-client. However, I think that you
still should add to ruby-amqp Replaces/Conflicts with ruby-amq-client,
in order allow for smooth upgrade from old installations.
Cheers -Ralf.
Package: libvirglrenderer-dev,libvirglrenderer0
Version: libvirglrenderer-dev/0.4.0-4
Version: libvirglrenderer0/0.4.0-4
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-03-08
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages th
Package: ruby-amq-client,ruby-amqp
Version: ruby-amq-client/1.0.4-1
Version: ruby-amqp/1.5.1-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-03-07
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and at the
Package: cups-filters,foomatic-filters-beh
Version: cups-filters/1.8.2-3
Version: foomatic-filters-beh/4.0.17-8
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-03-04
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share
Package: libarmci-mpi-dev,libga-dev
Version: libarmci-mpi-dev/0.0~git20160222-1
Version: libga-dev/5.4~beta~r10636+dfsg-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-03-04
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages t
Package: libtesseract3,libtesseract4
Version: libtesseract3/3.4.1-3
Version: libtesseract4/3.4.1-2+b1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-02-26
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and
On Tue, Feb 23, 2016 at 06:34:42PM +0100, Matthias Klose wrote:
> Package: src:why
> Version: 2.24-3
> Severity: serious
>
> Tags: sid
>
> [Mehdi asked me to file RC issues ... I saw these while working on some
> transitions in Ubuntu, and trying to keep creduce in unstable/testing]
>
> why does
Package: python-pip-whl,python-setuptools-whl
Version: python-pip-whl/8.0.2-6
Version: python-setuptools-whl/20.0-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-02-13
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that sh
Source: lambdabot
Version: 5.0.3-3
Severity: serious
User: trei...@debian.org
Usertags: edos-uninstallable
Hi,
lambdabot FTBFS on all architectures since it has a build-dependency on
libghc-lambdabot-reference-plugins-dev (>= 5.0.3)
However the version of that package in sid is only 5.0.
Package: python-pip-whl,python-six-whl
Version: python-pip-whl/8.0.2-3
Version: python-six-whl/1.10.0-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-02-08
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file a
Package: libbitcoinconsensus0,dogecoin
Version: libbitcoinconsensus0/0.11.2-1
Version: dogecoin/1.8.10-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-02-07
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file
Package: libncarg-dev,libncl-dev
Version: libncarg-dev/6.3.0-6+b1
Version: libncl-dev/2.1.18+dfsg-2
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-02-07
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a file and a
Package: libbitcoinconsensus-dev,dogecoin
Version: libbitcoinconsensus-dev/0.11.2-1
Version: dogecoin/1.8.10-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-02-07
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages that share a
Package: trustedqsl,wx3.0-i18n
Version: trustedqsl/2.2-1
Version: wx3.0-i18n'3.0.2+dfsg-1.2@all, wx3.0-i18n/3.0.2+dfsg-1
Severity: serious
User: trei...@debian.org
Usertags: edos-file-overwrite
Date: 2016-01-31
Architecture: amd64
Distribution: sid
Hi,
automatic installation tests of packages th
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/lib/libmpi_cxx.so.1
/usr/lib/libmpi_f77.so.1
/usr/lib/libmpi_f77.so.1.0.7
/usr/lib/libmpi_f90.so.1
/usr/lib/libmpi_f90.so.1.3.0
/
301 - 400 of 2000 matches
Mail list logo