DQoNClN0w6lwaGFuZSBHbG9uZHUgcHVzaGVkIHRvIGJyYW5jaCBwcmlzdGlu ZS10YXIgYXQgRGViaWFuIE9DYW1sIE1haW50YWluZXJzIC8gY29xLWRvYw0K DQoNCkNvbW1pdHM6DQo5OTQyYTA1ZiBieSBTdGVwaGFuZSBHbG9uZHUgYXQg MjAyMy0wOC0wMVQxNzowMzo1NSswMjowMA0KcHJpc3RpbmUtdGFyIGRhdGEg Zm9yIGNvcS1kb2NfOC4xNy4wLm9yaWcudGFyLmd6DQoNCi0gLSAtIC0gLQ0K YjQyNzZiY2IgYnkgU3RlcGhhbmUgR2xvbmR1IGF0IDIwMjMtMDgtMTJUMTE6 NTE6MjYrMDI6MDANCnByaXN0aW5lLXRhciBkYXRhIGZvciBjb3EtZG9jXzgu MTcuMS5vcmlnLnRhci5neg0KDQotIC0gLSAtIC0NCg0KDQo0IGNoYW5nZWQg ZmlsZXM6DQoNCi0gKyBjb3EtZG9jXzguMTcuMC5vcmlnLnRhci5nei5kZWx0 YQ0KLSArIGNvcS1kb2NfOC4xNy4wLm9yaWcudGFyLmd6LmlkDQotICsgY29x LWRvY184LjE3LjEub3JpZy50YXIuZ3ouZGVsdGENCi0gKyBjb3EtZG9jXzgu MTcuMS5vcmlnLnRhci5nei5pZA0KDQoNCkNoYW5nZXM6DQoNCj09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0NCmNvcS1kb2NfOC4xNy4w Lm9yaWcudGFyLmd6LmRlbHRhDQo9PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09DQpCaW5hcnkgZmlsZXMgL2Rldi9udWxsIGFuZCBiL2Nv cS1kb2NfOC4xNy4wLm9yaWcudGFyLmd6LmRlbHRhIGRpZmZlcg0KDQoNCj09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0NCmNvcS1kb2Nf OC4xNy4wLm9yaWcudGFyLmd6LmlkDQo9PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09DQpAQCAtMCwwICsxIEBADQorYjcxNmE3ZDIxNWI4 NmZlNDdkMTgyOGVlMjRkOTJlYmM5ZjU0NjdhMw0KDQoNCj09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT0NCmNvcS1kb2NfOC4xNy4xLm9y aWcudGFyLmd6LmRlbHRhDQo9PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09DQpCaW5hcnkgZmlsZXMgL2Rldi9udWxsIGFuZCBiL2NvcS1k b2NfOC4xNy4xLm9yaWcudGFyLmd6LmRlbHRhIGRpZmZlcg0KDQoNCj09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0NCmNvcS1kb2NfOC4x Ny4xLm9yaWcudGFyLmd6LmlkDQo9PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09DQpAQCAtMCwwICsxIEBADQorZDk5M2Y5MTIxMWFlMzRl ZDdiYjFiMDdiOTNiMmJjZmQyMWIzMGRlNw0KDQoNCg0KVmlldyBpdCBvbiBH aXRMYWI6IGh0dHBzOi8vc2Fsc2EuZGViaWFuLm9yZy9vY2FtbC10ZWFtL2Nv cS1kb2MvLS9jb21wYXJlL2M2N2ViZmIxMzE3OTNkNmEyOTM2Yjc5MDUxMGVh ZTM1OGJjNzhjN2UuLi5iNDI3NmJjYjQ0Mzg3YzZlMzM2MDk5N2VmYjMyNjJk MGFmYWY5ZDM0DQoNCi0tIA0KVmlldyBpdCBvbiBHaXRMYWI6IGh0dHBzOi8v c2Fsc2EuZGViaWFuLm9yZy9vY2FtbC10ZWFtL2NvcS1kb2MvLS9jb21wYXJl L2M2N2ViZmIxMzE3OTNkNmEyOTM2Yjc5MDUxMGVhZTM1OGJjNzhjN2UuLi5i NDI3NmJjYjQ0Mzg3YzZlMzM2MDk5N2VmYjMyNjJkMGFmYWY5ZDM0DQpZb3Un cmUgcmVjZWl2aW5nIHRoaXMgZW1haWwgYmVjYXVzZSBvZiB5b3VyIGFjY291 bnQgb24gc2Fsc2EuZGViaWFuLm9yZy4NCg0KDQo=
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "
http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en" style='--code-editor-font: var(--default-mono-font, "Menlo"), DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;'>
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style data-premailer="ignore" type="text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
}
body {
font-family: var(--default-regular-font, -apple-system),BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: var(--default-regular-font, -apple-system),BlinkMacSystemFont,"Segoe UI",Roboto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Color Emoji"
,"Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji";'>
<div class="content">
<h3 style="margin-top: 20px; margin-bottom: 10px;">
Stéphane Glondu pushed to branch pristine-tar at <a href="
https://salsa.debian.org/ocaml-team/coq-doc">Debian OCaml Maintainers / coq-doc</a>
</h3>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/coq-doc/-/commit/9942a05ff1c59b00257c5c98d502d4c36f6207dc">9942a05f</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-01T17:03:55+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "Menlo"),"DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","
andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>pristine-tar data for coq-doc_8.17.0.orig.tar.gz
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/coq-doc/-/commit/b4276bcb44387c6e3360997efb3262d0afaf9d34">b4276bcb</a></strong>
<div>
<span> by Stephane Glondu </span> <i> at 2023-08-12T11:51:26+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "Menlo"),"DejaVu Sans Mono","Liberation Mono","Consolas","Ubuntu Mono","Courier New","
andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>pristine-tar data for coq-doc_8.17.1.orig.tar.gz
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
4 changed files:
</h4>
<li class="file-stats">
<a href="#36683ee82f8df21635f683852e3f390e838389e0">
<span class="new-file">
+
coq-doc_8.17.0.orig.tar.gz.delta
</span>
</li>
<li class="file-stats">
<a href="#4382d1fa7b7824f46b3fa2759d67a3f2822e9d49">
<span class="new-file">
+
coq-doc_8.17.0.orig.tar.gz.id
</span>
</li>
<li class="file-stats">
<a href="#55aeac6a0d9a2ebaa0855812e83e127f436b74de">
<span class="new-file">
+
coq-doc_8.17.1.orig.tar.gz.delta
</span>
</li>
<li class="file-stats">
<a href="#278bc2b3809c95dfdc2395a0820b466a44af5d55">
<span class="new-file">
+
coq-doc_8.17.1.orig.tar.gz.id
</span>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Changes:
</h4>
<li id="36683ee82f8df21635f683852e3f390e838389e0">
<a href="
https://salsa.debian.org/ocaml-team/coq-doc/-/compare/c67ebfb131793d6a2936b790510eae358bc78c7e...b4276bcb44387c6e3360997efb3262d0afaf9d34#36683ee82f8df21635f683852e3f390e838389e0"><strong style="font-weight: bold;">coq-doc_8.17.0.orig.tar.gz.
delta</strong></a>
<hr style="overflow: hidden; border: 1px solid #e1e1e1;">
No preview for this file type
</li>
<li id="4382d1fa7b7824f46b3fa2759d67a3f2822e9d49">
<a href="
https://salsa.debian.org/ocaml-team/coq-doc/-/compare/c67ebfb131793d6a2936b790510eae358bc78c7e...b4276bcb44387c6e3360997efb3262d0afaf9d34#4382d1fa7b7824f46b3fa2759d67a3f2822e9d49"><strong style="font-weight: bold;">coq-doc_8.17.0.orig.tar.gz.id</
strong></a>
<hr style="overflow: hidden; border: 1px solid #e1e1e1;">
<table class="code white" style="border-spacing: 0; border-collapse: collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
<tr class="line_holder new" style="line-height: 1.6;">
<td class="old_line diff-line-num new" data-linenumber="0" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">
</td>
<td class="new_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">
1
</td>
<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "Menlo"),"DejaVu Sans Mono","Liberation Mono","Consolas","
Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC1" class="line" lang="
plaintext">b716a7d215b86fe47d1828ee24d92ebc9f5467a3</span></pre></td>
</tr>
</table>
</li>
<li id="55aeac6a0d9a2ebaa0855812e83e127f436b74de">
<a href="
https://salsa.debian.org/ocaml-team/coq-doc/-/compare/c67ebfb131793d6a2936b790510eae358bc78c7e...b4276bcb44387c6e3360997efb3262d0afaf9d34#55aeac6a0d9a2ebaa0855812e83e127f436b74de"><strong style="font-weight: bold;">coq-doc_8.17.1.orig.tar.gz.
delta</strong></a>
<hr style="overflow: hidden; border: 1px solid #e1e1e1;">
No preview for this file type
</li>
<li id="278bc2b3809c95dfdc2395a0820b466a44af5d55">
<a href="
https://salsa.debian.org/ocaml-team/coq-doc/-/compare/c67ebfb131793d6a2936b790510eae358bc78c7e...b4276bcb44387c6e3360997efb3262d0afaf9d34#278bc2b3809c95dfdc2395a0820b466a44af5d55"><strong style="font-weight: bold;">coq-doc_8.17.1.orig.tar.gz.id</
strong></a>
<hr style="overflow: hidden; border: 1px solid #e1e1e1;">
<table class="code white" style="border-spacing: 0; border-collapse: collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
<tr class="line_holder new" style="line-height: 1.6;">
<td class="old_line diff-line-num new" data-linenumber="0" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">
</td>
<td class="new_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">
1
</td>
<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 0.875rem; color: #333238; position: relative; font-family: var(--default-mono-font, "Menlo"),"DejaVu Sans Mono","Liberation Mono","Consolas","
Ubuntu Mono","Courier New","andale mono","lucida console",monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC1" class="line" lang="
plaintext">d993f91211ae34ed7bb1b07b93b2bcfd21b30de7</span></pre></td>
</tr>
</table>
</li>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #737278;">
—
<a href="
https://salsa.debian.org/ocaml-team/coq-doc/-/compare/c67ebfb131793d6a2936b790510eae358bc78c7e...b4276bcb44387c6e3360997efb3262d0afaf9d34">View it on GitLab</a>.
You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="
https://salsa.debian.org">salsa.debian.org</a>. <a href="
https://salsa.debian.org/-/profile/notifications" target="_blank" rel="noopener noreferrer"
class="mng-notif-link">Manage all notifications</a> · <a href="
https://salsa.debian.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)