<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
</head>
<body>
<p class="isSelectedEnd" style="direction: ltr; text-align: left; text-indent: 0px; text-transform: none;">
<span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Hi,</span></p>
<p class="isSelectedEnd" style="text-align: left; text-indent: 0px; text-transform: none;">
<span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">We have released the first version of
<b>daleq4py</b>, a new tool for comparing Python packages built from the same sources, for example packages produced by tools such as
<i>oss-rebuild</i> or <i>macaron</i>.</span></p>
<p class="isSelectedEnd" style="text-align: left; text-indent: 0px; text-transform: none;">
<span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">Often, the resulting packages are not identical. However, many of these differences are benign and can be explained by variations in the build environment.
<b>daleq4py</b> addresses this problem and, in many cases, can establish that packages are equivalent despite such differences.</span></p>
<p class="isSelectedEnd" style="text-align: left; text-indent: 0px; text-transform: none;">
<span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">The approach is similar to
<b>daleq</b> for Java packages: equivalence is expressed using datalog rules, and equivalence statements are backed by explanations constructed from recorded datalog derivations. </span></p>
<p class="isSelectedEnd" style="text-align: left; text-indent: 0px; text-transform: none;">
<span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><b>GitHub repository:</b> <a href="https://github.com/binaryeq/daleq4py/" data-rich-text-autolink="" data-outlook-id="cee4bcff-277c-4e69-abad-9ae6848ad288" style="margin-top: 0px; margin-bottom: 0px;">https://github.com/binaryeq/daleq4py/</a></span></p>
<p class="isSelectedEnd" style="text-align: left; text-indent: 0px; text-transform: none;">
<span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><b>PyPI:</b> <a href="https://pypi.org/project/daleq4py/" data-rich-text-autolink="" data-outlook-id="02c5d89f-06ea-481f-8169-79efc0165fc5" style="margin-top: 0px; margin-bottom: 0px;">https://pypi.org/project/daleq4py/</a></span></p>
<p class="isSelectedEnd" style="text-align: left; text-indent: 0px; text-transform: none;">
<span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"><b>Paper</b>, describing the approach and an evaluation using
<i>oss-rebuild</i> and <i>macaron</i> re-builds: <a href="https://arxiv.org/abs/2607.21888" data-rich-text-autolink="" data-outlook-id="e59a535e-5a8b-47fb-b8be-32bc4ac236f4" style="margin-top: 0px; margin-bottom: 0px;">
https://arxiv.org/abs/2607.21888</a></span></p>
<p class="isSelectedEnd" style="text-align: left; text-indent: 0px; text-transform: none;">
<span style="color: rgb(0, 0, 0);"><b>Daleq</b> (similar tool for Java packages): <a href="https://github.com/binaryeq/daleq/" data-outlook-id="47936695-d017-47c8-957a-acb7a769aa32" style="margin-top: 0px; margin-bottom: 0px;">https://github.com/binaryeq/daleq/</a></span><span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);"> </span></p>
<p class="isSelectedEnd" style="text-align: left; text-indent: 0px; text-transform: none;">
<span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">The project is the result of a collaboration between
<b>Victoria University of Wellington</b> and <b>Oracle Australia</b>.</span></p>
<p style="text-align: left; text-indent: 0px; text-transform: none;"><span style="font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">— Jens, Spencer, Tim and Behnaz</span></p>
<div style="direction: ltr; font-family: Aptos, Arial, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">
<br>
</div>
</body>
</html>