| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| Manifest | 2.3 KiB | 2025-Sep-02 11:13 |
| metadata.xml | 464 B | 2022-Dec-07 22:40 |
| openpgp-keys-dealii-20230904.ebuild | 804 B | 2025-Sep-02 11:13 |
| openpgp-keys-dealii-20240811.ebuild | 804 B | 2025-Sep-02 11:13 |
| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| Manifest | 2.3 KiB | 2025-Sep-02 11:13 |
| metadata.xml | 464 B | 2022-Dec-07 22:40 |
| openpgp-keys-dealii-20230904.ebuild | 804 B | 2025-Sep-02 11:13 |
| openpgp-keys-dealii-20240811.ebuild | 804 B | 2025-Sep-02 11:13 |