Package details
Package | gnome-dev-tools |
---|---|
Version | 44-r0 |
Description | GNOME apps used for development and designing - meta package |
Project | https://www.gnome.org/ |
License | GPL-3.0-or-later |
Branch | v3.18 |
Repository | community |
Architecture | armv7 |
Size | 1.5KiB |
Installed size | 4.0KiB |
Origin | gnome |
Maintainer | team/gnome |
Build time | 2023-03-22 17:15:13 |
Commit | 3fd6f270756be7825c5193c6db2e3a46649688be | Merge request | 45316 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |