<!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/084078d340b1be661f8f9f6310f70ef26aa6065f">084078d3</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2022-02-19T21:04:14+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Point watch file to Github
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/78cb6bc90ec77a2adb4152113b1629c288daa546">78cb6bc9</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2022-02-19T21:05:30+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 3.2</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/4780dfc96f492b92d43172298f50f6107c7a097c">4780dfc9</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2022-02-19T21:05:30+01: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/c80132947791dc97996f4fa1c70f7f5e11d54332">c8013294</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2022-02-19T21:05:39+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update upstream source from tag 'upstream/3.2'
Update to upstream version '3.2'
with Debian dir e72c61c59b0af29044bd6ff0ec8bfe7f10d8e62a</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/3bf70496eb807889281a3f8cfd246fcebdd7bede">3bf70496</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2022-02-19T21:05:40+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">routine-update: Standards-Version: 4.6.0
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/3e78f0f856b32adce8a11bfee5c9eb3388a1b620">3e78f0f8</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2022-02-19T21:08:04+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Set upstream metadata fields: Bug-Database, Bug-Submit.
Changes-By: lintian-brush
Fixes: lintian: upstream-metadata-missing-bug-tracking
See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/144ecbaf7892fb1deac45ad74afce5595e1bf6d5">144ecbaf</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2022-02-19T21:12:40+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Refresh patches
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/d022f7d384ae072241596ef2aac29d0f99e692aa">d022f7d3</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2022-02-19T21:29:29+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Skip one fialing test
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/med-team/maude/-/commit/35c153afd10838bbd3de380b6a15a885f4e50ff2">35c153af</a></strong>
<div>
<span>by Andreas Tille</span>
<i>at 2022-02-19T21:36:17+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Upload to unstable
</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="#c335a27a082cc8d17dd36dc0eda3086cb0c9baaa">
INSTALL
</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="#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="#58ef006ab62b83b4bec5d81fe5b32c3b4c2d1cc2">
debian/control
</a>
</li>
<li class="file-stats">
<a href="#f32ee8ab6f890b8dabbf8e757ec6a73c9cae6249">
<span class="deleted-file">
−
debian/patches/32-bit-fixes.patch
</span>
</a>
</li>
<li class="file-stats">
<a href="#35441cd8f8670da44eca4d0d3725cb064f564eb7">
debian/patches/getinput-size_t.patch
</a>
</li>
<li class="file-stats">
<a href="#5b680d9f942620de8c2b986ff0decb6c4c14d00d">
debian/patches/search-datadir.patch
</a>
</li>
<li class="file-stats">
<a href="#bc34014ab4b9a49dd7a27bdd8d352912607c3a96">
debian/patches/series
</a>
</li>
<li class="file-stats">
<a href="#7900bbc7deb8691929abfe4314ae83c60f651c15">
<span class="new-file">
+
debian/patches/skip_failing_test.patch
</span>
</a>
</li>
<li class="file-stats">
<a href="#c4fe2e9dc7970a57408d4686946e14be25eaa114">
debian/patches/strip-build-date.patch
</a>
</li>
<li class="file-stats">
<a href="#f5606a935d95a2f20059a7ac1136f47b2edadbf6">
debian/upstream/metadata
</a>
</li>
<li class="file-stats">
<a href="#68ef9f98c01c7eecd4c605cc26048a06f3304b79">
debian/watch
</a>
</li>
<li class="file-stats">
<a href="#27fb71f3acb30a984f10e645f1fbcb9973d228c9">
<span class="new-file">
+
doc/alpha132.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#e6ef04543402d8517e8a6ecd3da83a63853db752">
<span class="new-file">
+
doc/alpha133.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#7fd3808c70e2221d0bc961091e067d4f89ca75cf">
<span class="new-file">
+
doc/alpha134.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#741f0f9ce289af5f48f2a7561d4e3023b515c095">
<span class="new-file">
+
doc/alpha135.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#7e3771750659e7a4952f5578a332b4f66fa8896b">
<span class="new-file">
+
doc/alpha136.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#38dfa872d3527f39f210efa9084e0c58be906e21">
<span class="new-file">
+
doc/alpha137.txt
</span>
</a>
</li>
<li class="file-stats">
<a href="#c5944ef7006558cf8dcd021bfc67878f48d3feb5">
<span class="deleted-file">
−
src/3rdParty/Makefile.am
</span>
</a>
</li>
<li class="file-stats">
<a href="#0b3af5a101ef1ad361add344f972bb854cfc61e1">
<span class="deleted-file">
−
src/3rdParty/Makefile.in
</span>
</a>
</li>
<li class="file-stats">
<a href="#0db4cfea90d3ef6b4d98984101a59b7b925a058a">
<span class="deleted-file">
−
src/3rdParty/MersenneTwister.h
</span>
</a>
</li>
<li class="file-stats">
<a href="#0f6ccbbee4fb92d755c402bc301233d6a29d3b1f">
src/ACU_Theory/ACU_DagNode.cc
</a>
</li>
<li class="file-stats">
<a href="#8864cfc05a5f584191fb6819f6e52dd8bb47b6e6">
src/ACU_Theory/ACU_DagNode.hh
</a>
</li>
<li class="file-stats">
<a href="#00b0efd2c3fb4f8016723badbccf57eed835bb7d">
src/ACU_Theory/ACU_ExtensionInfo.cc
</a>
</li>
<li class="file-stats">
<a href="#5b8826cc3d66478d57035647d2cc7774ed9a0a1a">
src/ACU_Theory/ACU_ExtensionInfo.hh
</a>
</li>
<li class="file-stats">
<a href="#2d132987f1505c216a3352883f437917a82211dc">
src/ACU_Theory/ACU_LazySubproblem.cc
</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/-/compare/98c8b430c77f01e7e1d736c70bedd1731e1746b7...35c153afd10838bbd3de380b6a15a885f4e50ff2">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>