The Z3 source code is effectively compiled into two completely separate
objects: the z3 binary file, and the libz3.so library -- but the binary is not
linked against the shared library, it simply incorporates all of the object
files. The Z3 code base results in an ~25MB object on x86_64-linux. As a
result, splitting bin/ and lib/ results in a 50% reduction in closure size.
(The include/ directory is also surprisingly large at .5MB...)
This also splits the python API into a completely separate .python attribute,
as well.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
These have been submitted upstream,
but seconds before writing this message
so naturally no upstream response "yet" :).
Regardless of response, fetch patches
from the corresponding PR's for context
and of course hopefully they'll
be included in next version.
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/stellarium/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/stellarium had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1/bin/.stellarium-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 0.18.1 with grep in /nix/store/2c607ylvxs69nbr99ly1bgcb0bbk47xf-stellarium-0.18.1
- directory tree listing: https://gist.github.com/dd98359fb1214ae24bd70e291c1bc33d
- du listing: https://gist.github.com/67baedda5ffc1ad0aa064239cb503c2b
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
Removes the version pinning for arb and pynac by backporting the
upstream (sage) package upgrades. This necessitates a new patch for arb,
which was however already proposed and accepted upstream.
* treewide: http -> https sources
This updates the source urls of all top-level packages from http to
https where possible.
* buildtorrent: fix url and tab -> spaces
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/gromacs/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC had a zero exit code or showed the expected version
- /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC.bash passed the binary check.
- /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC.zsh passed the binary check.
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/GMXRC.csh had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/demux.pl had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/xplor2gmx.pl had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/gmx-completion.bash had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/gmx-completion-gmx.bash had a zero exit code or showed the expected version
- /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2/bin/gmx passed the binary check.
- 3 of 9 passed binary check by having a zero exit code.
- 0 of 9 passed binary check by having the new version present in output.
- found 2018.2 with grep in /nix/store/illh3rp28ipz35z0wipsfc18z4m03sah-gromacs-2018.2
- directory tree listing: https://gist.github.com/1679f0362dfcc7299a6d5b8d9e76c14e
- du listing: https://gist.github.com/2f848bb0fe181676c17b61a9d5a94953
After #28029 it is necessary to add "strictoverflow" to the disabled
hardening flags. That probably has something to do with the `-O3` option
in palps makefile.
This commit also adds a test to check for this regression (as it only
occured at runtime).
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/verilator/versions.
These checks were done:
- built on NixOS
- /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator_bin passed the binary check.
- /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator_bin_dbg passed the binary check.
- /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator_coverage_bin_dbg passed the binary check.
- /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator passed the binary check.
- /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator_coverage passed the binary check.
- Warning: no invocation of /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924/bin/verilator_profcfunc had a zero exit code or showed the expected version
- 5 of 6 passed binary check by having a zero exit code.
- 0 of 6 passed binary check by having the new version present in output.
- found 3.924 with grep in /nix/store/gnmapahqvab762fi885bwhlfhxvpfs81-verilator-3.924
- directory tree listing: https://gist.github.com/eebd214973454154b716fc6a9556b922
- du listing: https://gist.github.com/cb78abec038b5abdae8004ea1edcefc0
This adds a new package: OpenSpace, an open source astrovisualization
project, and one of its dependencies: SOIL (Simple OpenGL Image
Library).
This kind of works for me, but please note that this build is not very
usable for now. This is a first attempt. Also, Linux doesn't seem to
be well supported upstream, hence the various patches (I will open an
issue upstream to discuss them).
Squashed commits:
openspace: fetch upstream glm "patch"
openspace: add missing dependency (libXxf86vm)
soil: mesa -> mesa_noglu
Bumped to the latest version available.
Also tested the `web.archive.org` backup to avoid broken downloads when
the tarball is removed from the official download mirror.
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/gromacs/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/GMXRC had a zero exit code or showed the expected version
- /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/GMXRC.bash passed the binary check.
- /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/GMXRC.zsh passed the binary check.
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/GMXRC.csh had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/demux.pl had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/xplor2gmx.pl had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/gmx-completion.bash had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/gmx-completion-gmx.bash had a zero exit code or showed the expected version
- /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1/bin/gmx passed the binary check.
- 3 of 9 passed binary check by having a zero exit code.
- 0 of 9 passed binary check by having the new version present in output.
- found 2018.1 with grep in /nix/store/a0ab5ixcsgcj9pzkmysfa46dydbbzsyy-gromacs-2018.1
- directory tree listing: https://gist.github.com/4d089bde03168c17ad10db514f47d339
- du listing: https://gist.github.com/5dd10f02ed60d442ec148efcf18c7661
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/ngspice/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/7mjpw971bh37wil41hin4ssn290wr3ad-ngspice-28/bin/cmpp had a zero exit code or showed the expected version
- /nix/store/7mjpw971bh37wil41hin4ssn290wr3ad-ngspice-28/bin/ngspice passed the binary check.
- 1 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 28 with grep in /nix/store/7mjpw971bh37wil41hin4ssn290wr3ad-ngspice-28
- directory tree listing: https://gist.github.com/890c9d6d1b1aa9e86b2f4c8ddf86a36d
- du listing: https://gist.github.com/099b236d47fee839749355d18a841493
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/gtkwave/versions.
These checks were done:
- built on NixOS
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/evcd2vcd passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/fst2vcd passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vcd2fst passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/fstminer passed the binary check.
- Warning: no invocation of /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/ghwdump had a zero exit code or showed the expected version
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/lxt2miner passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/lxt2vcd passed the binary check.
- Warning: no invocation of /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/shmidcat had a zero exit code or showed the expected version
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vcd2lxt passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vcd2lxt2 passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vcd2vzt passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vzt2vcd passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vztminer passed the binary check.
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/gtkwave passed the binary check.
- Warning: no invocation of /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/twinwave had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/rtlbrowse had a zero exit code or showed the expected version
- /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91/bin/vermin passed the binary check.
- 13 of 17 passed binary check by having a zero exit code.
- 0 of 17 passed binary check by having the new version present in output.
- found 3.3.91 with grep in /nix/store/saxwlbm10w3r18rlj0svnfbrf5crwr4w-gtkwave-3.3.91
- directory tree listing: https://gist.github.com/3ce8b90b2a4e815255bced6a94d99818
- du listing: https://gist.github.com/8571bbab590243bbfadf05271e188f20
Lots of packages are missing versions in their name. This adds them
where appropriate. These were found with this command:
$ nix-env -qa -f. | grep -v '\-[0-9A-Za-z.-_+]*$' | grep -v '^hook$'
See issue #41007.
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/pari/versions.
These checks were done:
- built on NixOS
- /nix/store/18hjz56shfnp00r1pgslfy3zci2wk6m9-pari-2.9.5/bin/gp passed the binary check.
- /nix/store/18hjz56shfnp00r1pgslfy3zci2wk6m9-pari-2.9.5/bin/tex2mail passed the binary check.
- /nix/store/18hjz56shfnp00r1pgslfy3zci2wk6m9-pari-2.9.5/bin/gphelp passed the binary check.
- /nix/store/18hjz56shfnp00r1pgslfy3zci2wk6m9-pari-2.9.5/bin/gp-2.9 passed the binary check.
- 4 of 4 passed binary check by having a zero exit code.
- 0 of 4 passed binary check by having the new version present in output.
- found 2.9.5 with grep in /nix/store/18hjz56shfnp00r1pgslfy3zci2wk6m9-pari-2.9.5
- directory tree listing: https://gist.github.com/63c5da24ace1d863b434a462fc0d0123
- du listing: https://gist.github.com/d275cd2f3b274f52576dbab1bf9ebc9c
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/gtkwave/versions.
These checks were done:
- built on NixOS
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/evcd2vcd passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/fst2vcd passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vcd2fst passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/fstminer passed the binary check.
- Warning: no invocation of /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/ghwdump had a zero exit code or showed the expected version
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/lxt2miner passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/lxt2vcd passed the binary check.
- Warning: no invocation of /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/shmidcat had a zero exit code or showed the expected version
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vcd2lxt passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vcd2lxt2 passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vcd2vzt passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vzt2vcd passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vztminer passed the binary check.
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/gtkwave passed the binary check.
- Warning: no invocation of /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/twinwave had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/rtlbrowse had a zero exit code or showed the expected version
- /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90/bin/vermin passed the binary check.
- 13 of 17 passed binary check by having a zero exit code.
- 0 of 17 passed binary check by having the new version present in output.
- found 3.3.90 with grep in /nix/store/hhpifj7x2j4nr80kiksdhqyfny1hlyvh-gtkwave-3.3.90
- directory tree listing: https://gist.github.com/cf30f5f6dd398a3083156aed84f02f36
- du listing: https://gist.github.com/6d77f0a1fdfe06cfe325c3873fdfd97c
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/nauty/versions.
These checks were done:
- built on NixOS
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/dreadnaut passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/copyg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/listg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/labelg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/dretog passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/amtog passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/geng passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/complg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/showg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/NRswitchg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/biplabg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/addedgeg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/deledgeg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/countg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/pickg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/genrang passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/newedgeg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/catg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/genbg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/directg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/gentreeg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/genquarticg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/ranlabg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/multig passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/planarg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/gentourng passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/linegraphg passed the binary check.
- Warning: no invocation of /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/watercluster2 had a zero exit code or showed the expected version
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/dretodot passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/subdivideg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/vcolg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/delptg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/cubhamg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/twohamg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/hamheuristic passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/converseg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/genspecialg passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/genbgL passed the binary check.
- /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/shortg passed the binary check.
- Warning: no invocation of /nix/store/f2icw60ljw5s4nkj8hlgwxz83szfi1m7-nauty-26r10/bin/configure had a zero exit code or showed the expected version
- 38 of 40 passed binary check by having a zero exit code.
- 0 of 40 passed binary check by having the new version present in output.
- directory tree listing: https://gist.github.com/3bca602211d416ba58097f4f8880b6d0
- du listing: https://gist.github.com/4ac19efe14e18aae8fece0ec1a500bf1
psppire needs to be wrapped so that it will work outside of GNOME
desktop. We provide hicolor-icon-theme & gsettings-desktop-schemas.
Note that at runtime, I still get this error:
- Cannot create a converter for `IBM864' to `UTF-8': Invalid argument
Possibly a locale issue.
Fixes#40558
The package breaks currently breaks with the following message:
```
fixed-output derivation produced path '/nix/store/5dh1mdj027ad8sprk12fqa5h5bpdxs5n-sasview' with sha256 hash '12k1w4yq1mzjxcp2cqb562c7cbwzhi54rsbmgi0fax0i1660q167' instead of the expected hash '05la54wwzzlkhmj8vkr0bvzagyib6z6mgwqbddzjs5y1wd48vpcx'
```
To fix the build the following changes were applied:
* Switched to latest master for now as the older releases have a broken
`py.test` configuration and altering hashes.
* Added `checkPhase` which invokes `py.test` directly and drops
duplicated files from `dist/tmpbuild`.
* Rebased the patches `pyparsing-fix.patch` and `local_config.patch` for
the latest master revision.
Additionally refer to the discussion in #40381 for further reference.
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/lean/versions.
These checks were done:
- built on NixOS
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean -h’ got 0 exit code
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean --help’ got 0 exit code
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/leanpkg help’ got 0 exit code
- found 3.4.1 with grep in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1
- directory tree listing: https://gist.github.com/198504c00746718749b3019653fe78fd
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/paml/versions.
These checks were done:
- built on NixOS
- ran ‘/nix/store/39cfy96430yznv6h3cg7zd8850i6kdl1-paml-4.9h/bin/chi2 -h’ got 0 exit code
- ran ‘/nix/store/39cfy96430yznv6h3cg7zd8850i6kdl1-paml-4.9h/bin/chi2 --help’ got 0 exit code
- ran ‘/nix/store/39cfy96430yznv6h3cg7zd8850i6kdl1-paml-4.9h/bin/chi2 help’ got 0 exit code
- found 4.9h with grep in /nix/store/39cfy96430yznv6h3cg7zd8850i6kdl1-paml-4.9h
- directory tree listing: https://gist.github.com/b2a37e7cd2b4b41178f0698f3aac69e2
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/ott/versions.
These checks were done:
- built on NixOS
- ran ‘/nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28/bin/ott --help’ got 0 exit code
- ran ‘/nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28/bin/ott.opt --help’ got 0 exit code
- found 0.28 with grep in /nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28
- directory tree listing: https://gist.github.com/177f63b8c23bae6301ced29fb0e617c4
Unfortunately, the new version fails its test suite AGAIN when the recommended
packages are not build. Makes one wonder whether maybe we should offer the R
developers CI builds that check this. I've reported the issue upstream, let's
see what happens.
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/cytoscape/versions.
These checks were done:
- built on NixOS
- ran ‘/nix/store/87clhargb10b1aps6nq86k0xz6yqyydz-cytoscape-3.6.1/bin/cytoscape -h’ got 0 exit code
- ran ‘/nix/store/87clhargb10b1aps6nq86k0xz6yqyydz-cytoscape-3.6.1/bin/cytoscape --help’ got 0 exit code
- found 3.6.1 with grep in /nix/store/87clhargb10b1aps6nq86k0xz6yqyydz-cytoscape-3.6.1
- directory tree listing: https://gist.github.com/8bad808238fc034c5394a80d8a5c1554
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/samtools/versions.
These checks were done:
- built on NixOS
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/samtools --help’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/samtools help’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/blast2sam.pl -h’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/blast2sam.pl --help’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/blast2sam.pl help’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/novo2sam.pl help’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/psl2sam.pl -h’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/psl2sam.pl --help’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/psl2sam.pl help’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/soap2sam.pl -h’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/soap2sam.pl --help’ got 0 exit code
- ran ‘/nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8/bin/soap2sam.pl help’ got 0 exit code
- found 1.8 with grep in /nix/store/ip1zr4rg4pwq8f3fs8ar570l0zdicai7-samtools-1.8
- directory tree listing: https://gist.github.com/4673ea3645eb509035dcb386c4ad1da2
