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>
The Tor Browser Bundle is free software under various licenses:
> Can I distribute Tor?
>
> Yes.
>
> The Tor software is free software. This means we give you the rights
> to redistribute the Tor software, either modified or unmodified,
> either for a fee or gratis. You don't have to ask us for specific
> permission.
>
> However, if you want to redistribute the Tor software you must follow
> our LICENSE. Essentially this means that you need to include our
> LICENSE file along with whatever part of the Tor software you're
> distributing.
>
> Most people who ask us this question don't want to distribute just the
> Tor software, though. They want to distribute the Tor Browser. This
> includes Firefox Extended Support Release, and the NoScript and
> HTTPS-Everywhere extensions. You will need to follow the license for
> those programs as well. Both of those Firefox extensions are
> distributed under the GNU General Public License, while Firefox ESR is
> released under the Mozilla Public License. The simplest way to obey
> their licenses is to include the source code for these programs
> everywhere you include the bundles themselves.
(https://www.torproject.org/docs/faq.html.en#DistributingTor)
tor-browser-bundle-bin is already marked as licenses.free, so it doesn't
really make sense that this one is marked as unfree.
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/ephemeralpg/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/xx8s6cx068zvag43h4aimx5bmfrjbdim-ephemeralpg-2.5/bin/pg_tmp had a zero exit code or showed the expected version
- /nix/store/xx8s6cx068zvag43h4aimx5bmfrjbdim-ephemeralpg-2.5/bin/getsocket passed the binary check.
- Warning: no invocation of /nix/store/xx8s6cx068zvag43h4aimx5bmfrjbdim-ephemeralpg-2.5/bin/.pg_tmp-wrapped had a zero exit code or showed the expected version
- 1 of 3 passed binary check by having a zero exit code.
- 0 of 3 passed binary check by having the new version present in output.
- found 2.5 with grep in /nix/store/xx8s6cx068zvag43h4aimx5bmfrjbdim-ephemeralpg-2.5
- directory tree listing: https://gist.github.com/ef7c65928ca73f639338d8dd6d45f9aa
- du listing: https://gist.github.com/74d9b22fa087781cb35087ad48fefaa3
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/scantailor-advanced/versions.
Version release notes (from GitHub)
*Note: x32 version supports Windows XP.*
Changelog:
* Implemented the [guides feature](https://github.com/4lex4/scantailor-advanced#guides).
* Change the way of the adjustment of the despeckle strength.
Now that's set via the slider. It allows to adjust the despeckle strength more smoothly and exactly. Value 1.0 matches the old cautious mode, 2.0 - normal and 3.0 - aggressive.
* Improve and return [black on white detection feature](https://github.com/4lex4/scantailor-advanced#black-on-white-detection).
* Added native color scheme and made various fixes and improvements on the Dark and Light schemes.
* Improvements on the thumbnails view:
* Saving selection of pages on filter switch.
* Separate highlighting for selection leader in thumbnails.
* Navigating between selected pages. Use **`Shift+PgUp/Q`** and **`Shift+PgDown/W`** to navigate between selected pages.
* More accurate multi-column list handling *(Author: Alexander Trufanov)*.
* Scaling thumbnails via **`Alt+Wheel`** *(Author: Alexander Trufanov)*.
* Added options in the settings to manage the quality and size of thumbnails.
* Added order by completeness sort on the output stage.
Moving incompleted pages to the end allows to process them in batch mode without processing the completed pages.
* Improved the lasso mode on zone creation.
Also the hotkey is changed to **`Shift+Alt+LMB`** due to the old combination did not work on Linux.
* Added fill offcut option at the output stage.
* Now split layers are removed if the color mode was changed to any except mixed.
* Fixed portability issues and added CPack packaging support. [(More info)](f68c459e69)
* Fixed blink of the image view on Windows.
* Other fixes and improvements.</details>
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/kzpf34q5hwcqg4kkshcy500pza27qmv7-scantailor-advanced-1.0.15/bin/scantailor had a zero exit code or showed the expected version
- 0 of 1 passed binary check by having a zero exit code.
- 0 of 1 passed binary check by having the new version present in output.
- found 1.0.15 with grep in /nix/store/kzpf34q5hwcqg4kkshcy500pza27qmv7-scantailor-advanced-1.0.15
- directory tree listing: https://gist.github.com/c96081fbc93cb6843d76a19ec6139c10
- du listing: https://gist.github.com/a04cc534b6883f69c54c23ada5c8df2f
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/musescore/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/2v80cx15ym38qn868pcqvz0cqs3whw66-musescore-2.3/bin/musescore had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/2v80cx15ym38qn868pcqvz0cqs3whw66-musescore-2.3/bin/mscore 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 2.3 with grep in /nix/store/2v80cx15ym38qn868pcqvz0cqs3whw66-musescore-2.3
- directory tree listing: https://gist.github.com/304584c69aaf2dab752afab6be611a00
- du listing: https://gist.github.com/e865dcb576e0494795fa4676b35a241c
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/nomacs/versions.
Version release notes (from GitHub):
- anti-aliasing improved
- printing improved
- print multiple pages from thumbnail preview
- animiated WebP support
- JPG compressed TIFFs supported
- batch cropping added
- PSD lib updated
- new translations: Bosnian, Croation, and Serbian
- Updates (Windows)
- Qt 5.9.3 -> 5.11.0
- OpenCV 3.3.1 -> 3.4.1
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/q71m1n5mjk79cas4z1f27hf7z529i3i1-nomacs-3.10.0/bin/nomacs had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/q71m1n5mjk79cas4z1f27hf7z529i3i1-nomacs-3.10.0/bin/.nomacs-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 3.10.0 with grep in /nix/store/q71m1n5mjk79cas4z1f27hf7z529i3i1-nomacs-3.10.0
- directory tree listing: https://gist.github.com/14846463d97d16523c214bc8bd8979fe
- du listing: https://gist.github.com/51e595d9a157c9038cf94e72d01952c5
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/xawtv/versions.
These checks were done:
- built on NixOS
- /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/dump-mixers passed the binary check.
- /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/record passed the binary check.
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/showriff had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/showqt had a zero exit code or showed the expected version
- /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/streamer passed the binary check.
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/webcam had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/ttv had a zero exit code or showed the expected version
- /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/radio passed the binary check.
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/fbtv had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/v4l-info had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/v4l-conf had a zero exit code or showed the expected version
- /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/ntsc-cc passed the binary check.
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/v4lctl had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/propwatch had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/xawtv-remote had a zero exit code or showed the expected version
- /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/rootv passed the binary check.
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/xawtv had a zero exit code or showed the expected version
- Warning: no invocation of /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/pia had a zero exit code or showed the expected version
- /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105/bin/subtitles passed the binary check.
- 7 of 19 passed binary check by having a zero exit code.
- 0 of 19 passed binary check by having the new version present in output.
- found 3.105 with grep in /nix/store/838xpckarxg6ran25h7pcvshcpypnlpp-xawtv-3.105
- directory tree listing: https://gist.github.com/7c238e8d1ae9a5f2d37671aec9de9e14
- du listing: https://gist.github.com/0f4cfe62d77dd008d93b8ceff46d9b36
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/cherrytree/versions.
These checks were done:
- built on NixOS
- /nix/store/ldddgcpac0rvfnn1f06dgscaqws2rv9k-cherrytree-0.38.5/bin/.cherrytree-wrapped passed the binary check.
- /nix/store/ldddgcpac0rvfnn1f06dgscaqws2rv9k-cherrytree-0.38.5/bin/cherrytree 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 0.38.5 with grep in /nix/store/ldddgcpac0rvfnn1f06dgscaqws2rv9k-cherrytree-0.38.5
- directory tree listing: https://gist.github.com/21bb973739375865396284be25e432a6
- du listing: https://gist.github.com/da57acfe574b3ee8ff342306c396f8b7
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/jgmenu/versions.
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/qf4jn0vm3jzfvmz4zxbzgvf0nvq2j1j6-jgmenu-1.1/bin/jgmenu had a zero exit code or showed the expected version
- /nix/store/qf4jn0vm3jzfvmz4zxbzgvf0nvq2j1j6-jgmenu-1.1/bin/jgmenu_run 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 1.1 with grep in /nix/store/qf4jn0vm3jzfvmz4zxbzgvf0nvq2j1j6-jgmenu-1.1
- directory tree listing: https://gist.github.com/63c8b0cfc6fa34baec9ef244ed1e3923
- du listing: https://gist.github.com/9ca804f2e9dbbb7f43c5e19c17b2b2c5
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/singularity/versions.
<details><summary>Version release notes (from GitHub)</summary>
Greetings Singularity containerizers!
This release contains fixes for a _high severity_ security issue affecting Singularity 2.3.0 through 2.5.1 on kernels that support overlay file systems (CVE-2018-12021). A malicious user with network access to the host system (e.g. ssh) could exploit this vulnerability to access sensitive information on disk and bypass directory image restrictions like those preventing the root file system from being mounted into the container.
Singularity 2.5.2 should be installed immediately, and all previous versions of Singularity should be removed. The vulnerability addressed in this release affects kernels that support overlayfs. If you are unable to upgrade immediately, you should set `enable overlay = no` in `singularity.conf`.
In addition, this release contains a large number of bug fixes. Details follow:
## [Security related fixes](https://cve.mitre.org/cgi-bin/cvename.cgi?name=2018-12021)
- Removed the option to use overlay images with `singularity mount`. This
flaw could allow a malicious user accessing the host system to access
sensitive information when coupled with persistent ext3 overlay.
- Fixed a race condition that might allow a malicious user to bypass directory
image restrictions, like mounting the host root filesystem as a container
image
## Bug fixes
- Fix an error in malloc allocation #1620
- Honor debug flag when pulling from docker hub #1556
- Fix a bug with passwd abort #1580
- Allow user to override singularity.conf "mount home = no" with --home option
#1496
- Improve debugging output #1535
- Fix some bugs in bind mounting #1525
- Define PR_(S|G)ET_NO_NEW_PRIVS in user space so that these features will
work with kernels that implement them (like Cray systems) #1506
- Create /dev/fd and standard streams symlinks in /dev when using minimal dev
mount or when specifying -c/-C/--contain option #1420
- Fixed * expansion during app runscript creation #1486
As always, please report any bugs to:
https://github.com/singularityware/singularity/issues/new</details>
These checks were done:
- built on NixOS
- /nix/store/3igwiqi311c18w13y5r7zrgpcnzylg9l-singularity-2.5.2/bin/singularity passed the binary check.
- Warning: no invocation of /nix/store/3igwiqi311c18w13y5r7zrgpcnzylg9l-singularity-2.5.2/bin/run-singularity had a zero exit code or showed the expected version
- 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 2.5.2 with grep in /nix/store/3igwiqi311c18w13y5r7zrgpcnzylg9l-singularity-2.5.2
- directory tree listing: https://gist.github.com/ed6db09ad43a19c6abf2d35d15ef489c
- du listing: https://gist.github.com/9bd23f4d6ee86a9eb2ba7ec5c986741d
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/texstudio/versions.
Version release notes (from GitHub):
TeXstudio 2.12.10
----------------
- bug fixes
- fix structure view with Qt >5.10
These checks were done:
- built on NixOS
- Warning: no invocation of /nix/store/lpnv7mgqxh4dvngjkda0l04lsqg99ad0-texstudio-2.12.10/bin/texstudio had a zero exit code or showed the expected version
- 0 of 1 passed binary check by having a zero exit code.
- 0 of 1 passed binary check by having the new version present in output.
- found 2.12.10 with grep in /nix/store/lpnv7mgqxh4dvngjkda0l04lsqg99ad0-texstudio-2.12.10
- directory tree listing: https://gist.github.com/30bd87321ac5fe523c2a1eb759af22c9
- du listing: https://gist.github.com/04363c828381c5273c6c80caa9b552f4
