From 76d3863a5e6e7b9ee948f10a3faec3420a2020f1 Mon Sep 17 00:00:00 2001
Message-ID: <76d3863a5e6e7b9ee948f10a3faec3420a2020f1.1698265016.git.dev@jpoiret.xyz>
From: Josselin Poiret <dev@jpoiret.xyz>
Date: Wed, 25 Oct 2023 22:15:43 +0200
Subject: [PATCH] Bump stdlib to 1.7.3

From: Josselin Poiret <dev@jpoiret.xyz>

---
 agda-categories.agda-lib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/agda-categories.agda-lib b/agda-categories.agda-lib
index 5b19c405..4d63d415 100644
--- a/agda-categories.agda-lib
+++ b/agda-categories.agda-lib
@@ -1,3 +1,3 @@
 name: agda-categories
-depend: standard-library-1.7.2
+depend: standard-library-1.7.3
 include: src/

base-commit: 9d61106740147a67fa2cae0a89ac066897b24a51
prerequisite-patch-id: 508dabd923ba9ac1ee4d8dab6697432b4bd8ba18
prerequisite-patch-id: b5f39b4fc9e4c9993ab31300de041ed2c7eb696b
-- 
2.41.0


<tr><td class='sub'>Wojtek's customized Guix</td><td class='sub right'></td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=548d0ddd7fbf91c860b5061d4f6ac58ed249ec5d'>refs</a><a class='active' href='/guix/log/scripts/guix.in'>log</a><a href='/guix/tree/scripts/guix.in?id=548d0ddd7fbf91c860b5061d4f6ac58ed249ec5d'>tree</a><a href='/guix/commit/scripts/guix.in?id=548d0ddd7fbf91c860b5061d4f6ac58ed249ec5d'>commit</a><a href='/guix/diff/scripts/guix.in?id=548d0ddd7fbf91c860b5061d4f6ac58ed249ec5d'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/scripts/guix.in'>
<input type='hidden' name='id' value='548d0ddd7fbf91c860b5061d4f6ac58ed249ec5d'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=548d0ddd7fbf91c860b5061d4f6ac58ed249ec5d'>root</a>/<a href='/guix/log/scripts?id=548d0ddd7fbf91c860b5061d4f6ac58ed249ec5d'>scripts</a>/<a href='/guix/log/scripts/guix.in?id=548d0ddd7fbf91c860b5061d4f6ac58ed249ec5d'>guix.in</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/scripts/guix.in?id=548d0ddd7fbf91c860b5061d4f6ac58ed249ec5d&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2020-12-11 19:06:53 +0100'>2020-12-11</span></td><td><a href='/guix/commit/scripts/guix.in?id=fd247542215fbd10f28980f3d5255014b150e95a'>build: 'script/guix' uses our own 'guile' executable.</a><span class='msg-avail'>...<span class='msg-tooltip'>* Makefile.am (do_subst): Substitute @abs_top_builddir@.
* scripts/guix.in: Use it.
</span></span></td><td>Ludovic Courtès</td></tr>
packages/digest.scm (wyhash): New variable.

Signed-off-by: Leo Famulari &lt;leo@famulari.name&gt;
</span></span></td><td>Ryan Prior</td></tr>
<tr><td><span title='2020-08-01 09:00:44 +0200'>2020-08-01</span></td><td><a href='/guix/commit/gnu/packages/digest.scm?id=08447d3a7556fb6355a32c6d5ccb6d4768b8e12d'>gnu: Update xxhash to 0.8.0.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/digest.scm (xxhash): Update to 0.8.0.

Signed-off-by: Mathieu Othacehe &lt;othacehe@gnu.org&gt;
</span></span></td><td>Hendursaga</td></tr>
<tr><td><span title='2020-06-29 15:47:11 +0200'>2020-06-29</span></td><td><a href='/guix/commit/gnu/packages/digest.scm?id=1d25cfbaf4b707f5af9aafe6ac3d8828c5b89f45'>gnu: xxhash: Detect vector instructions at run time.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/digest.scm (xxhash)[arguments]: Set DISPATCH=1 make flag
on x86.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-06-29 15:47:11 +0200'>2020-06-29</span></td><td><a href='/guix/commit/gnu/packages/digest.scm?id=8db9300454d067dfa023430e51d7f394f203d849'>gnu: xxhash: Update to 0.7.4.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/digest.scm (xxhash): Update to 0.7.4.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>
<tr><td><span title='2020-06-29 15:47:11 +0200'>2020-06-29</span></td><td><a href='/guix/commit/gnu/packages/digest.scm?id=9c1324a4164eb7bf3a912b185b2ab9c86447e005'>gnu: xxhash: Cross-compile.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/packages/digest.scm (xxhash)[arguments]: Use CC-FOR-TARGET.
</span></span></td><td>Tobias Geerinckx-Rice</td></tr>