sources - mywaaagh_admin/pypi/python-clingo.git - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

path: root/sources

blob: 035669ef2fcbe542b93df4e71466b40a4159c76d (plain)

1	`73e3ea7356a82acf49c772ca2b23e44f clingo-5.6.2.tar.gz`