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

summary refs log tree commit diff

path: root/sources

blob: 16e94537e879b8bdda7dd50afed7fcd1c212a667 (plain)

1	`25f7725fa9991ff4fe537329a2a36a05 minizinc-0.9.0.tar.gz`