<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en" style="--code-editor-font: GitLab Mono, JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style data-premailer="ignore" type="text/css">
a { color: #1068bf; }
</style>
<style>img {
max-width: 100%; height: auto;
}
body {
font-size: 0.875rem;
}
body {
-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;
}
body {
font-family: "GitLab Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; font-size: inherit;
}
</style>
</head>
<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: "GitLab Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";'>
<div class="content">
<h3 style="margin-top: 20px; margin-bottom: 10px;">
Ilias Tsitsimpis pushed to branch master at <a href="https://salsa.debian.org/haskell-team/agda-stdlib">Debian Haskell Group / agda-stdlib</a>
</h3>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
Commits:
</h4>
<ul>
<li>
<strong style="font-weight: bold;"><a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/2488331a435b100eef661fd293cc818fc6589f07">2488331a</a></strong>
<div>
<span> by Ilias Tsitsimpis </span> <i> at 2023-11-04T13:50:50+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>New upstream version 1.7.3</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/2b0ac91d9a3a711d68d98c55b1e17f158dec0137">2b0ac91d</a></strong>
<div>
<span> by Ilias Tsitsimpis </span> <i> at 2023-11-04T13:50:52+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update upstream source from tag 'upstream/1.7.3'
Update to upstream version '1.7.3'
with Debian dir a0f0dd62f8c8b7020ee9d72b54baeee273f3b6a9</pre>
</li>
<li>
<strong style="font-weight: bold;"><a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/commit/8497a5bd8ec49d10b77efb76766ea62aeee4a618">8497a5bd</a></strong>
<div>
<span> by Ilias Tsitsimpis </span> <i> at 2023-11-04T13:56:09+02:00 </i>
</div>
<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Update changelog for 1.7.3-1 release
</pre>
</li>
</ul>
<h4 style="margin-top: 10px; margin-bottom: 10px;">
30 changed files:
</h4>
<ul>
<li class="file-stats">
<a href="#7a947ae27b0053154eb1aa0e734fb7bbce6f3bf6">
.github/workflows/ci-ubuntu.yml
</a>
</li>
<li class="file-stats">
<a href="#ab09011fa121d0a2bb9fa4ca76094f2482b902b7">
CHANGELOG.md
</a>
</li>
<li class="file-stats">
<a href="#b2d43faf8740736ad5cc9b3ea481b71b9862fe81">
<span class="new-file">
+
CHANGELOG/v1.7.2.md
</span>
</a>
</li>
<li class="file-stats">
<a href="#2f473ef69010f24d2546e13263bcc2c49befd2f3">
<span class="new-file">
+
CITATION.cff
</span>
</a>
</li>
<li class="file-stats">
<a href="#ccf6e67cb95dd9229420b1fff38b098c75aa246d">
GenerateEverything.hs
</a>
</li>
<li class="file-stats">
<a href="#0c39c6a7c54e5d668d208665d6e5ccecdd3bb246">
HACKING.md
</a>
</li>
<li class="file-stats">
<a href="#6e0ad2b047414107e8ce2f294fa40d216b5b68f9">
LICENCE
</a>
</li>
<li class="file-stats">
<a href="#01d67c9baa5eca0275de522e023fcb2b93da18e7">
README.agda
</a>
</li>
<li class="file-stats">
<a href="#8ec9a00bfd09b3190ac6b22251dbb1aa95a0579d">
README.md
</a>
</li>
<li class="file-stats">
<a href="#fb6e3d520b571756a36aabbeec9e9db34b5f65e7">
README/Case.agda
</a>
</li>
<li class="file-stats">
<a href="#124ee0b5ff2105d3f40a13148f35dd3f8cd89593">
README/Data/Container/FreeMonad.agda
</a>
</li>
<li class="file-stats">
<a href="#c89481f0e9de85e893cef3dfd9fd1c630644f2ae">
README/Data/Integer.agda
</a>
</li>
<li class="file-stats">
<a href="#9ac545128647c9197a7288a205cdc6d74e34b4aa">
README/Data/List/Relation/Ternary/Interleaving.agda
</a>
</li>
<li class="file-stats">
<a href="#08f38af501b00f3dff930c9955712526659280df">
README/Data/Nat.agda
</a>
</li>
<li class="file-stats">
<a href="#2cb63d86418c03c09dff0f82e06961470c7f12de">
README/Data/Tree/AVL.agda
</a>
</li>
<li class="file-stats">
<a href="#8e9b97df5339a271c5ea1f58e2593955f51f374a">
README/Data/Tree/Binary.agda
</a>
</li>
<li class="file-stats">
<a href="#b1ad7ca55a83c7cb8d57298b41bda5f6da3fa3a8">
README/Data/Tree/Rose.agda
</a>
</li>
<li class="file-stats">
<a href="#3226d8e81ad74f497a46c894871cb3b139bb8892">
README/Data/Trie/NonDependent.agda
</a>
</li>
<li class="file-stats">
<a href="#b8bbdaf88b56e9284699129219a6769114e7b95d">
README/Data/Wrap.agda
</a>
</li>
<li class="file-stats">
<a href="#4afd79a5b151788e5c4801e8465ff2b2cefb57e2">
README/Debug/Trace.agda
</a>
</li>
<li class="file-stats">
<a href="#a10fc036070a7395f232a4b0c9bca06bb9cf3fa8">
README/Design/Decidability.agda
</a>
</li>
<li class="file-stats">
<a href="#51abc2a8cd071665ad11ec7d37b44a33a991a296">
README/Design/Fixity.agda
</a>
</li>
<li class="file-stats">
<a href="#3224d04a17eb1b3bbb1f572fea98a2d2a450261c">
README/Inspect.agda
</a>
</li>
<li class="file-stats">
<a href="#9587681b83c55048eef6ad2094fe90e0e01a53b8">
README/Nary.agda
</a>
</li>
<li class="file-stats">
<a href="#01a26a7a7f901586d2962d26d864050732056bb9">
README/Reflection/External.agda
</a>
</li>
<li class="file-stats">
<a href="#45e244cfc3cdbc509d6ad98766466acfacdef7a4">
README/Relation/Binary/TypeClasses.agda
</a>
</li>
<li class="file-stats">
<a href="#3a1ca53c9a0892ba008be9ec1842bef72aaedf17">
README/Text/Printf.agda
</a>
</li>
<li class="file-stats">
<a href="#81f6e0146dc84d82c19f102eb177ab70ad0381cc">
README/Text/Tabular.agda
</a>
</li>
<li class="file-stats">
<a href="#fc31f2ad01753d9f36fbdb78d88a0dcaff9f4a4f">
agda-stdlib-utils.cabal
</a>
</li>
<li class="file-stats">
<a href="#9c96da0e9f91d7d8937b69b524702c106258f0d1">
debian/changelog
</a>
</li>
</ul>
<h5 style="margin-top: 10px; margin-bottom: 10px; font-size: 0.875rem;">
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: #737278;">
—
<br>
<a href="https://salsa.debian.org/haskell-team/agda-stdlib/-/compare/06062ab6bc2d2394325bbb179625b3202086142f...8497a5bd8ec49d10b77efb76766ea62aeee4a618">View it on GitLab</a>.
<br>
You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://salsa.debian.org">salsa.debian.org</a>. <a href="https://salsa.debian.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link">Manage all notifications</a> · <a href="https://salsa.debian.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>
</p>
</div>
</body>
</html>