diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2023-10-11 08:14:00 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2023-10-11 08:14:00 +0300 |
| commit | cdc82b2f6e89ee2817419fa6d46ece6d2e424919 (patch) | |
| tree | 423cc4fa742ea4842304c306503930b0761e56ad /tests/import-github.scm | |
| parent | 4ec818dbe1bdef5b6a5daba33d34bba8ca777e68 (diff) | |
gnu: agda-cubical: Add source file-name.
* gnu/packages/agda.scm (agda-cubical)[source]: Add file-name field.
Diffstat (limited to 'tests/import-github.scm')
0 files changed, 0 insertions, 0 deletions