clingo: 5.2.2 -> 5.3.0

[r-ryantm]

Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/clingo/versions.

Version release notes (from GitHub):

Packages

• The easiest way to obtain Python enabled clingo packages is using Anaconda. Packages are available in the Potassco channel. First install either Anaconda or Miniconda and then run: conda install -c potassco clingo.
• Packages for clingo are available in the Linux distributions Debian, Ubuntu, and Arch Linux (AUR).
• For Mac OS X, clingo packages are available in homebrew and macports.

Changes

• change C API to use numeric instead of symbolic literals
  • affects assumptions and assigning/releasing externals (breaks backward compatibility)
  • added overloads to C++, python and lua API to support both numeric and symbolic version (preserves backward compatibility for most code)
• the python, C and C++ APIs now allow for customizing clingo by implementing a custom main function but reusing the rest of the application including the standard output
• add API function to detect conflicting programs
• add message logger to python and lua interface
• add support for primes in the beginning of identifiers and variable names
• add per solver registration of watches during propagator initialization
• add a directive to selectivel suppress undefined atom warnings
• add support for user defined statistics
• add _to_c functions for python API to be able to call C functions from python
• only create ground representations for requested program parts when grounding (ipython: Update to 0.13 #71)
• improve program observer (Added ubuntu-font-family #19)
• support for binary, octal, and hexadecimal numbers (handling of python buildInputs #65)
• the backend has to be opened/closed now
• release python's GIL while grounding (chromium: Update channels for stable version 21. #82)
• TruthValue.{True,False} becomes TruthValue.{_True,_False} in python API
• improve API and it's documentation

These checks were done:

• built on NixOS
• /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/lpconvert passed the binary check.
• /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clasp passed the binary check.
• /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/reify passed the binary check.
• /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/gringo passed the binary check.
• /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clingo passed the binary check.
• 5 of 5 passed binary check by having a zero exit code.
• 0 of 5 passed binary check by having the new version present in output.
• found 5.3.0 with grep in /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0
• directory tree listing: https://gist.github.com/bba2eaf1d132fbdd88a2710a6030c419
• du listing: https://gist.github.com/230340bfa02557290a60cfc6d2e7e977

meta.description for clingo is: '"ASP system to ground and solve logic programs"'.

cc @7c6f434c for testing.

This build is cached with Cachix. To use the cache follow these instructions:

One time setup in nixpkgs Git checkout:

cachix use r-ryantm
git remote add r-ryantm https://github.com/r-ryantm/nixpkgs.git

Test this build:

git fetch r-ryantm && git checkout a431e4f207f3f9c2378b4f7d49916fee6af05684 && nix-shell --pure -I nixpkgs=. -p clingo

[grahamc]

@GrahamcOfBorg eval

[GrahamcOfBorg]

Success on aarch64-linux (full log)

Attempted: clingo

Partial log (click to expand)

shrinking /nix/store/kryg5il3nmqj72clh358hvdq8xbi2v72-clingo-5.3.0/bin/clingo
shrinking /nix/store/kryg5il3nmqj72clh358hvdq8xbi2v72-clingo-5.3.0/bin/gringo
shrinking /nix/store/kryg5il3nmqj72clh358hvdq8xbi2v72-clingo-5.3.0/bin/reify
shrinking /nix/store/kryg5il3nmqj72clh358hvdq8xbi2v72-clingo-5.3.0/bin/clasp
shrinking /nix/store/kryg5il3nmqj72clh358hvdq8xbi2v72-clingo-5.3.0/bin/lpconvert
strip is /nix/store/0pjsgkxz0rp5baycq5sp2s72lrr5q9sg-binutils-2.30/bin/strip
stripping (with command strip and flags -S) in /nix/store/kryg5il3nmqj72clh358hvdq8xbi2v72-clingo-5.3.0/lib  /nix/store/kryg5il3nmqj72clh358hvdq8xbi2v72-clingo-5.3.0/bin
patching script interpreter paths in /nix/store/kryg5il3nmqj72clh358hvdq8xbi2v72-clingo-5.3.0
checking for references to /build in /nix/store/kryg5il3nmqj72clh358hvdq8xbi2v72-clingo-5.3.0...
/nix/store/kryg5il3nmqj72clh358hvdq8xbi2v72-clingo-5.3.0