Package details
Package | gnome-dev-tools |
---|---|
Version | 47.0-r0 |
Description | GNOME apps used for development and designing - meta package |
Project | https://www.gnome.org/ |
License | GPL-3.0-or-later |
Branch | edge |
Repository | community |
Architecture | riscv64 |
Size | 1.2KiB |
Installed size | 4.0KiB |
Origin | gnome |
Maintainer | team/gnome |
Build time | 2024-09-18 15:46:40 |
Commit | f26c7772e1d2c1ad12a0a3725bd1b8fce832c269 | Merge request | 72117 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |