<!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">
<h3>
Nilesh Patra pushed to branch upstream
at <a href="https://salsa.debian.org/med-team/maude">Debian Med / maude</a>
</h3>
<h4>
Commits:
</h4>
<ul>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/9bb94e2667ed7211626ba7c6b5feaf8f5753e96d">9bb94e26</a></strong>
<div>
<span>by Nilesh Patra</span>
<i>at 2020-10-31T16:45:37+05:30</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 3.1</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#00fe7828d56d7a3ee4030d6cea057cf13f50e70c">
ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#4faecea6d9857941b442698cdcbd38a141ff746e">
Makefile.in
</a>
</li>
<li class="file-stats">
<a href="#9f621eb5fd3bcb2fa5c7bd228c9b1ad42edc46c8">
NEWS
</a>
</li>
<li class="file-stats">
<a href="#69e27356ef629022720d868ab0c0e3394775b6c1">
README
</a>
</li>
<li class="file-stats">
<a href="#9ab3868b23ed5d5a6e12ef902049902556fa4009">
aclocal.m4
</a>
</li>
<li class="file-stats">
<a href="#980c4659e480ee35ac0a137fa08ea0c9e7088254">
config.h.in
</a>
</li>
<li class="file-stats">
<a href="#09be8533ff0a6ee5d577f971145ed449399fcda4">
configure
</a>
</li>
<li class="file-stats">
<a href="#87db583be5c13c1f7b3c958b10e03d67b6a2ca06">
configure.ac
</a>
</li>
<li class="file-stats">
<a href="#05d586897cde9905b9192fbc772b5a5ca58fbe97">
<span class="new-file">
+
m4/ax_have_poll.m4
</span>
</a>
</li>
<li class="file-stats">
<a href="#0b3af5a101ef1ad361add344f972bb854cfc61e1">
src/3rdParty/Makefile.in
</a>
</li>
<li class="file-stats">
<a href="#1e107a5fc08a3ef42ff75cf33b6095a0eaa15769">
src/ACU_Persistent/Makefile.in
</a>
</li>
<li class="file-stats">
<a href="#0f6ccbbee4fb92d755c402bc301233d6a29d3b1f">
src/ACU_Theory/ACU_DagNode.cc
</a>
</li>
<li class="file-stats">
<a href="#7d7eca1debcda18846f740d0106f2210cfe3aefc">
src/ACU_Theory/ACU_LhsCompiler0.cc
</a>
</li>
<li class="file-stats">
<a href="#ff9a80bdd4cae45294cf79d592beab9feeab565b">
src/ACU_Theory/ACU_Matcher.cc
</a>
</li>
<li class="file-stats">
<a href="#2b51e86d8a6ec6fce52752bccc16d3a95ad777c5">
src/ACU_Theory/ACU_Symbol.cc
</a>
</li>
<li class="file-stats">
<a href="#b14e241c2677f37f0a8f29203e20e2f8e14d4698">
src/ACU_Theory/ACU_UnificationSubproblem2.cc
</a>
</li>
<li class="file-stats">
<a href="#e1bdbc0a64409e84752351f3f1d6a5187aa4eb10">
src/ACU_Theory/ACU_UnificationSubproblem2.hh
</a>
</li>
<li class="file-stats">
<a href="#419324e30d18f2a5720ab61c626be8a3781ec788">
src/ACU_Theory/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#3efdb178ca2b7e593224e38fd9c57b57bd291dc7">
src/ACU_Theory/Makefile.in
</a>
</li>
<li class="file-stats">
<a href="#07fde9780d720d7e8c3a40a32d16ba6576792582">
src/AU_Persistent/Makefile.in
</a>
</li>
<li class="file-stats">
<a href="#865c7b6b5122c94a5ae4b2f0dce54b81d9876db6">
src/AU_Theory/AU_DagNode.cc
</a>
</li>
<li class="file-stats">
<a href="#a1588f3a82ce57e84c95b2bc0e6d2802fc4ddd9e">
src/AU_Theory/AU_Symbol.cc
</a>
</li>
<li class="file-stats">
<a href="#d010594bf52232359f2a55d63140534531352ea8">
src/AU_Theory/AU_Symbol.hh
</a>
</li>
<li class="file-stats">
<a href="#a7dd5065b2001cbde5c5cea296fc9414563bdd36">
src/AU_Theory/AU_UnificationSubproblem2.cc
</a>
</li>
<li class="file-stats">
<a href="#ff3d0d3e2af9913846460907c2b4d02a052b6e15">
src/AU_Theory/AU_UnificationSubproblem2.hh
</a>
</li>
<li class="file-stats">
<a href="#a9f07575bca19f1debe5e9d1c73e8168400a44c6">
src/AU_Theory/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#90c569bca3571d08ef41a5b78f51a02bb61cc479">
src/AU_Theory/Makefile.in
</a>
</li>
<li class="file-stats">
<a href="#04b331a063292396677cdb4c5f75dbbd5537381f">
src/BuiltIn/ACU_NumberOpSymbol.cc
</a>
</li>
<li class="file-stats">
<a href="#0d24dde6394d2a26c8311456b493141844d552c4">
src/BuiltIn/ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#7b4933083216745f506bd879fc17bfb44d9146a6">
src/BuiltIn/Makefile.in
</a>
</li>
</ul>
<h5>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;">
—
<br>
<a href="https://salsa.debian.org/med-team/maude/-/commit/9bb94e2667ed7211626ba7c6b5feaf8f5753e96d">View it on GitLab</a>.
<br>
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/med-team/maude/-/commit/9bb94e2667ed7211626ba7c6b5feaf8f5753e96d"}}</script>
</p>
</div>
</body>
</html>