<!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>
Andreas Tille pushed to branch master
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/8dcd166445bfed6f1469a6ba352a4eacfa0c1985">8dcd1664</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T12:00:20+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Standards-Version: 4.5.0
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/32b091672bb169acb0aed6754317aeed3723c1f5">32b09167</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T12:00:48+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 3.0</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/d9213621f61d46b27901a35285f3016440b50a62">d9213621</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T12:00:48+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">routine-update: New upstream version
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/740bea26807f4326fc02f666c2514191b1ced524">740bea26</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T12:01:00+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update upstream source from tag 'upstream/3.0'
Update to upstream version '3.0'
with Debian dir 9582bcbf050ad0748f0ee8008b106ef914a284a9</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/9eeb72a0da2e2650bba132bcf1074831fe9fc406">9eeb72a0</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T12:01:01+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">routine-update: debhelper-compat 12
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/99b7b8d1b6e2f5e3a1b0acdd40843039f5f8908b">99b7b8d1</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T14:37:48+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Adapt patches
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/319a4bcaa224a573c705a5b8b220f49e70ca58a9">319a4bca</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T14:38:21+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">routine-update: Add salsa-ci file
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/4770a5252281d11658670edaeb7e3e533aeef085">4770a525</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T14:38:21+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">routine-update: Rules-Requires-Root: no
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/2e35603761c6ffdba3385f41df320381130fd970">2e356037</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T14:38:22+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Remove duplicate line from changelog.</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/a8cbd8dd463a5d319980807e2c736723097496f0">a8cbd8dd</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T14:38:34+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Remove obsolete fields Contact, Name from debian/upstream/metadata (already present in machine-readable debian/copyright).</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/363307fe9daa6918bbcfcb1baae6025618b801ec">363307fe</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2020-04-16T14:46:34+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">TODO: package https://github.com/SRI-CSL/yices2
</pre>
</li>
</ul>
<h4>30 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#dad57a4c245a8007c90257aef0514c8b6a0f600c">
AUTHORS
</a>
</li>
<li class="file-stats">
<a href="#00fe7828d56d7a3ee4030d6cea057cf13f50e70c">
ChangeLog
</a>
</li>
<li class="file-stats">
<a href="#c335a27a082cc8d17dd36dc0eda3086cb0c9baaa">
INSTALL
</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="#9c96da0e9f91d7d8937b69b524702c106258f0d1">
debian/changelog
</a>
</li>
<li class="file-stats">
<a href="#78fd675df1cf8c2d4c62ae1a9a912d15c8c50ba4">
<span class="deleted-file">
−
debian/compat
</span>
</a>
</li>
<li class="file-stats">
<a href="#58ef006ab62b83b4bec5d81fe5b32c3b4c2d1cc2">
debian/control
</a>
</li>
<li class="file-stats">
<a href="#35441cd8f8670da44eca4d0d3725cb064f564eb7">
debian/patches/getinput-size_t.patch
</a>
</li>
<li class="file-stats">
<a href="#c4fe2e9dc7970a57408d4686946e14be25eaa114">
debian/patches/strip-build-date.patch
</a>
</li>
<li class="file-stats">
<a href="#b1dbf22e88351ec0d5d1d1a7f53295504b480e61">
<span class="new-file">
+
debian/salsa-ci.yml
</span>
</a>
</li>
<li class="file-stats">
<a href="#f5606a935d95a2f20059a7ac1136f47b2edadbf6">
debian/upstream/metadata
</a>
</li>
<li class="file-stats">
<a href="#0b3af5a101ef1ad361add344f972bb854cfc61e1">
src/3rdParty/Makefile.in
</a>
</li>
<li class="file-stats">
<a href="#bd66f46b11c14d1263dafecda82290a63070f42a">
src/ACU_Persistent/ACU_Copy.cc
</a>
</li>
<li class="file-stats">
<a href="#8391e142d78598339a7e0f621af4972aa2c0e031">
src/ACU_Persistent/ACU_Delete.cc
</a>
</li>
<li class="file-stats">
<a href="#496e754cb52efcd7b92c876b334734ea82438c0a">
src/ACU_Persistent/ACU_FastIter.hh
</a>
</li>
<li class="file-stats">
<a href="#0aa3218e594ed0bdae18522562f5f0a77190d519">
src/ACU_Persistent/ACU_Find.cc
</a>
</li>
<li class="file-stats">
<a href="#4017b3c5848c8de2dee7ee5963663e9b59e7d777">
src/ACU_Persistent/ACU_Insert.cc
</a>
</li>
<li class="file-stats">
<a href="#e14591345b35739bb9c4f74a50cfcb055796e4bc">
src/ACU_Persistent/ACU_Pair.hh
</a>
</li>
<li class="file-stats">
<a href="#4deec72f6a08a68a5a68a6fbb0b0279b301da6aa">
src/ACU_Persistent/ACU_Persistent.hh
</a>
</li>
<li class="file-stats">
<a href="#8dd435b858cacfd6405a3abedce2c4b1512a0450">
src/ACU_Persistent/ACU_Rebalance.cc
</a>
</li>
<li class="file-stats">
<a href="#5e44bbb8c55a8e4be3697824585228a1a7f48380">
src/ACU_Persistent/ACU_RedBlack.hh
</a>
</li>
<li class="file-stats">
<a href="#5ff59fe83dfe2b4294fc7636d2ea1bb9f9c6f86d">
src/ACU_Persistent/ACU_RedBlackNode.cc
</a>
</li>
<li class="file-stats">
<a href="#99437677bb1702b79eec76408776cd745953d6a9">
src/ACU_Persistent/ACU_RedBlackNode.hh
</a>
</li>
<li class="file-stats">
<a href="#59ad06a8121d9a53870e1b6ac01ed4e2471bf71a">
src/ACU_Persistent/ACU_SlowIter.hh
</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: #777;">
—
<br>
<a href="https://salsa.debian.org/med-team/maude/-/compare/a0a457f0ff0dfced77a764183676eddacabc7137...363307fe9daa6918bbcfcb1baae6025618b801ec">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.
</p>
</div>
</body>
</html>