Package: avce00
Version: 2.0.0-2
Usertags: goto-cc
Building and subsequently re-checking types after linking using our research
compiler infrastructure showed that the following declarations conflict:
avctest.c declares
int _AVCBinReadHeader(AVCRawBinFile *psFile, AVCBinHeader *psHdr);
but the
Package: hdf5
Version: 1.8.12+docs-1.1
Usertags: goto-cc
During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder)
the build failed with the following error. Please note that we use our research
compiler tool-chain (using tools from the cbmc package), which permits extended
Package: grass
Version: 6.4.3-3
Severity: minor
Usertags: goto-cc
Tags: upstream
During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder
and pbuilder) the build failed with the following error. Please note that we
use our research compiler tool-chain (using tools from the
Package: liblas
Version: 1.7.0+dfsg-5
Usertags: goto-cc
During a rebuild of all packages in a clean sid chroot (and cowbuilder+pbuilder)
the build failed with the following error. Please note that we use our research
compiler tool-chain (using tools from the cbmc package), which permits extended
Package: ncview
Version: 1.93g-1
Usertags: goto-cc
During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder
and pbuilder) the build failed with the following error. Please note that we
use our research compiler tool-chain (using tools from the cbmc package), which
permits
Package: gdal
Version: 1.10.1+dfsg-5
Usertags: goto-cc
During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder
and pbuilder) the build failed with the following error. Please note that we
use our research compiler tool-chain (using tools from the cbmc package), which
Hi,
[...]
Is there a recipe available so that I could experiment this build
failure by myself?
Yes, there is at least a sketch available, but others have successfully used
this so it seems alright:
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=747585#15
Yet, by all means, please to let
Hi,
On Sun, Nov 08, 2015 at 23:03:19 +0100, Sebastiaan Couwenberg wrote:
> We migrated away from NetCDF 4.1.3 to 4.4.0 in unstable, and I cannot
> reproduce the issue with the current netcdf packages any more.
>
[...]
> It looks like this fixed the issue.
>
> Can you confirm that this is now
On Mon, Nov 09, 2015 at 0:11:23 +, Michael Tautschnig wrote:
[...]
> Yes, I do confirm that this problem has been addressed. There is, however,
> another inconsistency that now crops up: ocrc_process is declared with
> inconsistent return types. The attached patch fixes thi
Package: mapserver
Version: 7.0.0-8
Usertags: goto-cc
Tags: patch
During a rebuild of all Debian packages in a clean sid chroot (using cowbuilder
and pbuilder) the build failed with the following error. Please note that we
use our research compiler tool-chain (using tools from the cbmc package),
10 matches
Mail list logo
