Script 'mail_helper' called by obssrc Hello community, here is the log from the commit of package ibus-table-others for openSUSE:Factory checked in at 2026-10-22 15:49:13 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Comparing /work/SRC/openSUSE:Factory/ibus-table-others (Old) and /work/SRC/openSUSE:Factory/.ibus-table-others.new.2252680 (New) ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
Package is "ibus-table-others" Thu Oct 22 15:49:13 2026 rev:26 rq:1386562 version:1.3.22 Changes: -------- --- /work/SRC/openSUSE:Factory/ibus-table-others/ibus-table-others.changes 2026-02-02 14:58:40.871361236 +0100 +++ /work/SRC/openSUSE:Factory/.ibus-table-others.new.2252680/ibus-table-others.changes 2026-10-22 15:50:28.957571807 +0200 @@ -1,0 +2,6 @@ +Sat Oct 17 15:55:17 UTC 2026 - Martin Pluskal <[email protected]> + +- Update to 1.3.22: + * Update Lean table. + +------------------------------------------------------------------- Old: ---- ibus-table-others-1.3.21.tar.gz New: ---- ibus-table-others-1.3.22.tar.gz ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ Other differences: ------------------ ++++++ ibus-table-others.spec ++++++ --- /var/tmp/diff_new_pack.LpSs7C/_old 2026-10-22 15:50:29.802607230 +0200 +++ /var/tmp/diff_new_pack.LpSs7C/_new 2026-10-22 15:50:29.803607272 +0200 @@ -17,16 +17,15 @@ Name: ibus-table-others -Version: 1.3.21 +Version: 1.3.22 Release: 0 Summary: Other non-Chinese tables for ibus License: GPL-3.0-or-later -Group: System/Localization URL: https://github.com/moebiuscurve/ibus-table-others -Source: https://github.com/moebiuscurve/ibus-table-others/archive/refs/tags/1.3.21.tar.gz#/%{name}-%{version}.tar.gz +Source: https://github.com/moebiuscurve/ibus-table-others/archive/refs/tags/1.3.22.tar.gz#/%{name}-%{version}.tar.gz BuildRequires: ibus-table >= 1.9.1 BuildRequires: libtool -BuildRequires: pkg-config +BuildRequires: pkgconfig BuildRequires: python3 BuildRequires: pkgconfig(ibus-table) >= 1.9.1 BuildArch: noarch @@ -39,7 +38,6 @@ %package -n ibus-table-latex Summary: Latex input method for IBus framework -Group: System/Localization Requires: ibus-table %description -n ibus-table-latex @@ -47,7 +45,6 @@ %package -n ibus-table-cns11643 Summary: CNS11643 input method for IBus framework -Group: System/Localization Requires: ibus-table %description -n ibus-table-cns11643 @@ -56,7 +53,6 @@ %package -n ibus-table-emoticon Summary: Emoji input method for IBus framework -Group: System/Localization Requires: ibus-table Provides: ibus-table-emoji = %{version} Obsoletes: ibus-table-emoji < %{version} @@ -66,9 +62,8 @@ %package -n ibus-table-rustrad Summary: Rustrad input method for IBus framework -Group: System/Localization -Provides: locale(ibus:ru) Requires: ibus-table +Provides: locale(ibus:ru) %description -n ibus-table-rustrad ibus-table-rustrad provides Rustrad input method on IBus Table under IBus @@ -76,9 +71,8 @@ %package -n ibus-table-translit Summary: Translit input method for IBus framework -Group: System/Localization -Provides: locale(ibus:ru) Requires: ibus-table +Provides: locale(ibus:ru) %description -n ibus-table-translit ibus-table-translit provides Translit input method on IBus Table under IBus @@ -86,9 +80,8 @@ %package -n ibus-table-translit-ua Summary: Translit-ua input method for IBus framework -Group: System/Localization -Provides: locale(ibus:uk) Requires: ibus-table +Provides: locale(ibus:uk) %description -n ibus-table-translit-ua ibus-table-translit-ua provides Translit-ua input method on IBus Table under @@ -96,7 +89,6 @@ %package -n ibus-table-yawerty Summary: Yawerty input method for IBus framework -Group: System/Localization Requires: ibus-table %description -n ibus-table-yawerty @@ -105,7 +97,6 @@ %package -n ibus-table-compose Summary: The Compose table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-compose @@ -113,7 +104,6 @@ %package -n ibus-table-ipa-x-sampa Summary: The ipa-x-sampa table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-ipa-x-sampa @@ -121,7 +111,6 @@ %package -n ibus-table-thai Summary: The Thai table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-thai @@ -130,9 +119,8 @@ %package -n ibus-table-viqr Summary: The Viqr (Vietnamese) table for ibus-table -Group: System/Localization -Provides: locale(ibus:vi) Requires: ibus-table +Provides: locale(ibus:vi) %description -n ibus-table-viqr ibus-table-viqr provides the Viqr (Vietnamese) table for ibus-table. Tiếng Việt @@ -140,7 +128,6 @@ %package -n ibus-table-mathwriter Summary: Mathematics symbols table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-mathwriter @@ -148,7 +135,6 @@ %package -n ibus-table-rusle Summary: Rusle table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-rusle @@ -156,7 +142,6 @@ %package -n ibus-table-hu-old-hungarian-rovas Summary: Hu old hungarian rovas table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-hu-old-hungarian-rovas @@ -164,7 +149,6 @@ %package -n ibus-table-mongol-bichig Summary: Mongol Bichig table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-mongol-bichig @@ -172,7 +156,6 @@ %package -n ibus-table-telex Summary: Telex table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-telex @@ -180,7 +163,6 @@ %package -n ibus-table-vni Summary: Vni table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-vni @@ -188,7 +170,6 @@ %package -n ibus-table-lean Summary: lean table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-lean @@ -196,14 +177,13 @@ %package -n ibus-table-hu_Hung_HU_traditional Summary: lean table for ibus-table -Group: System/Localization Requires: ibus-table %description -n ibus-table-hu_Hung_HU_traditional ibus-table-hu_Hung_HU_traditional provides old Hungarian script for ibus-table. %prep -%setup +%setup -q %build ./autogen.sh @@ -212,10 +192,9 @@ %make_build %install -make DESTDIR=${RPM_BUILD_ROOT} NO_INDEX=true install +make DESTDIR=%{buildroot} NO_INDEX=true install %files -%defattr(-,root,root) %doc ChangeLog README AUTHORS %license COPYING ++++++ _service ++++++ --- /var/tmp/diff_new_pack.LpSs7C/_old 2026-10-22 15:50:29.838608739 +0200 +++ /var/tmp/diff_new_pack.LpSs7C/_new 2026-10-22 15:50:29.843608949 +0200 @@ -3,7 +3,7 @@ <param name="url">https://github.com/moebiuscurve/ibus-table-others</param> <param name="versionformat">@PARENT_TAG@</param> <param name="scm">git</param> - <param name="revision">95453df</param> + <param name="revision">35863cede0de0c1fbb652d2a5757ce2c24c535c8</param> <param name="versionrewrite-pattern">Release (\d+\.\d+\.\d+)</param> <param name="versionrewrite-replacement">\1</param> </service> ++++++ ibus-table-others-1.3.21.tar.gz -> ibus-table-others-1.3.22.tar.gz ++++++ diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ibus-table-others-1.3.21/ChangeLog new/ibus-table-others-1.3.22/ChangeLog --- old/ibus-table-others-1.3.21/ChangeLog 2025-05-24 00:36:27.000000000 +0200 +++ new/ibus-table-others-1.3.22/ChangeLog 2026-02-16 13:49:25.000000000 +0100 @@ -1,4 +1,28 @@ -commit e39710641a978c9a44408192196388f8ab04165b +commit f8ef84605224f2c6fa9c3b32357c1d8b249a8a3c +Author: Mike FABIAN <[email protected]> +Date: Mon Feb 16 13:49:07 2026 +0100 + + Release 1.3.22 + +commit c0f8b4f50a82001c196139fd6e123b74ba5c050a +Author: Castedo Ellerman <[email protected]> +Date: Thu Feb 5 19:34:46 2026 +0000 + + include command and args used to gen file + +commit f0955fced63d83344422f4a689f89e26e45d291e +Author: Castedo Ellerman <[email protected]> +Date: Thu Feb 5 18:39:00 2026 +0000 + + set SERIAL_NUMBER; minor code clean up + +commit 4e738af44a1ecb076f2b0e33f165e0c224987963 +Author: Castedo Ellerman <[email protected]> +Date: Thu Feb 5 07:44:00 2026 -0500 + + first draft; output lean.txt looks OK, but untested + +commit ecf38b3c38f108d93e9f5ff5962754570e0d89c5 Author: Mike FABIAN <[email protected]> Date: Sat May 24 00:36:04 2025 +0200 diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ibus-table-others-1.3.21/configure.ac new/ibus-table-others-1.3.22/configure.ac --- old/ibus-table-others-1.3.21/configure.ac 2025-05-24 00:36:27.000000000 +0200 +++ new/ibus-table-others-1.3.22/configure.ac 2026-02-16 13:49:25.000000000 +0100 @@ -23,7 +23,7 @@ m4_define([ibus_released], [1]) m4_define([ibus_major_version], [1]) m4_define([ibus_minor_version], [3]) -m4_define([ibus_micro_version], [21]) +m4_define([ibus_micro_version], [22]) # commented out as datestamp doesn't suit dist date. m4_define(ibus_maybe_datestamp, m4_esyscmd([if test x]ibus_released[ != x1; then date +.%Y%m%d | tr -d '\n\r'; fi])) diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ibus-table-others-1.3.21/convert-vscode-lean4-to-ibus-table.py new/ibus-table-others-1.3.22/convert-vscode-lean4-to-ibus-table.py --- old/ibus-table-others-1.3.21/convert-vscode-lean4-to-ibus-table.py 1970-01-01 01:00:00.000000000 +0100 +++ new/ibus-table-others-1.3.22/convert-vscode-lean4-to-ibus-table.py 2026-02-16 13:49:25.000000000 +0100 @@ -0,0 +1,166 @@ +#!/usr/bin/python3 +# +# Copyright (c) 2021 Mike FABIAN <[email protected]> +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/> +''' +Converting abbreviations.json from the github.com/leanprover/vscode-lean4 +repository to an ibus-table source file. +''' + +import json, os +from datetime import date +from string import Template +from typing import Any + +TODAY = date.today().strftime('%Y%m%d') + +def parse_args() -> Any: + import argparse + parser = argparse.ArgumentParser(description=__doc__) + parser.add_argument('-i', '--inputfilename', + nargs='?', + type=str, + default='abbreviations.json', + help='input file, default is %(default)s') + parser.add_argument('-o', '--outputfilename', + nargs='?', + type=str, + default='lean.txt', + help='output file, default is %(default)s') + parser.add_argument('-s', '--serialnumber', + nargs='?', + type=str, + default=TODAY, + help='serial number version, default is today') + return parser.parse_args() + +TEMPLATE = Template(r'''### File header must not be modified +### This file must be encoded into UTF-8. +### github.com/leanprover/vscode-lean4/blob/master/lean4-unicode-input/src/abbreviations.json +### converted to this ibus-table source file using the command: +### ./$command \ +### --inputfilename $inputfilename \ +### --outputfilename $outputfilename \ +### --serialnumber $serialnumber +SCIM_Generic_Table_Phrase_Library_TEXT +VERSION_1_0 + +### Begin Table definition. +BEGIN_DEFINITION + +### An unique id to distinguish this table among others. +### Use uuidgen to generate this kind of id. +UUID = 3fa17a5a-7423-40fb-931e-1930e30e1657 + +### A unique number indicates the version of this file. +### For example the last modified date of this file. +### This number must be less than 2^32. +SERIAL_NUMBER = $serialnumber + +### License +LICENSE = LGPL-2.1-or-later + +ICON = lean.svg + +### The symbol to be displayed in IM switchers +SYMBOL = ∀ + +### Prompt string to be displayed in the status area. +STATUS_PROMPT = ∀ + +### The default name of this table +NAME = Lean 4 + +### Description +DESCRIPTION = Use Lean abbreviations to enter mathematical symbols. All abbreviations start with a backslash (\). + +### Author of this table +AUTHOR = Alba Mendez <[email protected]> + +### Supported locales of this table +LANGUAGES = other + +### If true then the phrases' frequencies will be adjusted dynamically. +DYNAMIC_ADJUST = TRUE + +### If true then the preedit area will be filled up by the current candidate phrase automatically. + +### Use full width punctuation by default +DEF_FULL_WIDTH_PUNCT = FALSE + +### Use full width letter by default +DEF_FULL_WIDTH_LETTER = FALSE + +### The maxmium length of a key. +MAX_KEY_LENGTH = 20 + +### Valid input chars. +### Since '=' is one of the VALID_INPUT_CHARS, we use '==' as delimiter +### so it is correctly picked up by the parser +VALID_INPUT_CHARS == abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ1234567890^\_[] !"#&'()*+-./:=<>?|`{}~ + +### Start characters, every key in the table starts with one of these characters +START_CHARS = \ + +### Layout +### This table can be used with any layout capable of typing ASCII. +### Therefore, we should not require a special layout like “us”. +LAYOUT = default + +### If true then a multi wildcard will be appended +### at the end of inputing string automatically. +AUTO_WILDCARD = TRUE + +### Single wildcard char (leave empty if you don’t want a wildcard character). +SINGLE_WILDCARD_CHAR = + +### Multi wildcard char (leave empty if you don’t want a wildcard character). +MULTI_WILDCARD_CHAR = + +### Whether user are allow to define phrase, default is true +### You have to define the word construction rules below. +### For input methods which do not input phrases, set this to False +USER_CAN_DEFINE_PHRASE = FALSE + +### Whether support PinYin Mode, default is true. +### this feature is just for Chinese, set it to False if your IM is not +### Chinese. +PINYIN_MODE = FALSE + +### The key strokes to select candidiate phrases. +SELECT_KEYS = F1,F2,F3,F4,F5,F6,F7,F8,F9,F10 + +END_DEFINITION + +### Begin Table data. +''') + + +def main() -> None: + ''' + Read VSCode Lean 4 abbreviations.json and write ibus-table .txt file + ''' + args = parse_args() + t = json.load(open(args.inputfilename)) + with open(args.outputfilename, 'w') as outputfile: + subs = dict(vars(args), command=os.path.basename(__file__)) + outputfile.write(TEMPLATE.substitute(subs)) + outputfile.write('BEGIN_TABLE\n') + for k, v in t.items(): + outputfile.write(f'\\{k}\t{v}\t0\n') + outputfile.write('END_TABLE\n') + +if __name__ == '__main__': + main() diff -urN '--exclude=CVS' '--exclude=.cvsignore' '--exclude=.svn' '--exclude=.svnignore' old/ibus-table-others-1.3.21/tables/lean.txt new/ibus-table-others-1.3.22/tables/lean.txt --- old/ibus-table-others-1.3.21/tables/lean.txt 2025-05-24 00:36:27.000000000 +0200 +++ new/ibus-table-others-1.3.22/tables/lean.txt 2026-02-16 13:49:25.000000000 +0100 @@ -1,7 +1,11 @@ ### File header must not be modified ### This file must be encoded into UTF-8. -### This file comes from vscode-lean4's abbreviation table: -### <https://github.com/leanprover/vscode-lean4/raw/5a938adc7913fbb4e177391bc2b762a35ab29153/lean4-unicode-input/src/abbreviations.json> +### github.com/leanprover/vscode-lean4/blob/master/lean4-unicode-input/src/abbreviations.json +### converted to this ibus-table source file using the command: +### ./convert-vscode-lean4-to-ibus-table.py \ +### --inputfilename ../vscode-lean4/lean4-unicode-input/src/abbreviations.json \ +### --outputfilename tables/lean.txt \ +### --serialnumber 20251217 SCIM_Generic_Table_Phrase_Library_TEXT VERSION_1_0 @@ -15,7 +19,7 @@ ### A unique number indicates the version of this file. ### For example the last modified date of this file. ### This number must be less than 2^32. -SERIAL_NUMBER = 20250522 +SERIAL_NUMBER = 20251217 ### License LICENSE = LGPL-2.1-or-later @@ -94,6 +98,29 @@ ### Begin Table data. BEGIN_TABLE +\{} {$CURSOR} 0 +\{}_ {$CURSOR}_ 0 +\{{}} ⦃$CURSOR⦄ 0 +\[] [$CURSOR] 0 +\[]_ [$CURSOR]_ 0 +\[[]] ⟦$CURSOR⟧ 0 +\<> ⟨$CURSOR⟩ 0 +\() ($CURSOR) 0 +\()_ ($CURSOR)_ 0 +\([])' ⟮$CURSOR⟯ 0 +\(()) ⸨$CURSOR⸩ 0 +\f<> ‹$CURSOR› 0 +\f<<>> «$CURSOR» 0 +\[--] ⁅$CURSOR⁆ 0 +\|||| ‖$CURSOR‖ 0 +\nnnorm ‖$CURSOR‖₊ 0 +\norm ‖$CURSOR‖ 0 +\floor ⌊$CURSOR⌋ 0 +\ceil ⌈$CURSOR⌉ 0 +\nfloor ⌊$CURSOR⌋₊ 0 +\nceil ⌈$CURSOR⌉₊ 0 +\s[] ⦋$CURSOR⦌ 0 +\simplex ⦋$CURSOR⦌ 0 \\ \ 0 \a α 0 \b β 0 @@ -103,7 +130,7 @@ \g γ 0 \i ∩ 0 \m μ 0 -\n ¬ 0 +\n \n 0 \o ∘ 0 \p Π 0 \t ▸ 0 @@ -115,6 +142,7 @@ \~ ∼ 0 \. · 0 \* ⋆ 0 +\! ¬ 0 \? ¿ 0 \1 ₁ 0 \2 ₂ 0 @@ -152,7 +180,8 @@ \# ♯ 0 \: ∶ 0 \| ∣ 0 -\! ¡ 0 +\rw ▸ 0 +\coe ↑ 0 \be β 0 \ga γ 0 \de δ 0 @@ -180,15 +209,18 @@ \^{A} Â 0 \~A Ã 0 \"A Ä 0 +\-{A} Ā 0 \cC Ç 0 \`E È 0 \'E É 0 \^{E} Ê 0 \"E Ë 0 +\-{E} Ē 0 \`I Ì 0 \'I Í 0 \^{I} Î 0 \"I Ï 0 +\-{I} Ī 0 \~N Ñ 0 \`O Ò 0 \'O Ó 0 @@ -196,25 +228,30 @@ \~O Õ 0 \"O Ö 0 \/O Ø 0 +\-{O} Ō 0 \`U Ù 0 \'U Ú 0 \^{U} Û 0 \"U Ü 0 +\-{U} Ū 0 \'Y Ý 0 \`a à 0 \'a á 0 \^{a} â 0 \~a ã 0 \"a ä 0 +\-{a} ā 0 \cc ç 0 \`e è 0 \'e é 0 \^{e} ê 0 \"e ë 0 +\-{e} ē 0 \`i ì 0 \'i í 0 \^{i} î 0 \"i ï 0 +\-{i} ī 0 \~{n} ñ 0 \`o ò 0 \'o ó 0 @@ -222,16 +259,19 @@ \~o õ 0 \"o ö 0 \/o ø 0 +\-{o} ō 0 \`u ù 0 \'u ú 0 \^{u} û 0 \"u ü 0 +\-{u} ū 0 \'y ý 0 \"y ÿ 0 \/L Ł 0 -\notin ∉ 0 \note ♩ 0 \not ¬ 0 +\notin ∉ 0 +\notlt ≮ 0 \nomisma 𐆎 0 \nin ∉ 0 \nni ∌ 0 @@ -524,6 +564,11 @@ \to_l →ₗ 0 \r_l →ₗ 0 \linearmap →ₗ 0 +\tosl →ₛₗ 0 +\rsl →ₛₗ 0 +\to_sl →ₛₗ 0 +\r_sl →ₛₗ 0 +\semilinearmap →ₛₗ 0 \tom →ₘ 0 \rm →ₘ 0 \to_m →ₘ 0 @@ -554,7 +599,7 @@ \doteq ≐ 0 \dotplus ∔ 0 \dotsquare ⊡ 0 -\dot ⬝ 0 +\dot · 0 \dong ₫ 0 \downarrow ↓ 0 \downdownarrows ⇊ 0 @@ -601,6 +646,7 @@ \member ∈ 0 \mem ∈ 0 \measuredangle ∡ 0 +\ma ↦ 0 \mapsto ↦ 0 \male ♂ 0 \maltese ✠ 0 @@ -761,7 +807,6 @@ \<=>n ⇎ 0 \<=> ⇔ 0 \<= ≤ 0 -\<n ≮ 0 \<~nn ≴ 0 \<~n ⋦ 0 \<~ ≲ 0 @@ -1053,7 +1098,7 @@ \colon ₡ 0 \copyright © 0 \cdots ⋯ 0 -\cdot ⬝ 0 +\cdot · 0 \cib ● 0 \ciw ○ 0 \ci.. ◌ 0 @@ -1906,4 +1951,6 @@ \Vvdash ⊪ 0 \tiny ⧾ 0 \miny ⧿ 0 +\heq ≍ 0 +\r! ¡ 0 END_TABLE
