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

='switch'/></form></td></tr>
<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=643e7ecbe6079e8cc2275cc6cdf1cda04f6f818a'>refs</a><a class='active' href='/guix/log/po/doc/guix-cookbook.pt_BR.po'>log</a><a href='/guix/tree/po/doc/guix-cookbook.pt_BR.po?id=643e7ecbe6079e8cc2275cc6cdf1cda04f6f818a'>tree</a><a href='/guix/commit/po/doc/guix-cookbook.pt_BR.po?id=643e7ecbe6079e8cc2275cc6cdf1cda04f6f818a'>commit</a><a href='/guix/diff/po/doc/guix-cookbook.pt_BR.po?id=643e7ecbe6079e8cc2275cc6cdf1cda04f6f818a'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/po/doc/guix-cookbook.pt_BR.po'>
<input type='hidden' name='id' value='643e7ecbe6079e8cc2275cc6cdf1cda04f6f818a'/><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=643e7ecbe6079e8cc2275cc6cdf1cda04f6f818a'>root</a>/<a href='/guix/log/po?id=643e7ecbe6079e8cc2275cc6cdf1cda04f6f818a'>po</a>/<a href='/guix/log/po/doc?id=643e7ecbe6079e8cc2275cc6cdf1cda04f6f818a'>doc</a>/<a href='/guix/log/po/doc/guix-cookbook.pt_BR.po?id=643e7ecbe6079e8cc2275cc6cdf1cda04f6f818a'>guix-cookbook.pt_BR.po</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/po/doc/guix-cookbook.pt_BR.po?id=643e7ecbe6079e8cc2275cc6cdf1cda04f6f818a&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2024-06-03 00:27:12 +0200'>2024-06-03</span></td><td><a href='/guix/commit/po/doc/guix-cookbook.pt_BR.po?id=834a4195241806784d4b321b95f06d85f458ce18'>nls: Update translations.</a><span class='msg-avail'>...<span class='msg-tooltip'>* po/doc/guix-cookbook.sv.po: New file.
* po/doc/local.mk: Add 'sv' cookbook.
* po/doc/po4a.cfg (po4a_langs): Add 'sv'.
* doc/local.mk: Add 'sv' cookbook.
* doc/htmlxref.cnf: Update URLs for cookbook.
* doc/build.scm (%cookbook-languages): Add 'sv'.
* doc/guix-cookbook.texi (Top): Mention 'sv' cookbook.

Change-Id: Ibfeb7254f583f1c8827e8c2756bbb02880bcba46
</span></span></td><td>Florian Pelz</td></tr>
<tr><td><span title='2024-04-01 14:09:20 +0200'>2024-04-01</span></td><td><a href='/guix/commit/po/doc/guix-cookbook.pt_BR.po?id=fa98837b1d9586b9ca7bf77dae22c3bde0fc59b5'>nls: Update translations.</a><span class='msg-avail'>...<span class='msg-tooltip'>* po/guix/ar.po: New file.
* po/guix/LINGUAS: Add 'ar'.
* po/doc/guix-cookbook.pt_BR.po: New file.
* po/doc/local.mk: Add 'pt_BR' cookbook.
* doc/local.mk: Add 'pt_BR' cookbook.
* doc/htmlxref.cnf: Update URLs for cookbook.
* doc/build.scm (%cookbook-languages): Add 'ko', 'pt_BR'.
* doc/guix-cookbook.texi (Top): Mention 'ko', 'pt_BR' cookbook.

Change-Id: Id1846ca100263b3fc1fa2ed52654c670270ee809
</span></span></td><td>Florian Pelz</td></tr>
<tr><td><span title='2022-04-02 18:14:43 +0200'>2022-04-02</span></td><td><a href='/guix/commit/po/doc/guix-cookbook.pt_BR.po?id=93bfd4d9c7ba7055c19f02128491b3a98a180860'>nls: Enforce translation thresholds.</a><span class='msg-avail'>...<span class='msg-tooltip'>* po/doc/guix-cookbook.es.po: Remove file.
* po/doc/guix-cookbook.fa.po: Remove file.
* po/doc/guix-cookbook.fi.po: Remove file.
* po/doc/guix-cookbook.pt_BR.po: Remove file.
* po/doc/guix-cookbook.ru.po: Remove file.
* po/doc/guix-cookbook.uk.po: Remove file.
* po/doc/guix-cookbook.zh_Hans.po: Remove file.
* po/doc/guix-manual.fa.po: Remove file.
* po/doc/guix-manual.fi.po: Remove file.
* po/doc/guix-manual.it.po: Remove file.
* po/doc/guix-manual.ko.po: Remove file.
* po/doc/guix-manual.sk.po: Remove file.
* po/doc/local.mk: Remove them.
* doc/local.mk: Remove them.
</span></span></td><td>Julien Lepiller</td></tr>
<tr><td><span title='2022-02-04 18:29:00 +0100'>2022-02-04</span></td><td><a href='/guix/commit/po/doc/guix-cookbook.pt_BR.po?id=8391a99d089322a39cbacb1e6dc2979d8b2ef7c9'>nls: Update translations.</a><span class='msg-avail'>...<span class='msg-tooltip'>* po/doc/guix-cookbook.pt_BR.po: New file.
* po/doc/local.mk: Add it.
* doc/local.mk: Add pt_BR cookbook.
</span></span></td><td>Julien Lepiller</td></tr>