Ubuntu – Package Search Results -- elan

» Ubuntu » Packages » Package Search Results

Search in specific suite: [jammy] [jammy-updates] [jammy-backports] [noble] [noble-updates] [noble-backports] [questing] [questing-updates] [questing-backports] [resolute] [resolute-updates] [resolute-backports] [stonking]

Limit search to a specific architecture: [i386] [amd64] [arm64] [armhf] [ppc64el] [riscv64] [s390x]

You have searched for packages that names contain elan in all suites, all sections, and all architectures. Found 13 matching packages.

Exact hits

Package elan

jammy (22.04LTS) (math): tool for managing installations of the Lean theorem prover [universe]
1.3.1-3ubuntu0.1 [security]: amd64
1.3.1-3 [ports]: arm64 armhf ppc64el riscv64 s390x
jammy-updates (math): tool for managing installations of the Lean theorem prover [universe]
1.3.1-3ubuntu0.1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (math): tool for managing installations of the Lean theorem prover [universe]
3.1.0-1ubuntu0.1 [security]: amd64
3.1.0-1build2 [ports]: arm64 armhf ppc64el riscv64 s390x
noble-updates (math): tool for managing installations of the Lean theorem prover [universe]
3.1.0-1ubuntu0.1: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (math): tool for managing installations of the Lean theorem prover [universe]
3.1.1-6ubuntu0.1 [security]: amd64 arm64
3.1.1-6 [ports]: armhf ppc64el riscv64 s390x
questing-updates (math): tool for managing installations of the Lean theorem prover [universe]
3.1.1-6ubuntu0.1: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (26.04LTS) (math): tool for managing installations of the Lean theorem prover [universe]
4.1.2-3.1ubuntu1 [security]: amd64 arm64
4.1.2-3.1 [ports]: armhf ppc64el riscv64 s390x
resolute-updates (math): tool for managing installations of the Lean theorem prover [universe]
4.1.2-3.1ubuntu1: amd64 arm64 armhf ppc64el riscv64 s390x
stonking (math): tool for managing installations of the Lean theorem prover [universe]
4.1.2-3.1: amd64 arm64 armhf ppc64el riscv64 s390x

Other hits

Package golang-github-esiqveland-notify-dev

questing (25.10) (golang): Go library to deliver desktop notifications over D-Bus [universe]
0.13.3-2: all
resolute (26.04LTS) (golang): Go library to deliver desktop notifications over D-Bus [universe]
0.13.3-2: all
stonking (golang): Go library to deliver desktop notifications over D-Bus [universe]
0.13.3-2: all

Package golang-github-neelance-astrewrite-dev

jammy (22.04LTS) (devel): Go tool to walk & rewrite AST [universe]
0.0~git20160511.0.9934826-7: all
noble (24.04LTS) (devel): Go tool to walk & rewrite AST [universe]
0.0~git20160511.0.9934826-8: all
questing (25.10) (devel): Go tool to walk & rewrite AST [universe]
0.0~git20160511.0.9934826-8: all
resolute (26.04LTS) (devel): Go tool to walk & rewrite AST [universe]
0.0~git20160511.0.9934826-8: all
stonking (devel): Go tool to walk & rewrite AST [universe]
0.0~git20160511.0.9934826-8: all

Package golang-github-neelance-sourcemap-dev

jammy (22.04LTS) (devel): Javascript source map reader and writer for Go [universe]
0.0~git20151028.0.8c68805-5: all
noble (24.04LTS) (devel): Javascript source map reader and writer for Go [universe]
0.0~git20151028.0.8c68805-6: all
questing (25.10) (devel): Javascript source map reader and writer for Go [universe]
0.0~git20151028.0.8c68805-6: all
resolute (26.04LTS) (devel): Javascript source map reader and writer for Go [universe]
0.0~git20151028.0.8c68805-6: all
stonking (devel): Javascript source map reader and writer for Go [universe]
0.0~git20151028.0.8c68805-6: all

Package golang-github-tideland-golib-dev

jammy (22.04LTS) (devel): collection of misc Go packages [universe]
4.24.2-1: all
noble (24.04LTS) (devel): collection of misc Go packages [universe]
4.24.2-1: all
questing (25.10) (devel): collection of misc Go packages [universe]
4.24.2-2: all
resolute (26.04LTS) (devel): collection of misc Go packages [universe]
4.24.2-2: all
stonking (devel): collection of misc Go packages [universe]
4.24.2-2: all

Package lomiri-keyboard-icelandic

questing (25.10) (libs): Lomiri on-screen keyboard data files - Icelandic [universe]
1.0.3-3: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (26.04LTS) (libs): Lomiri on-screen keyboard data files - Icelandic [universe]
1.0.3-4: amd64 arm64 armhf ppc64el riscv64 s390x
stonking (libs): Lomiri on-screen keyboard data files - Icelandic [universe]
1.0.3-4: amd64 arm64 armhf ppc64el riscv64 s390x

Package task-icelandic

jammy (22.04LTS) (admin): Icelandic environment [universe]
3.68ubuntu2: all
noble (24.04LTS) (admin): Icelandic environment [universe]
3.75ubuntu1: all
questing (25.10) (admin): Icelandic environment [universe]
3.82ubuntu1: all
resolute (26.04LTS) (admin): Icelandic environment [universe]
3.87ubuntu1: all
stonking (admin): Icelandic environment [universe]
3.87ubuntu1: all

Package task-icelandic-desktop

jammy (22.04LTS) (admin): Icelandic desktop [universe]
3.68ubuntu2: all
noble (24.04LTS) (admin): Icelandic desktop [universe]
3.75ubuntu1: all
questing (25.10) (admin): Icelandic desktop [universe]
3.82ubuntu1: all
resolute (26.04LTS) (admin): Icelandic desktop [universe]
3.87ubuntu1: all
stonking (admin): Icelandic desktop [universe]
3.87ubuntu1: all

Package task-icelandic-kde-desktop

jammy (22.04LTS) (admin): Icelandic KDE Plasma desktop [universe]
3.68ubuntu2: all
noble (24.04LTS) (admin): Icelandic KDE Plasma desktop [universe]
3.75ubuntu1: all
questing (25.10) (admin): Icelandic KDE Plasma desktop [universe]
3.82ubuntu1: all
resolute (26.04LTS) (admin): Icelandic KDE Plasma desktop [universe]
3.87ubuntu1: all
stonking (admin): Icelandic KDE Plasma desktop [universe]
3.87ubuntu1: all

Package treeland-protocols

questing (25.10) (libdevel): Wayland protocol extensions for treeland [universe]
0.4.5-2: all
resolute (26.04LTS) (libdevel): Wayland protocol extensions for treeland [universe]
0.5.4-1: all
stonking (libdevel): Wayland protocol extensions for treeland [universe]
0.5.9-1: all

Package widelands

jammy (22.04LTS) (games): fantasy real-time strategy game [universe]
1:21-1build6: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (games): fantasy real-time strategy game [universe]
2:1.1-4build4: amd64 arm64 armhf ppc64el riscv64
questing (25.10) (games): fantasy real-time strategy game [universe]
2:1.2.1-3: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (26.04LTS) (games): fantasy real-time strategy game [universe]
2:1.3.1-3: amd64 arm64 armhf ppc64el riscv64 s390x
stonking (games): fantasy real-time strategy game [universe]
2:1.3.1-4: amd64 arm64 armhf ppc64el riscv64 s390x

Package widelands-data

jammy (22.04LTS) (games): fantasy real-time strategy game (data files) [universe]
1:21-1build6: all
noble (24.04LTS) (games): fantasy real-time strategy game (data files) [universe]
2:1.1-4build4: all
questing (25.10) (games): fantasy real-time strategy game (data files) [universe]
2:1.2.1-3: all
resolute (26.04LTS) (games): fantasy real-time strategy game (data files) [universe]
2:1.3.1-3: all
stonking (games): fantasy real-time strategy game (data files) [universe]
2:1.3.1-4: all

Package xfce4-wavelan-plugin

jammy (22.04LTS) (x11): wavelan status plugin for the Xfce4 panel [universe]
0.6.2-1: amd64 arm64 armhf ppc64el riscv64 s390x
noble (24.04LTS) (x11): wavelan status plugin for the Xfce4 panel [universe]
0.6.3-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
questing (25.10) (x11): wavelan status plugin for the Xfce4 panel [universe]
0.6.3-1build2: amd64 arm64 armhf ppc64el riscv64 s390x
resolute (26.04LTS) (x11): wavelan status plugin for the Xfce4 panel [universe]
0.6.3-1build3: amd64 arm64 armhf ppc64el riscv64 s390x
stonking (x11): wavelan status plugin for the Xfce4 panel [universe]
0.6.3-1build3: amd64 arm64 armhf ppc64el riscv64 s390x