unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed

blob 00917853baac356d13d36a14b6463e5e56cb3fdc 427 bytes (raw)
name: gnu/packages/patches/agda-categories-use-newer-stdlib.patch 	 # note: path name is non-authoritative(*)

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

debug log:

solving 00917853ba ...
found 00917853ba in https://yhetil.org/guix-patches/a519f0196eb669721caaddbda0e0bb72bb742159.1727003093.git.dev@jpoiret.xyz/

applying [1/1] https://yhetil.org/guix-patches/a519f0196eb669721caaddbda0e0bb72bb742159.1727003093.git.dev@jpoiret.xyz/
diff --git a/gnu/packages/patches/agda-categories-use-newer-stdlib.patch b/gnu/packages/patches/agda-categories-use-newer-stdlib.patch
new file mode 100644
index 0000000000..00917853ba

1:25: trailing whitespace.
-- 
Checking patch gnu/packages/patches/agda-categories-use-newer-stdlib.patch...
1:27: new blank line at EOF.
+
Applied patch gnu/packages/patches/agda-categories-use-newer-stdlib.patch cleanly.
warning: 2 lines add whitespace errors.

index at:
100644 00917853baac356d13d36a14b6463e5e56cb3fdc	gnu/packages/patches/agda-categories-use-newer-stdlib.patch

(*) Git path names are given by the tree(s) the blob belongs to.
    Blobs themselves have no identifier aside from the hash of its contents.^

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).