| Newsgroups |
gmane.linux.debian.devel.mentors |
| Message-ID |
<PRASPRMB00049E12BF5F7A0A2A56E6A6F8D52__27940.2630099625$1785782268$gmane$org@PRASPRMB0004.EURP192.PROD.OUTLOOK.COM> |
--_000_PRASPRMB00049E12BF5F7A0A2A56E6A6F8D52PRASPRMB0004EURP19_
Content-Type: text/plain; charset="gb2312"
Content-Transfer-Encoding: base64
SGkgTWljaGFlbCwNCg0KSSBoYXZlIHBhY2thZ2VkIEVTQk1DIGZvciBEZWJpYW4gYW5kIEkgYW0g
bG9va2luZyBmb3IgYSBzcG9uc29yLiBUaGUgUkZTIGJ1ZyBpcyAjMTEzOTI4MywgYW5kIHRoZSBw
YWNrYWdlIGlzIG9uIG1lbnRvcnM6DQoNCiAgZGdldCAteCBodHRwczovL21lbnRvcnMuZGViaWFu
Lm5ldC9kZWJpYW4vcG9vbC9tYWluL2UvZXNibWMvZXNibWNfOC40K2Rmc2ctMS5kc2MNCg0KICBo
dHRwczovL21lbnRvcnMuZGViaWFuLm5ldC9wYWNrYWdlL2VzYm1jLw0KICBodHRwczovL3NhbHNh
LmRlYmlhbi5vcmcvV2VpcWlXYW5nL2VzYm1jDQoNCkkgYW0gd3JpdGluZyB0byB5b3Ugc3BlY2lm
aWNhbGx5IGJlY2F1c2UgeW91IG1haW50YWluIGNibWMsIGJvb2xlY3RvciwgbWluaXNhdDIgYW5k
IHBpY29zYXQuIEVTQk1DIGlzIGEgYm91bmRlZCBtb2RlbCBjaGVja2VyIGZvcmtlZCBmcm9tIENC
TUMgc29tZSB5ZWFycyBhZ28sIGFuZCBpdCB1c2VzIGJvb2xlY3RvciBhcyBvbmUgb2YgaXRzIHNv
bHZlciBiYWNrZW5kcywgc28gaXQgc2l0cyBpbiB0aGUgc2FtZSBjb3JuZXIgb2YgdGhlIGFyY2hp
dmUgYXMgdGhlIHBhY2thZ2VzIHlvdSBhbHJlYWR5IGNhcnJ5LiBUaGUgRGViaWFuIGJ1aWxkIGN1
cnJlbnRseSBlbmFibGVzIFozIG9ubHksIHRvIGtlZXAgdGhlIGluaXRpYWwgcGFja2FnZSBzaW1w
bGUuDQoNClN0YXRlIG9mIHRoZSBwYWNrYWdlOiBpdCBoYXMgYmVlbiB0aHJvdWdoIHR3byByb3Vu
ZHMgb2YgcmV2aWV3IG9uIG1lbnRvcnMgYW5kIGV2ZXJ5dGhpbmcgcmFpc2VkIGlzIGFkZHJlc3Nl
ZCwgaXQgYnVpbGRzIHdpdGggc2J1aWxkIGFnYWluc3QgdW5zdGFibGUsIGFuZCBTYWxzYSBDSSBp
cyBncmVlbi4gSXQgaXMgYSBzaW5nbGUgYmluYXJ5IHBhY2thZ2UuDQoNClR3byB0aGluZ3MgSSBz
aG91bGQgYmUgdXBmcm9udCBhYm91dC4gVGhpcyB3b3VsZCBiZSBteSBmaXJzdCBwYWNrYWdlIGlu
IERlYmlhbiwgc28gaXQgbmVlZHMgdG8gZ28gdGhyb3VnaCBORVcuIEFuZCBJIHVzZWQgYW4gTExN
IHRvIGhlbHAgd2l0aCB0aGUgcGFja2FnaW5nLCB0aGVuIHdlbnQgYmFjayBvdmVyIGFsbCBvZiBp
dCBteXNlbGYgd2l0aCB0aGUgdG9vbHMgdGhlIG1hbnVhbHMgcmVjb21tZW5kOyBJIHRha2UgcmVz
cG9uc2liaWxpdHkgZm9yIHRoZSBjdXJyZW50IHZlcnNpb24uDQoNClNvIHRoZSBxdWVzdGlvbjog
d291bGQgeW91IGJlIGFibGUgdG8gc3BvbnNvciB0aGUgdXBsb2FkPyBJZiBpdCBpcyBub3Qgc29t
ZXRoaW5nIHlvdSBoYXZlIHRpbWUgZm9yLCBjb3VsZCB5b3UgcG9pbnQgbWUgYXQgYSBERCB3aG8g
bWlnaHQgYmUgd2lsbGluZyB0byBsb29rPyBFaXRoZXIgYW5zd2VyIGlzIGdlbnVpbmVseSB1c2Vm
dWwsIGFuZCBJIGFtIGhhcHB5IHRvIG1ha2UgYW55IGNoYW5nZXMgeW91IHdhbnQgZmlyc3QuDQoN
ClRoYW5rcywNCldlaXFpIFdhbmcNCg==
--_000_PRASPRMB00049E12BF5F7A0A2A56E6A6F8D52PRASPRMB0004EURP19_
Content-Type: text/html; charset="gb2312"
Content-Transfer-Encoding: quoted-printable
<html>
<head>
<meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Dgb2312">
<style type=3D"text/css" style=3D"display:none;"> P {margin-top:0;margin-bo=
ttom:0;} </style>
</head>
<body dir=3D"ltr">
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Hi Michael,</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
I have packaged ESBMC for Debian and I am looking for a sponsor. The RFS bu=
g is #1139283, and the package is on mentors:</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
dget -x https://mentors.debian.net/debian/pool/main/e/esbmc/esbmc_8.=
4+dfsg-1.dsc</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
https://mentors.debian.net/package/esbmc/</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
https://salsa.debian.org/WeiqiWang/esbmc</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
I am writing to you specifically because you maintain cbmc, boolector, mini=
sat2 and picosat. ESBMC is a bounded model checker forked from CBMC some ye=
ars ago, and it uses boolector as one of its solver backends, so it sits in=
the same corner of the archive
as the packages you already carry. The Debian build currently enables Z3 o=
nly, to keep the initial package simple.</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
State of the package: it has been through two rounds of review on mentors a=
nd everything raised is addressed, it builds with sbuild against unstable, =
and Salsa CI is green. It is a single binary package.</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
Two things I should be upfront about. This would be my first package in Deb=
ian, so it needs to go through NEW. And I used an LLM to help with the pack=
aging, then went back over all of it myself with the tools the manuals reco=
mmend; I take responsibility for
the current version.</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
So the question: would you be able to sponsor the upload? If it is not some=
thing you have time for, could you point me at a DD who might be willing to=
look? Either answer is genuinely useful, and I am happy to make any change=
s you want first.</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
<br>
</div>
<div class=3D"elementToProof" style=3D"font-family: Aptos, Aptos_EmbeddedFo=
nt, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; c=
olor: rgb(0, 0, 0);">
Thanks,</div>
<div style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Weiqi Wang</div>
</body>
</html>
--_000_PRASPRMB00049E12BF5F7A0A2A56E6A6F8D52PRASPRMB0004EURP19_--