Julien Puydt pushed to branch master at Debian OCaml Maintainers / ssreflect
Commits:
f7e3d5c0 by Julien Puydt at 2022-07-05T08:22:08+02:00
New upstream version 1.15.0
- - - - -
4095c7c0 by Julien Puydt at 2022-07-05T08:22:12+02:00
Update upstream source from tag 'upstream/1.15.0'
Update to upstream version '1.15.0'
with Debian dir 26c0559358786eaebcd8be56ff55b27f9ef2a659
- - - - -
0c5639fc by Julien Puydt at 2022-07-05T08:22:37+02:00
Package new upstream 1.15.0
- - - - -
1f64a160 by Julien Puydt at 2022-07-05T08:26:39+02:00
Rewrite the autopkgtest
- - - - -
e2d14b77 by Julien Puydt at 2022-07-05T08:55:49+02:00
Prepare for upload
- - - - -
30 changed files:
- .dockerignore
- .nix/config.nix
- .nix/coq-nix-toolbox.nix
- CHANGELOG.md
- CHANGELOG_UNRELEASED.md
- CONTRIBUTING.md
- Dockerfile
- Dockerfile.make
- _CoqProject
- coq-mathcomp-algebra.opam
- coq-mathcomp-character.opam
- coq-mathcomp-field.opam
- coq-mathcomp-fingroup.opam
- coq-mathcomp-solvable.opam
- coq-mathcomp-ssreflect.opam
- debian/changelog
- debian/tests/control
- − debian/tests/loadssreflect
- − debian/tests/loadssreflect.v
- etc/utils/builddoc_lib.sh
- mathcomp/Make
- mathcomp/Make.test-suite
- mathcomp/Makefile.test-suite.coq.local
- mathcomp/_CoqProject
- mathcomp/algebra/Make
- mathcomp/algebra/fraction.v
- mathcomp/algebra/intdiv.v
- mathcomp/algebra/interval.v
- mathcomp/algebra/matrix.v
- mathcomp/algebra/mxalgebra.v
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/ssreflect/-/compare/3b2906399eeb3c4892a8041273288d35db1ae397...e2d14b775df1e7d6e2ef56da93202aabdc23c477
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/ssreflect/-/compare/3b2906399eeb3c4892a8041273288d35db1ae397...e2d14b775df1e7d6e2ef56da93202aabdc23c477
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;
}
body {
font-size: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
}
body {
font-family: -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: -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;">
Julien Puydt pushed to branch master
at <a href="
https://salsa.debian.org/ocaml-team/ssreflect" style="color: #1068bf; text-decoration: none;">Debian OCaml Maintainers / ssreflect</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/ssreflect/-/commit/f7e3d5c0e14d9f711115953c6672e2f89136434c" style="color: #1068bf; text-decoration: none;">f7e3d5c0</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-07-05T08:22:08+02:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "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: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>New upstream version 1.15.0</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/ssreflect/-/commit/4095c7c0b3c021c8a10eff4e58620b10484f8cc9" style="color: #1068bf; text-decoration: none;">4095c7c0</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-07-05T08:22:12+02:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "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: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Update upstream source from tag 'upstream/1.15.0'
Update to upstream version '1.15.0'
with Debian dir 26c0559358786eaebcd8be56ff55b27f9ef2a659</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/ssreflect/-/commit/0c5639fce10e2e1e63cc607ed58232f2226e9ec9" style="color: #1068bf; text-decoration: none;">0c5639fc</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-07-05T08:22:37+02:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "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: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Package new upstream 1.15.0
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/ssreflect/-/commit/1f64a1605273bdf2ed2d85040090180d19701eff" style="color: #1068bf; text-decoration: none;">1f64a160</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-07-05T08:26:39+02:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "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: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Rewrite the autopkgtest
</pre>
</li>
<strong style="font-weight: bold;"><a href="
https://salsa.debian.org/ocaml-team/ssreflect/-/commit/e2d14b775df1e7d6e2ef56da93202aabdc23c477" style="color: #1068bf; text-decoration: none;">e2d14b77</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-07-05T08:55:49+02:00</i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 0.8125rem; color: #303030; position: relative; font-family: "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: #fafafa; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dbdbdb;'>Prepare for upload
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">30 changed files:</h4>
<li class="file-stats">
<a href="#05a721ebe3ba0754116825ed1359ff1785f4bbac" style="color: #1068bf; text-decoration: none;">
.dockerignore
</li>
<li class="file-stats">
<a href="#6e0b36f01ddd1e9fe35a1c9535611754eb072b46" style="color: #1068bf; text-decoration: none;">
.nix/config.nix
</li>
<li class="file-stats">
<a href="#0b23dc520bd9ee905d816ef588b7d3e5eba75351" style="color: #1068bf; text-decoration: none;">
.nix/coq-nix-toolbox.nix
</li>
<li class="file-stats">
<a href="#ab09011fa121d0a2bb9fa4ca76094f2482b902b7" style="color: #1068bf; text-decoration: none;">
CHANGELOG.md
</li>
<li class="file-stats">
<a href="#85229785efec8f26c22d44790ef9e4d516c8845c" style="color: #1068bf; text-decoration: none;">
CHANGELOG_UNRELEASED.md
</li>
<li class="file-stats">
<a href="#3f454a98e586d1aa0d322e19afd5e67e08f2d3c8" style="color: #1068bf; text-decoration: none;">
CONTRIBUTING.md
</li>
<li class="file-stats">
<a href="#6651ddff6eb82c840ced7c1dddee15c6e1913dd4" style="color: #1068bf; text-decoration: none;">
Dockerfile
</li>
<li class="file-stats">
<a href="#c8b78e10f864df3695b8f80a9e95695c8159bb3f" style="color: #1068bf; text-decoration: none;">
Dockerfile.make
</li>
<li class="file-stats">
<a href="#bf3074227c3e18abda4f21029b33e480ab172a87" style="color: #1068bf; text-decoration: none;">
_CoqProject
</li>
<li class="file-stats">
<a href="#7e8c513fbb9c41985cf60ef89cc9152991cf3a07" style="color: #1068bf; text-decoration: none;">
coq-mathcomp-algebra.opam
</li>
<li class="file-stats">
<a href="#52dc6090fa33eecae318bb55b7470d5c070df3fb" style="color: #1068bf; text-decoration: none;">
coq-mathcomp-character.opam
</li>
<li class="file-stats">
<a href="#102404c5cea5079caf680170fc3ab4d22d3de14e" style="color: #1068bf; text-decoration: none;">
coq-mathcomp-field.opam
</li>
<li class="file-stats">
<a href="#99ea0250fd999630631778faf51ffd74be7cb101" style="color: #1068bf; text-decoration: none;">
coq-mathcomp-fingroup.opam
</li>
<li class="file-stats">
<a href="#64f6bccf68990e8f270e9daa903026fd22918d64" style="color: #1068bf; text-decoration: none;">
coq-mathcomp-solvable.opam
</li>
<li class="file-stats">
<a href="#11add790a7f57141ce044a0075d4b2fe3e96f4f7" style="color: #1068bf; text-decoration: none;">
coq-mathcomp-ssreflect.opam
</li>
<li class="file-stats">
<a href="#9c96da0e9f91d7d8937b69b524702c106258f0d1" style="color: #1068bf; text-decoration: none;">
debian/changelog
</li>
<li class="file-stats">
<a href="#83223a554d33ba7e1888274ff8ac43adb8147ba0" style="color: #1068bf; text-decoration: none;">
debian/tests/control
</li>
<li class="file-stats">
<a href="#5aa8e939f441b001a0436c4459aa714c8b696738" style="color: #1068bf; text-decoration: none;">
<span class="deleted-file">
−
debian/tests/loadssreflect
</span>
</li>
<li class="file-stats">
<a href="#69fbd721cce4acb2c11a2c4fca5c895a7d07b2ad" style="color: #1068bf; text-decoration: none;">
<span class="deleted-file">
−
debian/tests/loadssreflect.v
</span>
</li>
<li class="file-stats">
<a href="#92ee95f9a8faa4701057685fa37973700e657fd9" style="color: #1068bf; text-decoration: none;">
etc/utils/builddoc_lib.sh
</li>
<li class="file-stats">
<a href="#e0b3f23891af23aca05644b9fd2e7b194e5f9218" style="color: #1068bf; text-decoration: none;">
mathcomp/Make
</li>
<li class="file-stats">
<a href="#7c3a356a704d0b265dec329586431717be18b2d0" style="color: #1068bf; text-decoration: none;">
mathcomp/Make.test-suite
</li>
<li class="file-stats">
<a href="#3f6ea7a5d94fb6f246c1438a23467f6bd6473949" style="color: #1068bf; text-decoration: none;">
mathcomp/Makefile.test-suite.coq.local
</li>
<li class="file-stats">
<a href="#1247f40e1aa84df1e5a71dbd05ad375a9e7b4648" style="color: #1068bf; text-decoration: none;">
mathcomp/_CoqProject
</li>
<li class="file-stats">
<a href="#fae25b0820568a12ca4e14f28a2a34d9d410329c" style="color: #1068bf; text-decoration: none;">
mathcomp/algebra/Make
</li>
<li class="file-stats">
<a href="#823f40f6f704b2747e2fc6e52c6f013861ccb7be" style="color: #1068bf; text-decoration: none;">
mathcomp/algebra/fraction.v
</li>
<li class="file-stats">
<a href="#5a893e9767ca41179f844b4141dbb06e292d0e31" style="color: #1068bf; text-decoration: none;">
mathcomp/algebra/intdiv.v
</li>
<li class="file-stats">
<a href="#0ce15fc013ec7a206a8e40c7fc45529c0233384a" style="color: #1068bf; text-decoration: none;">
mathcomp/algebra/interval.v
</li>
<li class="file-stats">
<a href="#b0b6236a0bce07defb76a4788933a164e77d8880" style="color: #1068bf; text-decoration: none;">
mathcomp/algebra/matrix.v
</li>
<li class="file-stats">
<a href="#2fbf55c25e867f73a3bd3c11f5b6e8f0f5ab808c" style="color: #1068bf; text-decoration: none;">
mathcomp/algebra/mxalgebra.v
</li>
</ul>
<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: 0.875rem;">The diff was not included because it is too large.</h5>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #666;">
—
<a href="
https://salsa.debian.org/ocaml-team/ssreflect/-/compare/3b2906399eeb3c4892a8041273288d35db1ae397...e2d14b775df1e7d6e2ef56da93202aabdc23c477" style="color: #1068bf; text-decoration: none;">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.
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)