Package details
Package | gnome-dev-tools |
---|---|
Version | 45.0-r0 |
Description | GNOME apps used for development and designing - meta package |
Project | https://www.gnome.org/ |
License | GPL-3.0-or-later |
Branch | v3.19 |
Repository | community |
Architecture | x86 |
Size | 1.5KiB |
Installed size | 4.0KiB |
Origin | gnome |
Maintainer | team/gnome |
Build time | 2023-10-02 10:51:07 |
Commit | d51339170c9d51c28e2811ff1bea8428cde5ed82 | Merge request | 52561 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |