commit: 83247d1b8c7294fe88e1612661548ead1aff5467 Author: Michael Mair-Keimberger <mmk <AT> levelnine <DOT> at> AuthorDate: Tue May 28 16:27:18 2024 +0000 Commit: Arthur Zamarin <arthurzam <AT> gentoo <DOT> org> CommitDate: Thu May 30 14:54:16 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=83247d1b
dev-lang/smlnj: remove unused patch(es) Signed-off-by: Michael Mair-Keimberger <mmk <AT> levelnine.at> Signed-off-by: Arthur Zamarin <arthurzam <AT> gentoo.org> dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch b/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch deleted file mode 100644 index 8073e36baf41..000000000000 --- a/dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch +++ /dev/null @@ -1,10 +0,0 @@ ---- a/base/runtime/c-libs/smlnj-date/makefile 2023-01-23 08:32:22.450319630 +0100 -+++ b/base/runtime/c-libs/smlnj-date/makefile 2023-01-23 08:37:23.920174357 +0100 -@@ -26,6 +26,7 @@ - strftime.o \ - unix-date.o - -+$(OBJS) : $(VERSION) - $(LIBRARY) : $(VERSION) $(OBJS) - rm -rf $(LIBRARY) - $(AR) $(ARFLAGS) $(LIBRARY) $(OBJS)
