vimerbf pushed to branch upstream at Debian OCaml Maintainers / hol-light
Commits:
b0c59ab7 by Bo YU at 2024-11-25T22:05:18+08:00
New upstream version 3.0.0
- - - - -
30 changed files:
- + .github/workflows/main.yml
- .gitignore
- 100/bertrand.ml
- 100/polyhedron.ml
- Arithmetic/arithprov.ml
- Arithmetic/definability.ml
- Arithmetic/fol.ml
- Arithmetic/godel.ml
- Arithmetic/pa.ml
- Arithmetic/sigmacomplete.ml
- Arithmetic/tarski.ml
- CHANGES
- + Cadical/README
- + Cadical/cadical.ml
- + Cadical/cnf.ml
- + Cadical/dimacs.ml
- + Cadical/ldrup.ml
- + Cadical/make.ml
- + Cadical/test.ml
- Complex/complex_grobner.ml
- Divstep/idivstep.ml
- EC/ccsm2.ml
- EC/excluderoots.ml
- EC/jacobian.ml
- EC/nistp192.ml
- EC/nistp224.ml
- EC/nistp256.ml
- EC/nistp384.ml
- EC/nistp521.ml
- EC/secp192k1.ml
The diff was not included because it is too large.
View it on GitLab:
https://salsa.debian.org/ocaml-team/hol-light/-/commit/b0c59ab7cdf6a17fcaedbccae89a0a5aa9ccaf1d
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/hol-light/-/commit/b0c59ab7cdf6a17fcaedbccae89a0a5aa9ccaf1d
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" style='--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, 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: .875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,.01) 0 0 1px;
}
body {
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"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,.01) 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="content">
<h3 style="margin-top: 20px; margin-bottom: 10px;">
vimerbf pushed to branch upstream at <a href="
https://salsa.debian.org/ocaml-team/hol-light">Debian OCaml Maintainers / hol-light</a>
</h3>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<strong style="font-weight: 600;"><a href="
https://salsa.debian.org/ocaml-team/hol-light/-/commit/b0c59ab7cdf6a17fcaedbccae89a0a5aa9ccaf1d">b0c59ab7</a></strong>
<div>
<span> by Bo YU </span> <i> at 2024-11-25T22:05:18+08:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #28272d; position: relative; font-family: "GitLab Mono","JetBrains Mono","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;'>New upstream version 3.0.0</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<li class="file-stats">
<a href="#c778226b6c4c0fb51cf7942c8ee1f3d9fc1249d0">
<span class="new-file">
+
.github/workflows/main.yml
</span>
</li>
<li class="file-stats">
<a href="#a5cc2925ca8258af241be7e5b0381edf30266302">
.gitignore
</li>
<li class="file-stats">
<a href="#96dceca4b9df3923b5042fb9e0d4a272deb62a85">
100/bertrand.ml
</li>
<li class="file-stats">
<a href="#1751e8a7e597617c0d1a45e564d7ce79b0d26989">
100/polyhedron.ml
</li>
<li class="file-stats">
<a href="#27c70aca00ac58714e8c42709812843593f9f22d">
Arithmetic/arithprov.ml
</li>
<li class="file-stats">
<a href="#63fd7236f691f70c9d2e33927e9c45411df614c8">
Arithmetic/definability.ml
</li>
<li class="file-stats">
<a href="#64353dc179d90320265659b61d3b873000ad6e0d">
Arithmetic/fol.ml
</li>
<li class="file-stats">
<a href="#2546e8f07260b06ab3a333ff3b8ffab6a54abf77">
Arithmetic/godel.ml
</li>
<li class="file-stats">
<a href="#cd1cd4261b2e2754883432fb96faa99c8b29fba1">
Arithmetic/pa.ml
</li>
<li class="file-stats">
<a href="#acf4bd8335dc8f68488b72fbdc07a1f8f980c530"> Arithmetic/sigmacomplete.ml
</li>
<li class="file-stats">
<a href="#f1c1ccfd9ade4b763be36efb14dd3fe67b1254ad">
Arithmetic/tarski.ml
</li>
<li class="file-stats">
<a href="#a2feb6ed0257c21c6672793ee2f94eaadc10c72c">
CHANGES
</li>
<li class="file-stats">
<a href="#0be9d487723ae94e479c080e43181c1541e8e6f8">
<span class="new-file">
+
Cadical/README
</span>
</li>
<li class="file-stats">
<a href="#440fb268537d317347cf4120b150bfd92013067f">
<span class="new-file">
+
Cadical/cadical.ml
</span>
</li>
<li class="file-stats">
<a href="#abcd7c220485350a14f8c415141b56da0e537708">
<span class="new-file">
+
Cadical/cnf.ml
</span>
</li>
<li class="file-stats">
<a href="#fb0c2592fec54964a456284e63514fa728f6a1b0">
<span class="new-file">
+
Cadical/dimacs.ml
</span>
</li>
<li class="file-stats">
<a href="#6445e4bfb22d47f0326f31b9f3581569a2a7755c">
<span class="new-file">
+
Cadical/ldrup.ml
</span>
</li>
<li class="file-stats">
<a href="#b89f912d666a8e8a7513200dda23d9ef9482423e">
<span class="new-file">
+
Cadical/make.ml
</span>
</li>
<li class="file-stats">
<a href="#14e6648c36fd44a8b9227f9ebc21b465626de268">
<span class="new-file">
+
Cadical/test.ml
</span>
</li>
<li class="file-stats">
<a href="#d829cc60f4a046f33b9d7434242b292db033534b">
Complex/complex_grobner.ml
</li>
<li class="file-stats">
<a href="#6908244e1120b767f7bcd01147bed009f39e5e6f">
Divstep/idivstep.ml
</li>
<li class="file-stats">
<a href="#faa958ca77b31db164c77a04aa8d1ec2f18b6e4a">
EC/ccsm2.ml
</li>
<li class="file-stats">
<a href="#3a698912f9aac0083aa3dcb77f92e37a6f226efd">
EC/excluderoots.ml
</li>
<li class="file-stats">
<a href="#4479be04812fefe5556208ef7d277b95eda37491">
EC/jacobian.ml
</li>
<li class="file-stats">
<a href="#4355854547662b2860c8915e1f5bba0b6c7db22f">
EC/nistp192.ml
</li>
<li class="file-stats">
<a href="#b84e6f58f682645da7986e5d1a40970813398d1c">
EC/nistp224.ml
</li>
<li class="file-stats">
<a href="#778560514966877532d6e85e6265744d8c8929c0">
EC/nistp256.ml
</li>
<li class="file-stats">
<a href="#51fafb43b07037d558e15afb7fe534edda81cc4d">
EC/nistp384.ml
</li>
<li class="file-stats">
<a href="#c2ad2499d9fca7eb9421133a7eabab56ea77f6e4">
EC/nistp521.ml
</li>
<li class="file-stats">
<a href="#fd383686cf66910d9317bda7faba27a8fefd0f21">
EC/secp192k1.ml
</li>
</ul>
<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: .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: #737278;">
—
<a href="
https://salsa.debian.org/ocaml-team/hol-light/-/commit/b0c59ab7cdf6a17fcaedbccae89a0a5aa9ccaf1d">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>
<script type="application/ld+json">{"@context":"
http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"
https://salsa.debian.org/ocaml-team/hol-light/-/commit/b0c59ab7cdf6a17fcaedbccae89a0a5aa9ccaf1d"}}</
script>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)