diff options
| author | CoprDistGit <infra@openeuler.org> | 2023-05-05 08:41:28 +0000 |
|---|---|---|
| committer | CoprDistGit <infra@openeuler.org> | 2023-05-05 08:41:28 +0000 |
| commit | f703c7544dcda9e9d3e5cb4e40877337814f46a4 (patch) | |
| tree | 939e4d7a0d3f7c76b3eb892e8739bf120e5e64b8 /sources | |
| parent | b493b445c04b70c7806cc6b06674100191e206eb (diff) | |
automatic import of python-agda-pkgopeneuler20.03
Diffstat (limited to 'sources')
| -rw-r--r-- | sources | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -0,0 +1 @@ +e8b30a4298c3232ff8e8c98c77139169 agda-pkg-0.1.51.tar.gz |