diff options
| author | V3n3RiX <venerix@koprulu.sector> | 2022-12-17 15:39:26 +0000 |
|---|---|---|
| committer | V3n3RiX <venerix@koprulu.sector> | 2022-12-17 15:39:26 +0000 |
| commit | f1317d9384e4b8cbbd93ff4ceb8bd87fa9d3a4f1 (patch) | |
| tree | dd8d85d0456d78dcba0d13e7b713ae23c4f073dc /dev-lang/idris2 | |
| parent | bcea7077fd4cd5045b1a07fac9619e1d2fb4e897 (diff) | |
gentoo auto-resync : 17:12:2022 - 15:39:26
Diffstat (limited to 'dev-lang/idris2')
0 files changed, 0 insertions, 0 deletions