[Git][ocaml-team/coq-doc][pristine-tar] pristine-tar data for coq-doc_9.2.0.orig.tar.gz
"Julien Puydt (@jpuydt)" <[email protected]> Mon, 03 Aug 2026 13:51:30 +0000
| Newsgroups | gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <[email protected]> |
----==_mimepart_6a709ce2882e3_551fb6d0851794
Content-Type: text/plain;
charset=UTF-8
Content-Transfer-Encoding: 7bit
Julien Puydt pushed to branch pristine-tar at Debian OCaml Maintainers / coq-doc
Commits:
8cc7bdd7 by Julien Puydt at 2026-08-03T11:45:43+02:00
pristine-tar data for coq-doc_9.2.0.orig.tar.gz
- - - - -
2 changed files:
- + coq-doc_9.2.0.orig.tar.gz.delta
- + coq-doc_9.2.0.orig.tar.gz.id
Changes:
=====================================
coq-doc_9.2.0.orig.tar.gz.delta
=====================================
Binary files /dev/null and b/coq-doc_9.2.0.orig.tar.gz.delta differ
=====================================
coq-doc_9.2.0.orig.tar.gz.id
=====================================
@@ -0,0 +1 @@
+24413bfcd2447a63b26aae2f2cec69346a155f46
View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/8cc7bdd70abd50621a6a11d0e70141ce495de19f
--
View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/commit/8cc7bdd70abd50621a6a11d0e70141ce495de19f
You're receiving this email because of your account on salsa.debian.org. Manage all notifications: https://salsa.debian.org/-/profile/notifications | Help: https://salsa.debian.org/help
----==_mimepart_6a709ce2882e3_551fb6d0851794
Content-Type: text/html;
charset=UTF-8
Content-Transfer-Encoding: quoted-printable
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www=
.w3.org/TR/REC-html40/loose.dtd">
<html lang=3D"en" style=3D'--code-editor-font: var(--default-mono-font, "=
GitLab Mono"), JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, =
Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospac=
e;'>
<head>
<meta content=3D"text/html; charset=3Dutf-8" http-equiv=3D"Content-Type">=
<title>
GitLab
</title>
<style data-premailer=3D"ignore" type=3D"text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: .875rem;
}
body {
-webkit-text-shadow: hsla(0,0%,100%,.01) 0 0 1px;
}
body {
font-family: "GitLab Sans",-apple-system,BlinkMacSystemFont,"Segoe UI",Ro=
boto,"Noto Sans",Ubuntu,Cantarell,"Helvetica Neue",sans-serif,"Apple Colo=
r Emoji","Segoe UI Emoji","Segoe UI Symbol","Noto Color Emoji"; font-size=
: inherit;
}
</style>
</head>
<body style=3D'font-size: inherit; -webkit-text-shadow: hsla(0,0%,100%,.0=
1) 0 0 1px; font-family: "GitLab Sans",-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=3D"content">
<h3 style=3D"margin-top: 20px; margin-bottom: 10px;">
Julien Puydt pushed to branch pristine-tar at <a href=3D"https://salsa.de=
bian.org/ocaml-team/coq-doc">Debian OCaml Maintainers / coq-doc</a>
</h3>
<h4 style=3D"margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<ul>
<li>
<strong style=3D"font-weight: 600;"><a href=3D"https://salsa.debian.org/o=
caml-team/coq-doc/-/commit/8cc7bdd70abd50621a6a11d0e70141ce495de19f">8cc7=
bdd7</a></strong>
<div>
<span> by Julien Puydt </span> <i> at 2026-08-03T11:45:43+02:00 </i>
</div>
<pre class=3D"commit-message" style=3D'white-space: pre-wrap; display: bl=
ock; font-size: 14px; color: #3a383f; position: relative; font-family: "G=
itLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation M=
ono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida co=
nsole", monospace; font-variant-ligatures: none; word-break: break-all; w=
ord-wrap: break-word; background-color: #fbfafd; border-radius: 2px; marg=
in: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>pristine-tar data f=
or coq-doc_9.2.0.orig.tar.gz
</pre>
</li>
</ul>
<h4 style=3D"margin-top: 10px; margin-bottom: 10px;">
2 changed files:
</h4>
<ul>
<li class=3D"file-stats">
<a href=3D"#f94d5823471afea3b5523577ef0db05d35b11930">
<span class=3D"new-file">
+
coq-doc_9.2.0.orig.tar.gz.delta
</span>
</a>
</li>
<li class=3D"file-stats">
<a href=3D"#0e90fecc3a5411faa0f7046ad59b9b4715317596">
<span class=3D"new-file">
+
coq-doc_9.2.0.orig.tar.gz.id
</span>
</a>
</li>
</ul>
<h4 style=3D"margin-top: 10px; margin-bottom: 10px;">
Changes:
</h4>
<li id=3D"f94d5823471afea3b5523577ef0db05d35b11930">
<a href=3D"https://salsa.debian.org/ocaml-team/coq-doc/-/commit/8cc7bdd70=
abd50621a6a11d0e70141ce495de19f#f94d5823471afea3b5523577ef0db05d35b11930"=
><strong style=3D"font-weight: 600;">coq-doc_9.2.0.orig.tar.gz.delta</str=
ong></a>
<hr style=3D"overflow: hidden; border: 1px solid #dcdcde;">
No preview for this file type
<br>
</li>
<li id=3D"0e90fecc3a5411faa0f7046ad59b9b4715317596">
<a href=3D"https://salsa.debian.org/ocaml-team/coq-doc/-/commit/8cc7bdd70=
abd50621a6a11d0e70141ce495de19f#0e90fecc3a5411faa0f7046ad59b9b4715317596"=
><strong style=3D"font-weight: 600;">coq-doc_9.2.0.orig.tar.gz.id</strong=
></a>
<hr style=3D"overflow: hidden; border: 1px solid #dcdcde;">
<table class=3D"code white" style=3D"border-spacing: 0; border-collapse: =
collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor=3D=
"#ffffff" width=3D"100%" cellpadding=3D"0" cellspacing=3D"0">
<tr class=3D"line_holder new" style=3D"line-height: 1.6;">
<td class=3D"old_line diff-line-num new" data-linenumber=3D"0" style=3D"w=
idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right=
-color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r=
ight" bgcolor=3D"#ddfbe6">
=
</td>
<td class=3D"new_line diff-line-num new" data-linenumber=3D"1" style=3D"w=
idth: 35px; color: rgba(5,5,6,.24); border-right-width: 1px; border-right=
-color: #c7f0d2; border-right-style: solid; padding: inherit;" align=3D"r=
ight" bgcolor=3D"#ddfbe6">
1
</td>
<td class=3D"line_content new" style=3D"padding: inherit;" bgcolor=3D"#ec=
fdf0"><pre style=3D'display: block; font-size: 14px; color: #3a383f; posi=
tion: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "D=
ejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier =
New", "andale mono", "lucida console", monospace; font-variant-ligatures:=
none; word-break: break-all; word-wrap: break-word; background-color: in=
herit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #=
dcdcde;'>+<span class=3D"line" data-lang=3D"plaintext">24413bfcd2447a63b2=
6aae2f2cec69346a155f46</span></pre></td>
</tr>
</table>
<br>
</li>
</div>
<div class=3D"footer" style=3D"margin-top: 10px;">
<p style=3D"font-size: small; color: #626168;">
=E2=80=94
<br>
<a href=3D"https://salsa.debian.org/ocaml-team/coq-doc/-/commit/8cc7bdd70=
abd50621a6a11d0e70141ce495de19f">View it on GitLab</a>.
<br>
You're receiving this email because of your account on <a target=3D"_blan=
k" rel=3D"noopener noreferrer" href=3D"https://salsa.debian.org">salsa.de=
bian.org</a>. <a href=3D"https://salsa.debian.org/-/profile/notifications=
" target=3D"_blank" rel=3D"noopener noreferrer" class=3D"mng-notif-link">=
Manage all notifications</a> =C2=B7 <a href=3D"https://salsa.debian.org/h=
elp" target=3D"_blank" rel=3D"noopener noreferrer" class=3D"help-link">He=
lp</a>
<span style=3D"color: transparent; font-size: 0; display: none; overflow:=
hidden; opacity: 0; width: 0; height: 0; max-width: 0; max-height: 0;">
Notification message regarding https://salsa.debian.org/ocaml-team/coq-do=
c/-/commit/8cc7bdd70abd50621a6a11d0e70141ce495de19f at 1785765090
</span>
<script type=3D"application/ld+json">{"@context":"http://schema.org","@ty=
pe":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","u=
rl":"https://salsa.debian.org/ocaml-team/coq-doc/-/commit/8cc7bdd70abd506=
21a6a11d0e70141ce495de19f"}}</script>
</p>
</div>
</body>
</html>
----==_mimepart_6a709ce2882e3_551fb6d0851794--