diff options
| author | CoprDistGit <copr-devel@lists.fedorahosted.org> | 2023-02-24 04:05:58 +0000 |
|---|---|---|
| committer | CoprDistGit <copr-devel@lists.fedorahosted.org> | 2023-02-24 04:05:58 +0000 |
| commit | af9ba74b059c549913a07077af919e9c102b17a1 (patch) | |
| tree | 37f34dc8a4dc3ff8cb84c3806c73c82aea36c716 /sources | |
| parent | db61f85701f33b32cbee82688cebb98c799c1e20 (diff) | |
automatic import of python3-clingoopeneuler20.03
Diffstat (limited to 'sources')
| -rw-r--r-- | sources | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -0,0 +1 @@ +73e3ea7356a82acf49c772ca2b23e44f clingo-5.6.2.tar.gz |