diff options
author | V3n3RiX <venerix@koprulu.sector> | 2022-07-17 14:31:38 +0100 |
---|---|---|
committer | V3n3RiX <venerix@koprulu.sector> | 2022-07-17 14:31:38 +0100 |
commit | 9c26151d84a72781f240cc7ca3e2f0ab4ba60f74 (patch) | |
tree | 4ac39398cd519351bf12c6357e7474c508f19d13 /dev-lang/teyjus/files/teyjus-2.1-p006-Version.patch | |
parent | b99d693f4d27fe2eb2237a0fe7e9c3b87d4d6df5 (diff) |
gentoo auto-resync : 17:07:2022 - 14:31:38
Diffstat (limited to 'dev-lang/teyjus/files/teyjus-2.1-p006-Version.patch')
-rw-r--r-- | dev-lang/teyjus/files/teyjus-2.1-p006-Version.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/dev-lang/teyjus/files/teyjus-2.1-p006-Version.patch b/dev-lang/teyjus/files/teyjus-2.1-p006-Version.patch new file mode 100644 index 000000000000..d2ba3758315b --- /dev/null +++ b/dev-lang/teyjus/files/teyjus-2.1-p006-Version.patch @@ -0,0 +1,13 @@ +# https://github.com/teyjus/teyjus/issues/117 Version number not updated in release 2.1 + +--- teyjus-2.1-orig/source/front/parseargs.ml 2015-07-06 08:07:17.000000000 +1000 ++++ teyjus-2.1/source/front/parseargs.ml 2022-07-17 13:47:19.844819942 +1000 +@@ -24,7 +24,7 @@ + in + List.flatten (List.map seperate dualSpecList) + +-let version = "2.0-b2" ++let version = "2.1" + + let printVersion () = + print_endline ("Teyjus version " ^ version) ; |