| Commit message (Collapse) | Author | Age |
|---|
| ... | |
| |\ \ \ \ \ \ \ \
| |_|_|_|/ / / /
|/| | | | | | | |
mavproxy: 1.8.66 -> 1.8.70
|
| | |/ / / / / / |
|
| |\ \ \ \ \ \ \
| | | | | | | |
| | | | | | | | |
clingcon: 5.2.0 -> 5.2.1
|
| | | | | | | | | |
|
| |\ \ \ \ \ \ \ \
| | | | | | | | |
| | | | | | | | | |
magic-vlsi: 8.3.460 -> 8.3.463
|
| | | | | | | | | | |
|
| | | | | | | | | | |
|
| |/ / / / / / / / |
|
| | | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | | |
Diff: https://github.com/leanprover/lean4/compare/v4.6.0...v4.6.1
Changelog: https://github.com/leanprover/lean4/blob/v4.6.1/RELEASES.md
|
| | | | | | | | | |
|
| |\ \ \ \ \ \ \ \
| | | | | | | | |
| | | | | | | | | |
wxmaxima: 24.02.1 -> 24.02.2
|
| | | |_|_|_|_|_|/
| |/| | | | | | |
|
| |\ \ \ \ \ \ \ \
| | | | | | | | |
| | | | | | | | | |
graphia: 3.2 -> 4.2
|
| | | |_|_|_|_|/ /
| |/| | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | | |
The main change is the build fis against `gcc-13`
https://hydra.nixos.org/build/247540136:
/build/source/source/thirdparty/breakpad/src/client/linux/handler/minidump_descriptor.h:115:3: error: 'uintptr_t' does not name a type
115 | uintptr_t address_within_principal_mapping() const {
| ^~~~~~~~~
Changes:
- https://github.com/graphia-app/graphia/releases/tag/4.0
- https://github.com/graphia-app/graphia/releases/tag/4.1
- https://github.com/graphia-app/graphia/releases/tag/4.2
|
| | |/ / / / / /
|/| | | | | | |
|
| |\ \ \ \ \ \ \
| | | | | | | |
| | | | | | | | |
lean4: 4.5.0 -> 4.6.0
|
| | | |_|_|_|_|/
| |/| | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
Diff: https://github.com/leanprover/lean4/compare/v4.5.0...v4.6.0
Changelog: https://github.com/leanprover/lean4/blob/v4.6.0/RELEASES.md
|
| |\ \ \ \ \ \ \
| |/ / / / / /
|/| | | | | | |
last: 1541 -> 1542
|
| | | | | | | | |
|
| | |_|_|/ / /
|/| | | | | |
|
| |\ \ \ \ \ \
| | | | | | |
| | | | | | | |
sortmerna: fix `gcc-13` build
|
| | | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
Without the change the build on `master` fails as
https://hydra.nixos.org/build/249070958:
In file included from /build/source/src/sortmerna/kseq_load.cpp:38:
/build/source/include/kseq_load.hpp:61:12: error: 'uint64_t' has not been declared
61 | uint64_t number_total_read,
| ^~~~~~~~
|
| |/ / / / / /
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | |
| | | | | | |
THe build fails against `zlib-1.3` in `master` as
https://hydra.nixos.org/build/249158742:
3rdparty/zlib.h:1468:32: error: expected initializer before 'Z_ARG'
1468 | ZEXTERN int ZEXPORTVA gzprintf Z_ARG((gzFile file, const char *format, ...));
| ^~~~~
The upstream repository did not see updates for past 5 years and is
archived. Let's schedule it for removal.
|
| |\ \ \ \ \ \
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | |
| | | | | | | |
fastcdr was moved to by-name
Related to:
- https://github.com/NixOS/nixpkgs/pull/290836
|
| | |\ \ \ \ \ \
| | | | | | | |
| | | | | | | | |
gnucap: move to by-name
|
| | | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | | |
tested gnucap-full still works as well
|
| |\| | | | | | | |
|
| | | | | | | | | |
|
| |\| | | | | | | |
|
| | |\ \ \ \ \ \ \
| | | | | | | | |
| | | | | | | | | |
elan: 3.1.0 -> 3.1.1
|
| | | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | | |
Diff: https://github.com/leanprover/elan/compare/v3.1.0...v3.1.1
Changelog: https://github.com/leanprover/elan/blob/v3.1.1/CHANGELOG.md
|
| |\ \ \ \ \ \ \ \ \
| |/ / / / / / / /
|/| | | | | | | | |
boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.
|
| | |/ / / / / / /
| | | | | | | |
| | | | | | | |
| | | | | | | |
| | | | | | | | |
https://github.com/Boolector/boolector/compare/3.2.2...3.2.3
https://github.com/Boolector/boolector/commit/cc13f371c0c5093d98638ddd213dc835ef3aadf3
|
| |\ \ \ \ \ \ \ \
| | | | | | | | |
| | | | | | | | | |
octopus-caller: fix `gcc-13` build failure (drop `-Werror`)
|
| | | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | | |
Without the change the build on `master` fails as
https://hydra.nixos.org/build/249090788:
/build/source/src/config/option_collation.cpp: In function 'auto octopus::options::make_variant_generator_builder(const OptionMap&, boost::optional<const octopus::ReadSetProfile&>)':
/build/source/src/config/option_collation.cpp:1298: error: redundant move in initialization [-Werror=redundant-move]
1298 | throw ConflictingSourceVariantFile {std::move(source_path), *output_path};
|
Blanket `-Werror` frequently causes build failures unless upstream is
quick at addressing build failures.
|
| |\ \ \ \ \ \ \ \ \
| |_|/ / / / / / /
|/| | | | | | | | |
gromacs: fix CUDA build
|
| | | | | | | | | | |
|
| | | | | | | | | | |
|
| |\ \ \ \ \ \ \ \ \
| | | | | | | | | |
| | | | | | | | | | |
primesieve: 11.2 -> 12.0
|
| | | |/ / / / / / /
| |/| | | | | | | |
|
| |\ \ \ \ \ \ \ \ \
| | | | | | | | | |
| | | | | | | | | | |
strictdoc: refactor
|
| | | |_|/ / / / / /
| |/| | | | | | | |
|
| |\ \ \ \ \ \ \ \ \
| |/ / / / / / / /
|/| | | | | | | | |
geogebra: linked icon to archive.org
|
| | |/ / / / / / / |
|
| |\ \ \ \ \ \ \ \
| | | | | | | | |
| | | | | | | | | |
gnucap: update to 20240130-dev and add gnucap-modelgen-verilog
|
| | | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | | |
Introducing 'withPlugins' infrastructure to gnucap
|
| | | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | |
| | | | | | | | | |
The last full release is so old the upgrade to a development release
seems reasonable: there may be new bugs, but also old bugs have been
fixed. It doesn't seem worth it to support both side-by-side at this
point.
|
| |\ \ \ \ \ \ \ \ \
| |_|_|/ / / / / /
|/| | | | | | | | |
avogadro2: 1.98.1 -> 1.99.0
|
| | | | | | | | | | |
|
| | | | | | | | | | |
|