Skip to content
GitLab
Explore
Sign in
Open
0
Merged
4
Closed
2
All
6
Recent searches
{{ formattedKey }}
{{ title }}
{{ help }}
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
None
Any
{{name}}
@{{username}}
{{name}}
@{{username}}
None
Any
Upcoming
Started
{{title}}
None
Any
{{title}}
None
Any
{{title}}
None
Any
{{name}}
Yes
No
Yes
No
{{title}}
{{title}}
{{title}}
Created date
Draft: Fix gtest dependency of deps/cartographer
!698
· created
Nov 22, 2023
by
Tilman Daab
os-ubuntu22-jammy
type::module
Closed
4
updated
Nov 24, 2023
Allow installing flatpak packages via system/packages or by directly depending on `flatpak/origin/com.application.Application`
!579
· created
Apr 29, 2023
by
Christian Dreher
Release 23.06.1.0
os-ubuntu18-bionic
os-ubuntu22-jammy
type::feature
Merged
Approved
updated
May 09, 2023
deps/vtk: Build VTK with Qt plugins
!415
· created
Dec 19, 2022
by
Christoph Pohl
Release 22.12.4.0
os-ubuntu22-jammy
type::module
Merged
9
Approved
updated
Dec 23, 2022
apt/libpython: Use libpython2-dev for Ubuntu 22.04 instead of libpython-dev
!389
· created
Dec 12, 2022
by
Tobias Jacob
Release 22.12.3.0
os-ubuntu22-jammy
type::module
Merged
1
Approved
updated
Dec 12, 2022
Draft: feature: Jammy support (preliminary)
!196
· created
Jul 15, 2022
by
Christian Dreher
os-ubuntu22-jammy
Closed
1
updated
Nov 08, 2022
feature: Jammy support.
!195
· created
Jul 15, 2022
by
Christian Dreher
os-ubuntu22-jammy
Merged
3
Approved
updated
Nov 08, 2022
