Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq
Commits:
31b972d4 by Julien Puydt at 2021-12-11T10:12:52+01:00
pristine-tar data for coq_8.14.1+dfsg.orig.tar.xz
- - - - -
2 changed files:
- + coq_8.14.1+dfsg.orig.tar.xz.delta
- + coq_8.14.1+dfsg.orig.tar.xz.id
Changes:
=====================================
coq_8.14.1+dfsg.orig.tar.xz.delta
=====================================
Binary files /dev/null and b/coq_8.14.1+dfsg.orig.tar.xz.delta differ
=====================================
coq_8.14.1+dfsg.orig.tar.xz.id
=====================================
@@ -0,0 +1 @@
+e91bf65d50b1223a186140e26b0b544386782211
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq/-/commit/31b972d45f98e451a9b56535ffa2022d537517c6
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq/-/commit/31b972d45f98e451a9b56535ffa2022d537517c6
You're receiving this email because of your account on salsa.debian.org.
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "
http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
Julien Puydt pushed to branch pristine-tar
at <a href="
https://salsa.debian.org/ocaml-team/coq">Debian OCaml Maintainers / coq</a>
</h3>
Commits:
</h4>
<strong><a href="
https://salsa.debian.org/ocaml-team/coq/-/commit/31b972d45f98e451a9b56535ffa2022d537517c6">31b972d4</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2021-12-11T10:12:52+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">pristine-tar data for coq_8.14.1+dfsg.orig.tar.xz
</pre>
</li>
</ul>
<h4>2 changed files:</h4>
<li class="file-stats">
<a href="#73e9661d05ef3f43d0ab1117c6db12e11965e32f">
<span class="new-file">
+
coq_8.14.1+dfsg.orig.tar.xz.delta
</span>
</li>
<li class="file-stats">
<a href="#06a10b7b4b2c70bd7d0398b0974c1063ff75ec50">
<span class="new-file">
+
coq_8.14.1+dfsg.orig.tar.xz.id
</span>
</li>
</ul>
<h4>Changes:</h4>
<li id="73e9661d05ef3f43d0ab1117c6db12e11965e32f">
<a href="
https://salsa.debian.org/ocaml-team/coq/-/commit/31b972d45f98e451a9b56535ffa2022d537517c6#73e9661d05ef3f43d0ab1117c6db12e11965e32f"><strong>coq_8.14.1+dfsg.orig.tar.xz.delta</strong></a>
No preview for this file type
</li>
<li id="06a10b7b4b2c70bd7d0398b0974c1063ff75ec50">
<a href="
https://salsa.debian.org/ocaml-team/coq/-/commit/31b972d45f98e451a9b56535ffa2022d537517c6#06a10b7b4b2c70bd7d0398b0974c1063ff75ec50"><strong>coq_8.14.1+dfsg.orig.tar.xz.id</strong></a>
<table class="code white" style="font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">
<tr class="line_holder new" id="" style="line-height: 1.6;">
<td class="old_line diff-line-num new" data-linenumber="0" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
</td>
<td class="new_line diff-line-num new" data-linenumber="1" style="width: 35px; color: rgba(0,0,0,0.3); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: 0 5px;" align="right" bgcolor="#ddfbe6">
1
</td>
<td class="line_content new" style="padding-left: 0.5em; padding-right: 0.5em;" bgcolor="#ecfdf0">
<pre style="margin: 0;">+<span id="LC1" class="line" lang="plaintext">e91bf65d50b1223a186140e26b0b544386782211</span></pre>
</td>
</tr>
</table>
</li>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #666;">
—
<a href="
https://salsa.debian.org/ocaml-team/coq/-/commit/31b972d45f98e451a9b56535ffa2022d537517c6">View it on GitLab</a>.
You're receiving this email because of your account on salsa.debian.org.
If you'd like to receive fewer emails, you can
adjust your notification settings.
<script type="application/ld+json">{"@context":"
http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"
https://salsa.debian.org/ocaml-team/coq/-/commit/31b972d45f98e451a9b56535ffa2022d537517c6"}}</script>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)