71f10994f2
simh: add -fcommon workaround
...
Without the change -fno-common toolchains like upstream gcc-10
or clang-11+ fail to build simh as:
$ nix build --impure --expr 'with import ~/nm {}; simh.override { stdenv = clang13Stdenv; }'
...
ld: /build/pdp11_io-0c74f0.o:(.bss+0x10c00):
multiple definition of `uc15_memsize'; /build/pdp11_cis-17339e.o:(.bss+0x118): first defined here
ld: /build/pdp11_io_lib-296a06.o:(.bss+0x8000):
multiple definition of `uc15_memsize'; /build/pdp11_cis-17339e.o:(.bss+0x118): first defined here
2 years ago
a7241ea207
coq: default to 8.15
2 years ago
38dc75293d
coqPackages.mathcomp-tarjan: enable with Coq 8.15
2 years ago
a1cb58e4cf
coqPackages.semantics: enable with Coq 8.15
2 years ago
7711b57784
coqPackages.smpl: init at 8.14 & 8.15
2 years ago
e34f56ce98
coqPackages.itauto: init at 8.14.0 & 8.15.0
2 years ago
f393892bb3
coqPackages.smtcoq: disable for Coq > 8.13
2 years ago
e9d3fe8f28
coqPackages.goedel: enable with Coq 8.15
2 years ago
4847e4382c
coqPackages.category-theory: enable with Coq 8.15
2 years ago
d317484de1
coqPackages.graph-theory: enable for Coq 8.15
2 years ago
94c97dfa94
coqPackages.QuickChick: 1.5.0 → 1.6.2
2 years ago
98912aaadf
python3Packages.async-lru: unstable-2022-02-03 -> 1.0.3
2 years ago
1532844bcf
facetimehd-calibration: add alexshpilkin as maintainer
2 years ago
60ad3e3bb1
python310Packages.yte: 1.2.2 -> 1.2.3
2 years ago
d91435f85b
maintainers: add alexshpilkin
2 years ago
9032f6d99b
Merge pull request #171885 from marsam/update-hstr
...
hstr: 2.3 -> 2.5
2 years ago
77b0530b3c
Merge pull request #171879 from SuperSandro2000/python-magic
...
python310Packages.python-magic: normalise attr
2 years ago
1b7407f8a1
python310Packages.mypy-boto3-s3: 1.22.6 -> 1.22.8
2 years ago
c489ec67bf
python310Packages.trimesh: 3.11.2 -> 3.12.0
2 years ago
7ea1fa0205
Merge pull request #171894 from xrelkd/update/brook
...
brook: 20220406 -> 20220501
2 years ago
fc2f45ea6b
Merge pull request #171897 from xrelkd/update/eksctl
...
eksctl: 0.95.0 -> 0.96.0
2 years ago
9ea6a27c1a
Merge pull request #171899 from OliverEvans96/rust-analyzer-change-owner
...
rust-analyzer: Update repo owner
2 years ago
78b446e0aa
python310Packages.hahomematic: 1.2.2 -> 1.3.0
2 years ago
4655bf1cf4
rust-analyzer: Update repo owner
...
Project recently moved from github:rust-analyzer/rust-analyzer
to github:rust-lang/rust-analyzer.
See discussion in https://github.com/NixOS/nixpkgs/pull/171464 .
2 years ago
18c3377993
ffmpeg-normalize: 1.22.10 -> 1.23.0
2 years ago
9669d16f9a
taplo-cli: 0.6.1 -> 0.6.2
2 years ago
20ec825c44
eksctl: 0.95.0 -> 0.96.0
2 years ago
4bdef23d6a
cargo-expand: 1.0.16 -> 1.0.19
2 years ago
bd037e7f3a
brook: 20220406 -> 20220501
2 years ago
1069f1d1a7
python310Packages.xmltodict: adopt
2 years ago
c70641c8d9
rhythmbox: 3.4.4 → 3.4.5
...
https://gitlab.gnome.org/GNOME/rhythmbox/-/compare/v3.4.4...v3.4.5
- Switched to Meson, which enabled all features by default.
2 years ago
90fe3b144b
babashka: 0.8.1 -> 0.8.2
2 years ago
57bce154f5
sqlfluff: 0.13.0 -> 0.13.1
2 years ago
9674b8dbb9
Merge pull request #171872 from mweinelt/home-assistant
2 years ago
8679c785ac
caddy: 2.5.0 -> 2.5.1
2 years ago
1aac75dc94
Merge pull request #171774 from r-ryantm/auto-update/python3.10-proglog
...
python310Packages.proglog: 0.1.9 -> 0.1.10
2 years ago
5dde16145c
libuv: enable on windows ( #171818 )
2 years ago
661cdae1b9
python310Packages.python-magic: add SuperSandro2000 as maintainer
2 years ago
115475ff5b
python310Packages.python-magic: normalise attr
2 years ago
4c4133e86d
Merge pull request #170726 from WolfangAukang/protonvpn-cli-legacy
2 years ago
72565373a4
Merge pull request #170912 from Baughn/master
2 years ago
b59c0841ff
Merge pull request #169175 from sikmir/vis
...
vis: add tre to buildInputs
2 years ago
4dbc054800
Merge pull request #171292 from malob/update-signalbackup-tools
...
signalbackup-tools: 20220425 -> 20220430
2 years ago
4afcdf8271
taplo-cli: 0.5.0 -> 0.6.1
...
https://github.com/tamasfe/taplo/releases/tag/release-cli-0.6.1
2 years ago
40d62b1611
libdeltachat: 1.79.0 -> 1.80.0
...
https://github.com/deltachat/deltachat-core-rust/blob/1.80.0/CHANGELOG.md
2 years ago
6bdb6ee004
Merge pull request #171834 (charm update)
...
I was approached by @muesli and the nixpkgs maintainer @penguwin about
it and given that basic ofborg checks are successful plus thei're the
upstream authors and the change in nixpkgs is minor I hereby decrided to
merge it despite being not involved in this nor being an expert about
the software in question.
2 years ago
da51b0c1b3
Merge pull request #171811 from Kranzes/nc
...
nextcloud-client: Revert "nextcloud-client: remove inkscape from runtime closure"
2 years ago
5f979ef4b9
home-assistant: 2022.5.1 -> 2022.5.2
...
https://github.com/home-assistant/core/releases/tag/2022.5.2
2 years ago
f0bb39d4b7
Merge pull request #167327 from lheckemann/networkd-usedhcp
...
nixos/networkd: reimplement useDHCP in a sensible way
2 years ago
7a9c50e011
Merge pull request #171868 from helsinki-systems/feat/cidrgrep
...
cidrgrep: Init at unstable-2020-11-17
2 years ago
Sergei Trofimovich