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
R. RyanTM
Will Dietz
Peter Hoeg
Will Dietz
Alexander Krupenkin
Timo Kaufmann
Austin Seipp
Timo Kaufmann
Pascal Wittmann
Tad Fisher
taku0
xeji
Jörg Thalheim
Jörg Thalheim
goibhniu
Joachim F
Robert Schütz
Frederik Rietdijk
Matthieu Coudron
Silvan Mosberger
volth
Alyssa Ross
Maximilian Bode
Maximilian Bode
Elias Probst
Yuriy Taraday
R. RyanTM
Robert Schütz
Frederik Rietdijk
adisbladis
lewo
Matthew Bauer
Anderson Torres
Jens Binkert
Matthew Pickering
Till Höppner
Jan Tojnar
Michael Hoang
worldofpeace
Dan Peebles
Justin Bedo