Package: ibus-table-lean
Source: ibus-table-others
Version: 1.3.21-1
Architecture: all
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Input Method Team <debian-input-method@lists.debian.org>
Installed-Size: 93
Depends: ibus-table
Section: utils
Priority: optional
Homepage: https://github.com/moebiuscurve/ibus-table-others
Description: ibus-table input method: Lean 4
 IBus is an Intelligent Input Bus. It is a new input framework for the Linux
 OS. It provides full featured and user friendly input method user interface.
 It also may help developers to develop input method easily.
 .
 This package provides one input method: Lean 4. Users can utilize
 Lean abbreviations to enter mathematical symbols. The abbreviation table
 comes from https://github.com/leanprover/vscode-lean4/.
