[Git][ocaml-team/coq-doc] Pushed new tag debian/9.2.0-1
"Julien Puydt (@jpuydt)" <[email protected]> Mon, 03 Aug 2026 13:51:28 +0000
| Newsgroups | gmane.linux.debian.devel.ocaml |
|---|---|
| Message-ID | <[email protected]> |
----==_mimepart_6a709ce0cec42_551fb6588515c4
Content-Type: text/plain;
charset=UTF-8
Content-Transfer-Encoding: 7bit
Julien Puydt pushed new tag debian/9.2.0-1 at Debian OCaml Maintainers / coq-doc
--
View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/tree/debian/9.2.0-1
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_6a709ce0cec42_551fb6588515c4
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 new tag debian/9.2.0-1 at <a href=3D"https://salsa.de=
bian.org/ocaml-team/coq-doc">Debian OCaml Maintainers / coq-doc</a>
</h3>
</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/-/tree/debian/9.2.=
0-1">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/-/tree/debian/9.2.0-1 at 1785765088
</span>
</p>
</div>
</body>
</html>
----==_mimepart_6a709ce0cec42_551fb6588515c4--