Package details
Package | gprbuild |
---|---|
Version | 22.0.0-r3 |
Description | Builder for multi-language systems |
Project | https://github.com/AdaCore/gprbuild |
License | GPL-3.0-or-later |
Branch | edge |
Repository | testing |
Architecture | armv7 |
Size | 12.3MiB |
Installed size | 26.6MiB |
Origin | gprbuild |
Maintainer | Ian Douglas Scott |
Build time | 2024-08-02 16:08:17 |
Commit | 8beabd2ca1b75f6f9e3d42974f70c69b12950650 | Merge request | 70047 |
Git repository | Git repository |
Build log | Build log |
Contents | Contents of package |