debian-science Oct 2024 by author

[previous page]

Page 1 of 1

[next page]

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

陈晟祺

Bug#1084868: ITP: kissat -- keep it simple and clean bare metal SAT solver Oct 10
Bug#1084889: ITP: drat-trim -- DRAT-trim SAT proof checker Oct 10

Andreas Tille

Fwd: Finding potential speakers for HEPiX Oct 08

Anton Gladky

Re: Salsa group role for DDs; bulk update needed Oct 18

Bill Allombert

Re: xeus packages Oct 21
Re: xeus packages Oct 09
Re: xeus packages Oct 19
xeus kernel packaging Oct 13

Christian Kastner

Cordell Bloor

Re: rocm and autopkgtest Oct 08

Gordon Ball

Re: xeus kernel packaging Oct 17
Re: xeus packages Oct 17
Re: xeus packages Oct 20

Jerome Kieffer

Re: rocm and autopkgtest Oct 10

Markus Blatt

Re: Sponsor needed for alberta package with soversion bump Oct 24
Re: Sponsor needed for alberta package with soversion bump Oct 10
Re: Sponsor needed for alberta package with soversion bump Oct 16
Sponsor needed for alberta package with soversion bump Oct 05

Michael R. Crusoe

Salsa group role for DDs; bulk update needed Oct 18

PICCA Frederic-Emmanuel

Pierre Gruet

Re: Sponsor needed for alberta package with soversion bump Oct 12
Re: Sponsor needed for alberta package with soversion bump Oct 18
Re: Sponsor needed for alberta package with soversion bump Oct 05

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]

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

Mail converted by MHonArc