debian-science Oct 2024 by subject

[previous page]

Page 1 of 1

[next page]

[Thread Index] [Date Index] [Author 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

Fwd: Finding potential speakers for HEPiX

Andreas Tille Oct 08

rocm and autopkgtest

PICCA Frederic-Emmanuel Oct 08
Cordell Bloor Oct 08
Christian Kastner Oct 09
PICCA Frederic-Emmanuel Oct 09
Jerome Kieffer Oct 10
Christian Kastner Oct 10
Christian Kastner Oct 16
PICCA Frederic-Emmanuel Oct 16
Christian Kastner Oct 16

Salsa group role for DDs; bulk update needed

Michael R. Crusoe Oct 18
Anton Gladky Oct 18

Sponsor needed for alberta package with soversion bump

Markus Blatt Oct 05
Pierre Gruet Oct 05
Markus Blatt Oct 10
Pierre Gruet Oct 12
Markus Blatt Oct 16
Pierre Gruet Oct 18
Markus Blatt Oct 24

xeus kernel packaging

Bill Allombert Oct 13
Gordon Ball Oct 17

Re: xeus packages

Bill Allombert Oct 09
Gordon Ball Oct 17
Bill Allombert Oct 19
Gordon Ball Oct 20
Bill Allombert Oct 21

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