<!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=utf-8" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
<h3>
Sean Whitton 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/a19b25a865b2000bbd3acd909f5951a5407c1eec">a19b25a8</a></strong>
<div>
<span>by Sean Whitton</span>
<i>at 2018-11-24T00:29:18Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 0.17</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/5a91775bd7c909bbaf3b3c8ee964136961a5146d">5a91775b</a></strong>
<div>
<span>by Sean Whitton</span>
<i>at 2018-11-24T00:29:46Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">Merge tag 'upstream/0.17'
Upstream version 0.17
# gpg: Signature made Fri 23 Nov 2018 05:29:18 PM MST
# gpg: using RSA key 9B917007AE030E36E4FC248B695B7AE4BF066240
# gpg: issuer "spwhitton@spwhitton.name"
# gpg: Good signature from "Sean Whitton <spwhitton@spwhitton.name>" [ultimate]
# Primary key fingerprint: 8DC2 487E 51AB DD90 B5C4 753F 0F56 D055 3B6D 411B
# Subkey fingerprint: 9B91 7007 AE03 0E36 E4FC 248B 695B 7AE4 BF06 6240
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/fb450acbc76784089e61f02423a73f20d315ff71">fb450acb</a></strong>
<div>
<span>by Sean Whitton</span>
<i>at 2018-11-24T00:30:25Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">changelog
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/df9d55c371e4d28d990026dfe5cf7ecdaa9c4a5f">df9d55c3</a></strong>
<div>
<span>by Sean Whitton</span>
<i>at 2018-11-24T00:32:38Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">drop spurious period from end of Standards-Version field
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/83173f56b60cbafa8c3308cc9d3da8c7d1d839c3">83173f56</a></strong>
<div>
<span>by Sean Whitton</span>
<i>at 2018-11-24T00:38:56Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">bump dep bounds
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/3580bd89f9572e2ef4c6d9c13e5ecf75f0e332ae">3580bd89</a></strong>
<div>
<span>by Sean Whitton</span>
<i>at 2018-11-24T00:42:10Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">point Vcs-* at salsa
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/3c8dc0147e80d5f8bd95f52f9dbb108a36da851b">3c8dc014</a></strong>
<div>
<span>by Sean Whitton</span>
<i>at 2018-11-24T00:43:43Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">changelog tweak
</pre>
</li>
<li>
<strong><a href="https://salsa.debian.org/haskell-team/agda-stdlib/commit/5aa1c0b7f7f397bf9f8cba55515bbe21b8f18627">5aa1c0b7</a></strong>
<div>
<span>by Sean Whitton</span>
<i>at 2018-11-24T00:54:54Z</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">finalise changelog for 0.17-1 upload
</pre>
</li>
</ul>
<h4>18 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="#12268c113b987b6317cc50f91ee47ea4f0064c8c">
<span class="new-file">
+
CHANGELOG/v0.01.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#570acbb93c7b069e9478d2aebabfb132fa85a8ab">
<span class="new-file">
+
CHANGELOG/v0.02.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#5d732da3f83a8cb93ec0fcc8040016492ceaef76">
<span class="new-file">
+
CHANGELOG/v0.03.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#ed4b535ed267241db2a332f6c2514b904a3f3339">
<span class="new-file">
+
CHANGELOG/v0.04.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#e72671993bac4c899f1f74f3633d319bb53dc718">
<span class="new-file">
+
CHANGELOG/v0.05.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#b0dc2c0b2504c5cc011f004ec7dcc3b72fada1a7">
<span class="new-file">
+
CHANGELOG/v0.06.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#172a3f71e56022504d9708f31ccddc633ddff037">
<span class="new-file">
+
CHANGELOG/v0.07.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#679edf5b734282d0d5b721cf432b8ea7ba72d4b4">
<span class="new-file">
+
CHANGELOG/v0.08.1.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#f58236b16c99350a3ae9dd23a7ce623c17467e02">
<span class="new-file">
+
CHANGELOG/v0.08.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#a6c854d68854533ed70e63b905b0368d9641c963">
<span class="new-file">
+
CHANGELOG/v0.09.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#10b4520811810a77d6603626195c0d70092ba9fd">
<span class="new-file">
+
CHANGELOG/v0.10.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#d6487c4b142e60332c258c84edbdda5f2927ef80">
<span class="new-file">
+
CHANGELOG/v0.11.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#6f448ba7909d7954717d6e28c5dc1ee925b3a1cd">
<span class="new-file">
+
CHANGELOG/v0.12.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#a1e4fd53f67b3bcbf50b2873816ae4736860a5d3">
<span class="new-file">
+
CHANGELOG/v0.13.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#ba8066ec31130e7c000ffff1c4713f7e62f4a5c9">
<span class="new-file">
+
CHANGELOG/v0.14.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: #777777;">
—
<br>
<a href="https://salsa.debian.org/haskell-team/agda-stdlib/compare/5d2b156377dce5bdca65b14639306eaed3ac3a92...5aa1c0b7f7f397bf9f8cba55515bbe21b8f18627">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>