February 2023 Archives by thread

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...

Starting: Wed Feb 1 15:00:05 GMT 2023
Ending: Mon Feb 27 04:39:13 GMT 2023
Messages: 37

• Bug#1025343: z3: Please link against -latomic for "riscv64" arch   Manuel A. Fernandez Montecelo
  • Processed: Re: Bug#1025343: z3: Please link against -latomic for "riscv64" arch   Debian Bug Tracking System
  • Bug#1025343: z3: Please link against -latomic for "riscv64" arch   Sylvestre Ledru
    • Bug#1025343: z3: Please link against -latomic for "riscv64" arch   Manuel A. Fernandez Montecelo
• Processing of z3_4.8.12-3.1_source.changes   Debian FTP Masters
• z3_4.8.12-3.1_source.changes ACCEPTED into unstable   Debian FTP Masters
• Bug#1025343: marked as done (z3: Please link against -latomic for "riscv64" arch)   Debian Bug Tracking System
• z3 4.8.12-3.1 MIGRATED to testing   Debian testing watch
• Confirm Your babacletus at outlook.com address   lists.alioth.debian.org
• Processing of llvm-toolchain-16_16.0.0~+rc2-1~exp1_source.changes   Debian FTP Masters
• llvm-toolchain-16_16.0.0~+rc2-1~exp1_source.changes ACCEPTED into experimental   Debian FTP Masters
• No subject   Silvana Lorenza Muller de Coronel
  • No subject   contacto at vipseg.com
• ✉ Incoming mails blocked!   Mail Security
  • ✉ Incoming mails blocked!   Mail Security
• You have 6 Pending Messages   Mail Security
• Processing of llvm-defaults_0.55.6_source.changes   Debian FTP Masters
• llvm-defaults_0.55.6_source.changes ACCEPTED into unstable   Debian FTP Masters
• Processing of llvm-toolchain-14_14.0.6-11_source.changes   Debian FTP Masters
• llvm-toolchain-14_14.0.6-11_source.changes ACCEPTED into unstable   Debian FTP Masters
• Bug#1027013: marked as done (llvm-toolchain-14 autopkg test fails)   Debian Bug Tracking System
• Bug#1031419: libclang-rt-14-dev: trying to overwrite '.../libclang_rt.builtins-wasm32.a', which is also in package libclang-rt-14-dev-wasm32   Witold Baryluk
  • Bug#1031419: libclang-rt-14-dev: trying to overwrite '.../libclang_rt.builtins-wasm32.a', which is also in package libclang-rt-14-dev-wasm32   Witold Baryluk
• NEW ORDER   Jason Trang
• Bug#1031500: numerical differences in x87 fpu code generated by clang-14 and clang-15   Andreas Beckmann
  • Processed: numerical differences in x87 fpu code generated by clang-14 and clang-15   Debian Bug Tracking System
  • Bug#1031500: numerical differences in x87 fpu code generated by clang-14 and clang-15   Sylvestre Ledru
• Processed: bug 1031500 is forwarded to https://github.com/llvm/llvm-project/issues/60837   Debian Bug Tracking System
• Processing of llvm-toolchain-14_14.0.6-12_source.changes   Debian FTP Masters
• llvm-toolchain-14_14.0.6-12_source.changes ACCEPTED into unstable   Debian FTP Masters
• Shipping to Lubeck Germany   Abraham Duncan
• Bug#1031560: llvm-toolchain-14: FTBFS for powerpc   Christian Marillat
• Processing of llvm-toolchain-16_16.0.0~+rc3-1~exp1_source.changes   Debian FTP Masters
• llvm-toolchain-16_16.0.0~+rc3-1~exp1_source.changes ACCEPTED into experimental   Debian FTP Masters
• Bug#1031808: clang-15: clang does not search debian paths for rocm   Cordell Bloor
• llvm-defaults 0.55.6 MIGRATED to testing   Debian testing watch
• llvm-toolchain-14 1:14.0.6-12 MIGRATED to testing   Debian testing watch

Last message date: Mon Feb 27 04:39:13 GMT 2023
Archived on: Mon Feb 27 04:39:36 GMT 2023

• Messages sorted by: [ subject ] [ author ] [ date ]
• More info on this list...