diff options
| author | Josselin Poiret <dev@jpoiret.xyz> | 2024-09-21 15:18:12 +0200 |
|---|---|---|
| committer | Josselin Poiret <dev@jpoiret.xyz> | 2024-10-12 11:12:26 +0200 |
| commit | 402a3a4e80d49dc5d9e3e8f79aa5858783ce9e33 (patch) | |
| tree | de40192585b27153ece801f8b0130dd42a131b9a /gnu/packages/aux-files/linux-libre/6.10-arm.conf | |
| parent | 96c490e0ce2e8c8e7ae85b379bead2aab42a7cdb (diff) | |
| download | guix-402a3a4e80d49dc5d9e3e8f79aa5858783ce9e33.tar.gz guix-402a3a4e80d49dc5d9e3e8f79aa5858783ce9e33.zip | |
gnu: agda-stdlib: Update to 2.1.13
* gnu/packages/agda.scm (agda-stdlib): Update to 2.1.1.
Change-Id: I0609d67730462edf69a98315e4ef187e8a516cbf
Diffstat (limited to 'gnu/packages/aux-files/linux-libre/6.10-arm.conf')
0 files changed, 0 insertions, 0 deletions