Commit graph

145575 commits

Author SHA1 Message Date
R. RyanTM a431e4f207 clingo: 5.2.2 -> 5.3.0
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][ana]. Packages are available in the [Potassco channel][pch]. First [install either Anaconda or Miniconda][ins] and then run: `conda install -c potassco clingo`.
- Packages for clingo are available in the Linux distributions [Debian][deb], [Ubuntu][ubu], and [Arch Linux (AUR)][aur].
- For Mac OS X, clingo packages are available in [homebrew][hbr] and [macports][mac].

# 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 (#71)
* improve program observer (#19)
* support for binary, octal, and hexadecimal numbers (#65)
* the backend has to be opened/closed now
* release python's GIL while grounding (#82)
* TruthValue.{True,False} becomes TruthValue.{\_True,\_False} in python API
* improve API and it's documentation

[deb]: https://www.debian.org/
[ubu]: https://www.ubuntu.com/
[aur]: https://aur.archlinux.org/
[hbr]: https://brew.sh/
[mac]: https://www.macports.org/
[ana]: https://conda.io
[pch]: https://anaconda.org/potassco/clingo
[ins]: https://conda.io/docs/user-guide/install/index.html

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
2018-07-04 11:23:33 -07:00
Daiderd Jordan 6a36867509
Merge pull request #42933 from LnL7/darwin-boost
boost: disable system Python.framework detection
2018-07-04 19:47:47 +02:00
Peter Simons a2338472fb Drop obsolete ghc-8.4.x overrides for arrows, flexible-defaults, and lambdabot-core. 2018-07-04 19:14:18 +02:00
Peter Simons 1d587c2e66 hledger-ui: fix build with ghc 8.4.x 2018-07-04 19:14:18 +02:00
Peter Simons 81a85ae486 haskell-criterion: update override for ghc 8.4.x 2018-07-04 19:14:18 +02:00
Peter Simons 07db547c19 haskell-dhall: update override for the new version that's used by ghc 8.4.x 2018-07-04 19:14:18 +02:00
Peter Simons 259215a6b3 ghc-8.6.x: create an initial package set configuration 2018-07-04 19:14:18 +02:00
Peter Simons e938b12cde haskell-base-compat: update overrides for the new version 2018-07-04 19:14:18 +02:00
Peter Simons 0a635d3b78 haskell-hspec: update override for ghc 8.4.x 2018-07-04 19:14:18 +02:00
Peter Simons ed111be99a hackage-packages.nix: automatic Haskell package set update
This update was generated by hackage2nix v2.9.2-32-gdaeaea6 from Hackage revision
f8e066acb6.
2018-07-04 19:14:19 +02:00
Peter Simons 70d7586278 hackage2nix: ignore Stackage constraints for lambdabot and use latest versions 2018-07-04 19:14:01 +02:00
Peter Simons a282166e0d hackage2nix: avoid the update to base-compat-batteries-0.10.4
We cannot compile that new version because most builds don't work with
contravariant 1.5.x.
2018-07-04 19:13:14 +02:00
Peter Simons 2664df06c5 hackage2nix: disable failing Hydra builds 2018-07-04 19:13:14 +02:00
Peter Simons bf9ad8da07 LTS Haskell 11.16 2018-07-04 19:13:14 +02:00
Will Dietz 37914c8cb0
Merge pull request #43014 from orivej/wcc
wcc: init unstable at 2018-04-05
2018-07-04 11:43:27 -05:00
R. RyanTM 3924d7d50c folly: 2018.06.18.00 -> 2018.06.25.00 (#43008) 2018-07-04 16:22:45 +00:00
Mateusz Kowalczyk 62c2e0e66f
Merge pull request #42946 from r-ryantm/auto-update/snd
snd: 18.4 -> 18.5
2018-07-05 01:11:05 +09:00
Eelco Dolstra 8d4068d9d1
pkgs/top-level/release.nix: Don't require Darwin to be supported 2018-07-04 17:53:02 +02:00
Eelco Dolstra 67d0a57ef9
pkgs/top-level/release.nix.nix: Use fetchGit if possible 2018-07-04 17:20:54 +02:00
Silvan Mosberger 6fd7f31c1e
Merge pull request #42683 from lschuermann/libvmi
libvmi: init at 0.12
2018-07-04 16:44:15 +02:00
R. RyanTM 28817750a7 iperf: 3.5 -> 3.6 (#43002) 2018-07-04 14:40:35 +00:00
Silvan Mosberger afa9f76391
Merge pull request #42824 from Hodapp87/libfive
libfive: init at 2018-07-01
2018-07-04 16:40:27 +02:00
adisbladis 170a156ce2
Merge pull request #42941 from r-ryantm/auto-update/xpra
xpra: 2.3.1 -> 2.3.2
2018-07-04 22:37:59 +08:00
Silvan Mosberger 71a062755f
Merge pull request #42905 from Enzime/add/mfcl2740dw
Add Brother MFC-L2740DW drivers
2018-07-04 16:37:49 +02:00
R. RyanTM 9d460f0051 python27Packages.pyunbound: 1.6.0 -> 1.7.3 (#42952)
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS

- 0 of 0 passed binary check by having a zero exit code.
- 0 of 0 passed binary check by having the new version present in output.
- found 1.7.3 with grep in /nix/store/1m9fiqaz72ry8jkwgw52v3wv1n5pgx0l-pyunbound-1.7.3
- directory tree listing: https://gist.github.com/2a7b7a3d8411e63dec56620537e2d00f
- du listing: https://gist.github.com/82633a34688c0630480a740b7562ac4c
2018-07-04 16:28:02 +02:00
Silvan Mosberger 0e5f5125d4
Merge pull request #43010 from roberth/update-p4v-sha256
p4v: update sha256
2018-07-04 16:11:14 +02:00
adisbladis 33b1b12cd8
firefox-beta-bin: 62.0b4 -> 62.0b5 2018-07-04 22:07:53 +08:00
adisbladis 161e1aca70
firefox-devedition-bin: 62.0b4 -> 62.0b5 2018-07-04 22:07:41 +08:00
Orivej Desh c4edb10662 wcc: init unstable at 2018-04-05 2018-07-04 12:57:11 +00:00
Silvan Mosberger fac943fc81
Merge pull request #42897 from fragamus/master
add bliss package
2018-07-04 13:59:41 +02:00
catern eb8e68b41b pythonPackages.python-prctl: init at 1.7 (#42353) 2018-07-04 11:54:00 +00:00
Peter Simons 46c9669878
Merge pull request #43016 from NixOS/revert-41420-haskell-strict-deps
Revert "haskell generic-builder: Use strictDeps always"
2018-07-04 13:36:33 +02:00
Michael Gough e3ea685957 bliss: init at 0.73 2018-07-04 11:33:10 +00:00
Richard Marko 91575dd285 pps-tools: init at 1.0.2, enable for chrony, gpsd, ntp (#42889) 2018-07-04 11:28:07 +00:00
Peter Simons 6e07a3a19a
Revert "haskell generic-builder: Use strictDeps always" 2018-07-04 13:18:21 +02:00
Maximilian Bosch 7703bd9edb
pythonPackages.keyutils: fix build
Fixes the Hydra CI build of `python{3,2}Packages.keyutils` on `nixpkgs.`
This patch changes the source retrieval to fetchFromGitHub as the PYPI
tarball doesn't come with tests for the check phase.
2018-07-04 13:09:40 +02:00
Silvan Mosberger 45f8c2ac29
Merge pull request #42855 from Infinisil/idris-gcc
Idris: Wrap with IDRIS_CC
2018-07-04 12:49:59 +02:00
Michael Hoang 6b2bdc36f8 mfcl2740dwcupswrapper: init at 3.2.0-1
CUPS wrapper for Brother MFC-L2740DW
2018-07-04 19:43:23 +10:00
Michael Hoang cc7fba1ce3 mfcl2740dwlpr: init at 3.2.0-1
Brother MFC-L2740DW lpr driver
2018-07-04 19:43:02 +10:00
Michael Raskin c3b294855f
Merge pull request #43004 from r-ryantm/auto-update/apache-jena-fuseki
apache-jena-fuseki: 3.7.0 -> 3.8.0
2018-07-04 08:55:30 +00:00
R. RyanTM 4395124b0c rtv: 1.22.1 -> 1.23.0 (#42960)
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS
- /nix/store/dwraqsqfsm0m4qvl5wlqhmnb54wpxwkc-rtv-1.23.0/bin/.rtv-wrapped passed the binary check.
- /nix/store/dwraqsqfsm0m4qvl5wlqhmnb54wpxwkc-rtv-1.23.0/bin/rtv passed the binary check.
- 2 of 2 passed binary check by having a zero exit code.
- 2 of 2 passed binary check by having the new version present in output.
- found 1.23.0 with grep in /nix/store/dwraqsqfsm0m4qvl5wlqhmnb54wpxwkc-rtv-1.23.0
- directory tree listing: https://gist.github.com/8c64789a90d08be3073dbc8eac48d879
- du listing: https://gist.github.com/f267d185b2f0ddae8c300012c670bc9e
2018-07-04 10:44:47 +02:00
R. RyanTM 14ccede479 feh: 2.26.4 -> 2.27 (#43007)
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS
- /nix/store/nwnygmha0i26zszsz6vjk4f4kyjx7qxq-feh-2.27/bin/feh passed the binary check.
- /nix/store/nwnygmha0i26zszsz6vjk4f4kyjx7qxq-feh-2.27/bin/.feh-wrapped passed the binary check.
- 2 of 2 passed binary check by having a zero exit code.
- 0 of 2 passed binary check by having the new version present in output.
- found 2.27 with grep in /nix/store/nwnygmha0i26zszsz6vjk4f4kyjx7qxq-feh-2.27
- directory tree listing: https://gist.github.com/e18bcf94ab62852f0967389e4d102bd7
- du listing: https://gist.github.com/c252a1ef6aa364f8139ab9a63911130a
2018-07-04 10:42:09 +02:00
R. RyanTM 69bf36c4d9 flatpak: 0.99.1 -> 0.99.2
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS
- Warning: no invocation of /nix/store/2ig3b399yp3nlnhfyrv6yypyaf7x7rk3-flatpak-0.99.2/bin/flatpak-bisect had a zero exit code or showed the expected version
- /nix/store/2ig3b399yp3nlnhfyrv6yypyaf7x7rk3-flatpak-0.99.2/bin/flatpak-coredumpctl passed the binary check.
- /nix/store/2ig3b399yp3nlnhfyrv6yypyaf7x7rk3-flatpak-0.99.2/bin/.flatpak-wrapped passed the binary check.
- /nix/store/2ig3b399yp3nlnhfyrv6yypyaf7x7rk3-flatpak-0.99.2/bin/flatpak passed the binary check.
- 3 of 4 passed binary check by having a zero exit code.
- 2 of 4 passed binary check by having the new version present in output.
- found 0.99.2 with grep in /nix/store/2ig3b399yp3nlnhfyrv6yypyaf7x7rk3-flatpak-0.99.2
- directory tree listing: https://gist.github.com/4cd5330783ac4dc304e7ceba12395ba0
- du listing: https://gist.github.com/81060efb0965f7e05ba54655bce0f2ca
2018-07-04 01:36:59 -07:00
R. RyanTM 3d5bdd3570 grisbi: 1.0.2 -> 1.0.4
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS
- Warning: no invocation of /nix/store/d57ny55jq154x7iv786w0c7hxsddnvf7-grisbi-1.0.4/bin/grisbi had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/d57ny55jq154x7iv786w0c7hxsddnvf7-grisbi-1.0.4/bin/.grisbi-wrapped had a zero exit code or showed the expected version
- 0 of 2 passed binary check by having a zero exit code.
- 0 of 2 passed binary check by having the new version present in output.
- found 1.0.4 with grep in /nix/store/d57ny55jq154x7iv786w0c7hxsddnvf7-grisbi-1.0.4
- directory tree listing: https://gist.github.com/88cf58691f673a3bb235fbe5a74e830e
- du listing: https://gist.github.com/56e8df132720715c41cd5f30253080d8
2018-07-04 01:22:12 -07:00
Robert Hensing 02ee6b85fe p4v: update sha256 2018-07-04 10:21:45 +02:00
Leon Schuermann e6d5e95647 libvmi: Remove unnecessary dependencies 2018-07-04 09:20:28 +01:00
Robert Schütz e5ad827f78 python.pkgs.asyncssh: 1.13.1 -> 1.13.2 2018-07-04 10:11:52 +02:00
R. RyanTM 1140e3120c grib-api: 1.26.1 -> 1.27.0
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_keys had a zero exit code or showed the expected version
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_histogram passed the binary check.
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_error had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_add had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/big2gribex had a zero exit code or showed the expected version
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_debug passed the binary check.
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_info passed the binary check.
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_filter passed the binary check.
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_ls passed the binary check.
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_dump passed the binary check.
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib2ppm passed the binary check.
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_set passed the binary check.
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_get passed the binary check.
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_get_data passed the binary check.
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_copy passed the binary check.
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_repair had a zero exit code or showed the expected version
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_packing passed the binary check.
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_cmp had a zero exit code or showed the expected version
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_convert passed the binary check.
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_distance had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_corruption_check had a zero exit code or showed the expected version
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_compare passed the binary check.
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_parser had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_count had a zero exit code or showed the expected version
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_index_build passed the binary check.
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/gg_sub_area_check had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_moments had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_to_json had a zero exit code or showed the expected version
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_to_netcdf passed the binary check.
- /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib_list_keys passed the binary check.
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/tigge_check had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/tigge_name had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/tigge_accumulations had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/tigge_split had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0/bin/grib1to2 had a zero exit code or showed the expected version
- 16 of 35 passed binary check by having a zero exit code.
- 12 of 35 passed binary check by having the new version present in output.
- found 1.27.0 with grep in /nix/store/r53ihy5m6ckhm98bm7bnwdpdj59r7qs0-grib-api-1.27.0
- directory tree listing: https://gist.github.com/e6dee35a40cc23e8f92ab31e61d97635
- du listing: https://gist.github.com/09b91902bb419c1eb0f13bbc8e6a9ac0
2018-07-04 00:59:09 -07:00
Eelco Dolstra f11f7c1fc0
Merge pull request #43005 from r-ryantm/auto-update/harfbuzz-icu
harfbuzz-icu: 1.8.0 -> 1.8.1
2018-07-04 09:46:13 +02:00
R. RyanTM b30a745d21 harfbuzz-icu: 1.8.0 -> 1.8.1
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

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

These checks were done:

- built on NixOS

- 0 of 0 passed binary check by having a zero exit code.
- 0 of 0 passed binary check by having the new version present in output.
- found 1.8.1 with grep in /nix/store/419wp0z2096xs6kp9zlj20hys61clnay-harfbuzz-icu-1.8.1
- directory tree listing: https://gist.github.com/e7c8b4aebf0715a6aee75d6fe6d3e8e1
- du listing: https://gist.github.com/ff39237157e9c975f8c6d8a66326c6b7
2018-07-04 00:22:11 -07:00