debian-science Oct 2024 by thread

[previous month]

[previous page]

Page 1 of 1

[next page]

[Date Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Sponsor needed for alberta package with soversion bump Markus Blatt

Re: Sponsor needed for alberta package with soversion bump Pierre Gruet

Re: Sponsor needed for alberta package with soversion bump Markus Blatt

Re: Sponsor needed for alberta package with soversion bump Pierre Gruet
Re: Sponsor needed for alberta package with soversion bump Markus Blatt
Re: Sponsor needed for alberta package with soversion bump Pierre Gruet
Re: Sponsor needed for alberta package with soversion bump Markus Blatt

Fwd: Finding potential speakers for HEPiX Andreas Tille
rocm and autopkgtest PICCA Frederic-Emmanuel

Re: rocm and autopkgtest Cordell Bloor
Re: rocm and autopkgtest Christian Kastner

Re: rocm and autopkgtest PICCA Frederic-Emmanuel

Re: rocm and autopkgtest Jerome Kieffer
Re: rocm and autopkgtest Christian Kastner

Re: rocm and autopkgtest Christian Kastner

Re: rocm and autopkgtest PICCA Frederic-Emmanuel

Re: rocm and autopkgtest Christian Kastner

Re: xeus packages Bill Allombert

Re: xeus packages Gordon Ball

Re: xeus packages Bill Allombert

Re: xeus packages Gordon Ball
Re: xeus packages Bill Allombert

Bug#1084868: ITP: kissat -- keep it simple and clean bare metal SAT solver 陈晟祺
Bug#1084889: ITP: drat-trim -- DRAT-trim SAT proof checker 陈晟祺
xeus kernel packaging Bill Allombert

Re: xeus kernel packaging Gordon Ball

Salsa group role for DDs; bulk update needed Michael R. Crusoe

Re: Salsa group role for DDs; bulk update needed Anton Gladky

The last update was on 07:00 GMT Thu Oct 24. There are 28 messages. Page 1 of 1.

[previous month]

[previous page]

Page 1 of 1

[next page]

[Date Index] [Subject Index] [Author Index] [Other Debian Lists] [Debian Home]

Mail converted by MHonArc