Use newer stdlib.

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,4 +1,4 @@
 name: agda-categories
-depend: standard-library-2.0
+depend: standard-library
 include: src/

-- 
2.41.0

tatic/cgit.png' alt='cgit logo'/></a></td>
<td class='main'><a href='/'>index</a> : <a href='/guix/'>guix</a></td><td class='form'><form method='get'>
<input type='hidden' name='id' value='b7fce0bf18c965b5ba6a9b486623dc0bfcce4422'/><select name='h' onchange='this.form.submit();'>
<option value='koszko' selected='selected'>koszko</option>
<option value='koszko-scripts'>koszko-scripts</option>
</select> <input type='submit' value='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=b7fce0bf18c965b5ba6a9b486623dc0bfcce4422'>refs</a><a class='active' href='/guix/log/etc/snippets/text-mode'>log</a><a href='/guix/tree/etc/snippets/text-mode?id=b7fce0bf18c965b5ba6a9b486623dc0bfcce4422'>tree</a><a href='/guix/commit/etc/snippets/text-mode?id=b7fce0bf18c965b5ba6a9b486623dc0bfcce4422'>commit</a><a href='/guix/diff/etc/snippets/text-mode?id=b7fce0bf18c965b5ba6a9b486623dc0bfcce4422'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/etc/snippets/text-mode'>
<input type='hidden' name='id' value='b7fce0bf18c965b5ba6a9b486623dc0bfcce4422'/><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=b7fce0bf18c965b5ba6a9b486623dc0bfcce4422'>root</a>/<a href='/guix/log/etc?id=b7fce0bf18c965b5ba6a9b486623dc0bfcce4422'>etc</a>/<a href='/guix/log/etc/snippets?id=b7fce0bf18c965b5ba6a9b486623dc0bfcce4422'>snippets</a>/<a href='/guix/log/etc/snippets/text-mode?id=b7fce0bf18c965b5ba6a9b486623dc0bfcce4422'>text-mode</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/etc/snippets/text-mode?id=b7fce0bf18c965b5ba6a9b486623dc0bfcce4422&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
<tr><td><span title='2019-03-26 14:18:12 +0100'>2019-03-26</span></td><td><a href='/guix/commit/etc/snippets/text-mode?id=6994e6743603ab73cc32d32786a55672f4fa46f0'>etc: Add "rename" snippet.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/snippets/text-mode/guix-commit-message-rename-package: New file.
</span></span></td><td>Pierre Neidhardt</td></tr>
<tr><td><span title='2019-03-08 00:17:30 +0100'>2019-03-08</span></td><td><a href='/guix/commit/etc/snippets/text-mode?id=95803946c7dbdff88db09fa5fe98e70d607712a7'>etc: snippets: Prefill package name.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/snippets/text-mode/guix-commit-message-add-package: Extract package
name from diff.
</span></span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2019-03-07 23:55:24 +0100'>2019-03-07</span></td><td><a href='/guix/commit/etc/snippets/text-mode?id=d6234620ace1863d8102b065311ef3d94e0931da'>etc: snippets: Prefill package name and version.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/snippets/text-mode/guix-commit-message-update-package: Extract package
name and version from git diff output.
</span></span></td><td>Ricardo Wurmus</td></tr>
<tr><td><span title='2018-07-13 12:45:11 +0530'>2018-07-13</span></td><td><a href='/guix/commit/etc/snippets/text-mode?id=9286c2950494b110e12d58d4ebd693d614120afe'>etc: snippets: Add guix-commit-message-use-https-home-page.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/snippets/text-mode/guix-commit-message-use-https-home-page: New file.
* doc/contributing.texi (The Perfect Setup): Document new snippet.
</span></span></td><td>Arun Isaac</td></tr>
<tr><td><span title='2017-12-15 23:15:32 +0100'>2017-12-15</span></td><td><a href='/guix/commit/etc/snippets/text-mode?id=42cdcdff1945b112452029c6a79445aac15ffd16'>etc: Add snippets.</a><span class='msg-avail'>...<span class='msg-tooltip'>* etc/snippets/scheme-mode/guix-cvs-reference,
etc/snippets/scheme-mode/guix-git-reference,
etc/snippets/scheme-mode/guix-hg-reference,
etc/snippets/scheme-mode/guix-origin,
etc/snippets/scheme-mode/guix-package,
etc/snippets/scheme-mode/guix-svn-reference,
etc/snippets/text-mode/guix-commit-message-add-package,
etc/snippets/text-mode/guix-commit-message-update-package: New files.
* doc/contributing.texi (The Perfect Setup): Document snippets.
</span></span></td><td>Ricardo Wurmus</td></tr>