<!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>
Gianfranco Costamagna pushed to branch master
at <a href="https://salsa.debian.org/haskell-team/agda-stdlib">Debian Haskell Group / agda-stdlib</a>
</h3>
<h4>
Commits:
</h4>
<ul>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/78b7661f6dfbdace982b3292c03f5200f5260b3b">78b7661f</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2019-09-04T13:03:20Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 1.1</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/de8d34c3bf151fcb7d98f6da6a2f3f80a221d25a">de8d34c3</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2019-09-04T13:03:22Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update upstream source from tag 'upstream/1.1'
Update to upstream version '1.1'
with Debian dir 81a0004eb6dd01d9d84dcb2db5f802750477855d</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/d4abee692ba5785615bda94adcca8dc86a2c6cc6">d4abee69</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2019-09-04T13:04:46Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update copyright years
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/2d836ba47396432897cbc67ba5750ae8a66630b4">2d836ba4</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2019-09-04T13:05:03Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Bump compat level to 12
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/9a6ac24244c7e8d47b15cb6ea7ccd6a472530567">9a6ac242</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2019-09-04T13:05:19Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Bump std-version to 4.4.0
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/f19a318f882164b86ba4d016ae252fdfc5061757">f19a318f</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2019-09-04T13:06:28Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update agda relationships bounds
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/01b602fcc666e3a55ce9a248d433fdd75ef1d25e">01b602fc</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2019-09-04T13:07:20Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update changelog, upload to unstable
</pre>
</li>
</ul>
<h4>6 changed files:</h4>
<ul>
<li class="file-stats">
<a href="#24139dae656713ba861751fb2c2ac38839349a7a">
<span class="new-file">
+
.gitattributes
</span>
</a>
</li>
<li class="file-stats">
<a href="#a5cc2925ca8258af241be7e5b0381edf30266302">
.gitignore
</a>
</li>
<li class="file-stats">
<a href="#dea01dd89a3b602828e630677fde5d77c06441c8">
.travis.yml
</a>
</li>
<li class="file-stats">
<a href="#ab09011fa121d0a2bb9fa4ca76094f2482b902b7">
CHANGELOG.md
</a>
</li>
<li class="file-stats">
<a href="#7ad70d28b88cb861c72373ba5b2cfd6ddb69cbb0">
<span class="new-file">
+
CHANGELOG/v0.17.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#8f06a1868e8c9bd411343a6a3faa29cd638ecbaa">
<span class="new-file">
+
CHANGELOG/v1.0.1.md
</span>
</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/haskell-team/agda-stdlib/compare/5aa1c0b7f7f397bf9f8cba55515bbe21b8f18627...01b602fcc666e3a55ce9a248d433fdd75ef1d25e">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>