Bug#576335: enable libcvc3-2-jni on kfreebsd-amd64

2011-10-03 Thread Petr Salinger
reassign 576335 cvc3 found 576335 2.2-13 tag 576335 = patch thanks Hi, it looks like the java on kfreebsd-amd64 problem is solved with gcj-4.6 (4.6.1-6) upload. Please change Architecture of libcvc3-2-jni to any and drop 50_exclude_java_tests_on_kfreebsd_amd64.patch. Many thanks Petr

Processed: enable libcvc3-2-jni on kfreebsd-amd64

2011-10-03 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > reassign 576335 cvc3 Bug #576335 [gcj-4.4-jre-headless] JVM core dumps in regression tests [kfreebsd-amd64] Bug reassigned from package 'gcj-4.4-jre-headless' to 'cvc3'. Bug No longer marked as found in versions gcj-4.4/4.4.3-5. > found 576335 2.

Bug#643663: gnat: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable

2011-10-03 Thread Євгеній Мещеряков
retitle 643663 Legal program rejected (record component with no supplied value) and invalid access to atomic variable thanks It seems that program in the attachment test.ada is actually legal. So the bug is that program in good.ada (also legal) is rejected and incorrect code is generated for acce

Processed: Re: gnat: Illegal program not detected (record component with no supplied value) and invalid access to atomic variable

2011-10-03 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > retitle 643663 Legal program rejected (record component with no supplied > value) and invalid access to atomic variable Bug #643663 [gnat-4.6] gnat: Illegal program not detected (record component with no supplied value) and invalid access to ato

Processed: [bts-link] source package gcc-4.6

2011-10-03 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > # > # bts-link upstream status pull for source package gcc-4.6 > # see http://lists.debian.org/debian-devel-announce/2006/05/msg1.html > # > user bts-link-upstr...@lists.alioth.debian.org Setting user to bts-link-upstr...@lists.alioth.debian.o

[bts-link] source package gcc-4.6

2011-10-03 Thread bts-link-upstream
# # bts-link upstream status pull for source package gcc-4.6 # see http://lists.debian.org/debian-devel-announce/2006/05/msg1.html # user bts-link-upstr...@lists.alioth.debian.org # remote status report for #633443 (http://bugs.debian.org/633443) # Bug title: g++-4.6: ICE on mips(el) when bui

[bts-link] source package gnat-4.6

2011-10-03 Thread bts-link-upstream
# # bts-link upstream status pull for source package gnat-4.6 # see http://lists.debian.org/debian-devel-announce/2006/05/msg1.html # user bts-link-upstr...@lists.alioth.debian.org # remote status report for #643663 (http://bugs.debian.org/643663) # Bug title: Legal program rejected (record c