| Newsgroups |
gmane.linux.debian.devel.mentors |
| Message-ID |
<PRAP192MB1649D89683EF8740275B0364F8CF2__38730.2922595822$1784909859$gmane$org@PRAP192MB1649.EURP192.PROD.OUTLOOK.COM> |
--_000_PRAP192MB1649D89683EF8740275B0364F8CF2PRAP192MB1649EURP_
Content-Type: text/plain; charset="gb2312"
Content-Transfer-Encoding: base64
SGksDQoNCkkndmUgdXBsb2FkZWQgYSByZWZyZXNoZWQgZXNibWMgdG8gbWVudG9yczsgaXQgYnVp
bGRzIGNsZWFubHkgb24gdW5zdGFibGUgbm93Lg0KDQpTaW5jZSB0aGUgbGFzdCB1cGxvYWQgSSBj
bGVhbmVkIHVwIHRoZSBidWlsZC1kZXBzIC0tIGRyb3BwZWQgYSBmZXcgdGhhdCBlc2JtYyBkb2Vz
bid0IGFjdHVhbGx5IHVzZSAtLSBhbmQgYnVtcGVkIHRvIGRlYmhlbHBlci1jb21wYXQgMTQgYXMg
c3VnZ2VzdGVkIGFuZCBTdGFuZGFyZHMtVmVyc2lvbiA0LjcuNC4NCg0KU2Fsc2EgQ0kgaXMgZ3Jl
ZW4gb24gdW5zdGFibGUuIExpbnRpYW4gaXMgb3RoZXJ3aXNlIGNsZWFuOyB0aGUgbG9uZy1saW5l
IHRhZ3MgY29tZSBmcm9tIHNvbWUgU29saWRpdHkgc291cmNlIGZpbGVzIGluIHRoZSB0ZXN0IGRh
dGEsIHdoaWNoIGFyZSBwYXJ0IG9mIGVzYm1jJ3MgcmVncmVzc2lvbiBzdWl0ZSwgc28gSSBsZWZ0
IHRoZW0gYXMtaXMgLS0gdGhleSBkb24ndCBhZmZlY3QgdGhlIGJpbmFyeSBidWlsZC4NCg0KICBk
Z2V0IC14IGh0dHBzOi8vbWVudG9ycy5kZWJpYW4ubmV0L2RlYmlhbi9wb29sL21haW4vZS9lc2Jt
Yy9lc2JtY184LjQuMCtkZnNnLTEuZHNjDQoNClBhY2thZ2luZyBnaXQ6IGh0dHBzOi8vc2Fsc2Eu
ZGViaWFuLm9yZy9XZWlxaVdhbmcvZXNibWMNCg0KSSdsbCBiZSB1cGZyb250IGFib3V0IHByb2Nl
c3MgdG9vOiBJIHVzZWQgYW4gTExNIHRvIGhlbHAgd2l0aCBzb21lIG9mIHRoZSBwYWNrYWdpbmcu
IEl0IHR1cm5lZCBvdXQgdG8gYmUgd2VhayBvbiB0aGUgYmFzaWMgRGViaWFuIHJ1bGVzIC0tIGl0
IGRpZG4ndCBrbm93IGl0IHNob3VsZCBidWlsZCB3aXRoIHNidWlsZCwgZm9yIG9uZSAtLSB3aGVy
ZWFzIHJlYWRpbmcgdGhlIG1hbnVhbHMgdGF1Z2h0IG1lIGEgbG90IGFuZCBwb2ludGVkIG1lIGF0
IHdlbGwtZXN0YWJsaXNoZWQgdG9vbHMgdGhhdCBhcmUgZmFyIG1vcmUgcmVsaWFibGUgdGhhbiBh
biBMTE0uIEkgd2VudCBiYWNrIG92ZXIgdGhlIHdvcmsgbXlzZWxmIHdpdGggdGhlIHRvb2xzIHRo
ZSBtYW51YWxzIHJlY29tbWVuZCBhbmQgY29uZmlybWVkIGV2ZXJ5dGhpbmcgY2hlY2tzIG91dC4g
VGhlIGRyYWZ0IHN0YXJ0ZWQgZnJvbSBMTE0gb3V0cHV0LCBidXQgSSd2ZSByZXZpZXdlZCBhbmQg
ZWRpdGVkIGl0LCBhbmQgSSB0YWtlIGZ1bGwgcmVzcG9uc2liaWxpdHkgZm9yIHRoZSBjdXJyZW50
IHZlcnNpb24uIEknbGwgZ2xhZGx5IGFjY2VwdCBhbnkgY3JpdGljaXNtLCBhbmQgSSdtIGdyYXRl
ZnVsIHRvIGFueW9uZSB3aWxsaW5nIHRvIHJldmlldyBpdC4gVGhhbmsgeW91Lg0KDQpTdGlsbCBs
b29raW5nIGZvciBhIHNwb25zb3IgLS0gaGFwcHkgdG8gZml4IGFueXRoaW5nIHRoYXQgY29tZXMg
dXAuDQoNClRoYW5rcywNCg0KV2VpcWkNCg==
--_000_PRAP192MB1649D89683EF8740275B0364F8CF2PRAP192MB1649EURP_
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 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);">
Hi,</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've uploaded a refreshed esbmc to mentors; it builds cleanly on unstable n=
ow.</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);">
Since the last upload I cleaned up the build-deps -- dropped a few that esb=
mc doesn't actually use -- and bumped to debhelper-compat 14 as suggested a=
nd Standards-Version 4.7.4.</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);">
Salsa CI is green on unstable. Lintian is otherwise clean; the long-line ta=
gs come from some Solidity source files in the test data, which are part of=
esbmc's regression suite, so I left them as-is -- they don't affect the bi=
nary build.</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.0+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);">
Packaging git: 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'll be upfront about process too: I used an LLM to help with some of the p=
ackaging. It turned out to be weak on the basic Debian rules -- it didn't k=
now it should build with sbuild, for one -- whereas reading the manuals tau=
ght me a lot and pointed me at well-established
tools that are far more reliable than an LLM. I went back over the work my=
self with the tools the manuals recommend and confirmed everything checks o=
ut. The draft started from LLM output, but I've reviewed and edited it, and=
I take full responsibility for
the current version. I'll gladly accept any criticism, and I'm grateful to=
anyone willing to review it. Thank you.</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);">
Still looking for a sponsor -- happy to fix anything that comes up.</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 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 style=3D"font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, =
Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
Weiqi</div>
</body>
</html>
--_000_PRAP192MB1649D89683EF8740275B0364F8CF2PRAP192MB1649EURP_--