diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2024-01-17 20:06:58 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2024-01-17 20:06:58 +0000 |
| commit | 08c5e4df7a4b66ba8dbb827ca2e3a973d4f19ab0 (patch) | |
| tree | 347af25df153363454776e1fe95fc4e8100a7e7d /dev-lang/idris2 | |
| parent | fc6e577018dec28e18904f9ad5c1417976e3c728 (diff) | |
gentoo auto-resync : 17:01:2024 - 20:06:58
Diffstat (limited to 'dev-lang/idris2')
0 files changed, 0 insertions, 0 deletions