Displaying 2 results from an estimated 2 matches for "cbmc".
Did you mean:
cbc
2014 May 28
1
Bug#749612: blktap: Conflicting declarations of function __open_2
Package: blktap
Version: 2.0.90-2
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 extended reporting on type inconsistencies at link time.
[...]
libtool: link: gcc -shared -fPIC -DPIC .libs/libvhdio.o .libs/partition.o -Wl,-rpath -Wl,/srv/jenkins-slave/workspace/sid-goto-cc-blktap/blktap-2.0.90/vhd/lib/.libs ./.libs/libvhd.so -ldl -O2 -Wl,-z -Wl,rel...
2013 Apr 18
0
Processed: adding new jessie tag to sid-tagged bugs
...6974 [src:pymsnt] pymsnt: deprecation of dh_pycentral, please use dh_python2
Added tag(s) jessie.
> tags 617093 + jessie
Bug #617093 [src:sugar-etoys-activity] sugar-etoys-activity: deprecation of dh_pycentral, please use dh_python2
Added tag(s) jessie.
> tags 701253 + jessie
Bug #701253 [src:cbmc] cbmc: ftbfs with GCC-4.8
Added tag(s) jessie.
> tags 642403 + jessie
Bug #642403 [tendra] tendra ftbfs on i386
Added tag(s) jessie.
> tags 596572 + jessie
Bug #596572 {Done: Philipp Kern <pkern at debian.org>} [netcfg] Please allow IPv6 addresses in manual configuration.
Bug #231003 {D...