diff options
Diffstat (limited to 'dev-lang/smlnj')
| -rw-r--r-- | dev-lang/smlnj/Manifest | 1 | ||||
| -rw-r--r-- | dev-lang/smlnj/files/smlnj-110.99.3-shuffle.patch | 10 |
2 files changed, 0 insertions, 11 deletions
diff --git a/dev-lang/smlnj/Manifest b/dev-lang/smlnj/Manifest index 5d9086b2bd88..9dc85faf7015 100644 --- a/dev-lang/smlnj/Manifest +++ b/dev-lang/smlnj/Manifest @@ -1,4 +1,3 @@ -AUX smlnj-110.99.3-shuffle.patch 328 BLAKE2B 1120c02d226a49604b0913f724fb0e603f06f2fc1d05718d9d19b0d1e16bceb1d789fa5d752952d14aed907f6b3c237f48a62171624a6cd8b27aadb686998575 SHA512 4240319ecdb73f575641491f89bff45ccc1c71d4ac1e3c402e956e8edf84bc9b79c815d15445a3482776f5e0af4c058448c12c317c81f63480557ee4a648e82a DIST smlnj-110.99.4-MLRISC.tgz 1457408 BLAKE2B 6d01d0a994ded4167e7429ac4d7a7184197a76b454c7270de8c0887a1a38fffc13db7c1ec23a2e26c3ee765de590cb9483ff74ef944ff71a6ed45dfab9b4c268 SHA512 8ab2d36b0f46824060c87080ea1d450de869db48a768772d4725ca2a7c807451ee675554d5440517960fe41d5f64ceb3a8368c97f667b2bbd83d03195666d64e DIST smlnj-110.99.4-asdl.tgz 241360 BLAKE2B 3fb88f1a44487bff643bf6d011c234cb27c31c220c8ea929b57f72ebd50c1df4da15444617e5a7adaa9f814b0aec4bf3995aad9871f9c808b4bb86df7dbd106d SHA512 9926bb97ac12b595907e2a86ffd4b208e2283275fabc3383b9a4942b99ec0daf5beaec2781072b21d1fefa2331ae99fc9a1cdbf6daf247714a495fe86c4bba2a DIST smlnj-110.99.4-boot.amd64-unix.tgz 5974915 BLAKE2B 81e88ecc65455ce29147130b9b848ba95e64cec184ca3c04020766eeff3bf17b4c8937d105d71748155e71cc5ae1e59a8630b9547123aa554674eba4d8f6b148 SHA512 f3a3baf0c725b590def75d5ba8bc71a46230f26f47cd921ebaf45912954d3ec47abf068c20a2719ce6b5db07b9160d6d75997e0e967073b0585bc415b92c859a 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) |