diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2018-07-04 21:01:39 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-04 21:01:39 +0000 |
commit | 04bd737062086e9319c6dbcc3174fcbb7076fede (patch) | |
tree | 27795d511e3e97833e68b8f4a449584c6df2ccd7 /pkgs/tools/misc | |
parent | 75e2aca6ca6ee1b28687af200d451895f8e82e03 (diff) | |
parent | a431e4f207f3f9c2378b4f7d49916fee6af05684 (diff) | |
download | nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar.gz nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar.bz2 nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar.lz nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar.xz nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.tar.zst nixlib-04bd737062086e9319c6dbcc3174fcbb7076fede.zip |
Merge pull request #43026 from r-ryantm/auto-update/clingo
clingo: 5.2.2 -> 5.3.0
Diffstat (limited to 'pkgs/tools/misc')
0 files changed, 0 insertions, 0 deletions