<!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/73ef6a820d7fdd916c75c831096f9cbc963b3cce">73ef6a82</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2020-07-31T13:26:08+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 1.3</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/3e6722f65d3b5414743a3b5ad21af3c45e8c8be8">3e6722f6</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2020-07-31T13:26:11+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Update upstream source from tag 'upstream/1.3'
Update to upstream version '1.3'
with Debian dir 6c00d439c0ff3aaa659cf840af10f8b7b701f031</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/171b1226878282059a9c85b30aafe159808568e7">171b1226</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2020-07-31T13:28:26+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Fix watch file
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/b8f200760d2c72e6fc1a7c6407851a6f8ed889ed">b8f20076</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2020-07-31T13:28:33+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Bump agda dependency bounds
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/a8c17240f15fc3240ad9a2c9e682368810bcb14d">a8c17240</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2020-07-31T13:30:57+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Bump copyright years
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/6cb887a3a24cf409db955d3c254986e1ffdcdfbf">6cb887a3</a></strong>
<div>
<span>by Gianfranco Costamagna</span>
<i>at 2020-07-31T13:31:19+02:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Upload to sid
</pre>
</li>
</ul>
<h4>6 changed files:</h4>
<ul>
<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="#3e7c30955b22dc2232a6086891f1bb35885c22be">
<span class="new-file">
+
CHANGELOG/v1.1.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#2a2b1ebb1952e386a6f64354054ce3c8f79b2774">
<span class="new-file">
+
CHANGELOG/v1.2.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#67d0e9129cf26160e4d1324312d26dade2b24b6a">
GNUmakefile
</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/01b602fcc666e3a55ce9a248d433fdd75ef1d25e...6cb887a3a24cf409db955d3c254986e1ffdcdfbf">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>