development/smlnj/_arch-n-opsys.patch


1
2
3
4
5
6
7
8
9
10

--- _arch-n-opsys	2015-07-09 04:54:20.000000000 -0300
+++ _arch-n-opsys.new	2024-05-21 00:47:47.253431563 -0300
@@ -66,6 +66,7 @@
 	  2.6.*) ;;
 	  3.*) ;;
 	  4.*) ;;
+	  5.*) ;;
 	  *) exit 1 ;;
 	esac
 	;;