Cyril Cohen
7e589a45ef
coqPackages: etc
...
- use propagatedBuildInputs to make sure ocaml plugin stuff is in path
- updated coqPackage.heq (broken url)
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place
- make metaFetch available from `coqPackages`
2 years ago
Bernardo Meurer
a34b9c1f1c
Merge pull request #172303 from tjni/1password-cli-update
...
_1password: 2.1.0 -> 2.2.0
2 years ago
Bernardo Meurer
b85e7e1e86
Merge pull request #172574 from sumnerevans/element-1.10.12
...
element-{web,desktop}: 1.10.11 -> 1.10.12
2 years ago
Bernardo Meurer
d13f21eb51
Merge pull request #172607 from oxalica/bump/tree-sitter
...
tree-sitter: update grammars to fix nvim-treesitter for vim syntax
2 years ago
R. Ryantm
c02bee786b
python310Packages.ftputil: 5.0.3 -> 5.0.4
2 years ago
R. Ryantm
1c5cd8bb2f
python310Packages.puremagic: 1.12 -> 1.13
2 years ago
tomberek
3fb4aa63b4
Merge pull request #172630 from SuperSandro2000/scikit-bio
...
python310Packages.scikit-bio: 0.5.6 -> 0.5.7
2 years ago
Sandro
f1a9532e00
python310Packages.nose: update homepage ( #172635 )
2 years ago
Sandro
d838e527c3
python310Packages.mapbox: mark broken ( #172627 )
2 years ago
P
dea7e48d74
python3Packages.napalm: disable python 3.9 onwards ( #172643 )
2 years ago
R. Ryantm
f35a9cf967
python310Packages.pglast: 3.9 -> 3.10
2 years ago
Dmitry Bogatov
aa9eb4509c
nginx-doc-unstable: init at 2022-05-05
...
Build documentation of nginx (which is maintained separately from webserver
itself) and make it available both as "nginx-doc" attribute and as "doc" output
of "nginx" derivation.
2 years ago
Dmitry Bogatov
c92ef7a135
nginx: build offline documentation
2 years ago
Robert Schütz
6875230170
python310Packages.rflink: disable failing test
2 years ago
R. Ryantm
3ad11bc20b
python310Packages.eiswarnung: 1.0.0 -> 1.1.0
2 years ago
P. R. d. O
17be6f75ce
python3Packages.monosat: disable failing tests
2 years ago
matthewcroughan
40733622e7
yubihsm-shell: init at 2.3.1
...
Co-authored-by: Jan Tojnar <jtojnar@gmail.com>
Co-authored-by: 06kellyjac <dev@j-k.io>
2 years ago
P. R. d. O
9ee6f67f84
python3Packages.atomman: disable python 3.10, disable failing tests
...
As indicated on a comment, using pytestCheckHook does not work, so disabled tests need to be added
2 years ago
Julien Moutinho
fd2616c92c
public-inbox: unstable-2022-04-05 -> 1.8.0
2 years ago
Julien Moutinho
c646d375d3
nixos/public-inbox: support enabling confinement
...
Add support for enabling confinement
but does not enable it by default yet
because so far no module within NixOS uses confinement
hence that would set a precedent.
2 years ago
Julien Moutinho
8b2b5be3b5
public-inbox: 1.7.0 -> unstable-2022-04-05
2 years ago
Julien Moutinho
6cf2f46995
public-inbox: 1.6.1 -> 1.7.0
2 years ago
Julien Moutinho
0e290442ba
nixos/public-inbox: add tests
2 years ago
Julien Moutinho
8514800c42
nixos/public-inbox: init
2 years ago
Julien Moutinho
9b6223d1fa
public-inbox: 1.2.0 -> 1.6.1
2 years ago
P. R. d. O
8878fa39be
python39Packages.clickgen: 1.1.9 -> 1.2.0, mark as broken on darwin
2 years ago
Sandro
143aa3e88c
Merge pull request #172615 from tjni/fix-cliscord-darwin
...
cliscord: fix build on Darwin
2 years ago
Sandro Jäckel
ad630d5a7f
python310Packages.datatable: mark broken
2 years ago
Sandro
997c1a8379
Merge pull request #172610 from tjni/fix-garage-darwin
...
garage: fix build on Darwin
2 years ago
Sandro
324a5be95c
Merge pull request #172580 from collares/singular-osx
...
singular: fix darwin build
2 years ago
Sandro Jäckel
ff6e3bbcd8
python310Packages.scikit-bio: 0.5.6 -> 0.5.7
2 years ago
Robert Schütz
4af1709959
bubblewrap: 0.6.1 -> 0.6.2
...
https://github.com/containers/bubblewrap/releases/tag/v0.6.2
2 years ago
Artturi
99161fd5e0
Merge pull request #170140 from armeenm/xtreemfs-python3
...
xtreemfs: switch to python3
2 years ago
Dmitry Bogatov
bad52402a5
python3.pkgs.sphinx-better-theme: init at 0.1.5 ( #171595 )
...
* python3.pkgs.sphinx-better-theme: init at 0.1.5
* Update pkgs/development/python-modules/sphinx-better-theme/default.nix
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
* Update pkgs/development/python-modules/sphinx-better-theme/default.nix
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
Co-authored-by: Dmitry Bogatov <git#v1@kaction.cc>
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2 years ago
zowoq
98a2e49dd1
runc: 1.1.1 -> 1.1.2
...
https://github.com/opencontainers/runc/releases/tag/v1.1.2
2 years ago
Sandro Jäckel
d6d8e9dba7
python310Packages.chainer: fix tests with new pytest warnings, little cleanup
2 years ago
Artturi
434643eee7
Merge pull request #170771 from ilpianista/3llo
...
3llo: 0.3.0 -> 1.3.1
2 years ago
Robert Schütz
b053f97b3d
python3Packages.notify-py: fix tests
...
Previously tests failed on Linux with
Cannot spawn a message bus without a machine-id
2 years ago
Martin Weinelt
f53bffda16
Merge pull request #160980 from squalus/librewolf-dir
2 years ago
Artturi
c7b10b6df9
Merge pull request #172131 from euank/ena-2.7.1
...
ena: 2.5.0 -> 2.7.1 & nixos/amazon-image: default to 5.15 kernel
2 years ago
Hubert Jasudowicz
9bbc9ca76f
python3Packages.karton-core: 4.4.0 -> 4.4.1
2 years ago
Artturi
f324030ab6
Merge pull request #172410 from sikmir/crow-translate
...
crow-translate: 2.9.2 → 2.9.5
2 years ago
Sandro
4c3bcf7f4d
Merge pull request #168350 from dotlambda/graphviz-0.9.8
...
python3Packages.graphviz: 0.19.1 -> 0.20
2 years ago
Sandro
f6b1a4e6db
Merge pull request #172565 from qowoz/shfmt
...
shfmt: 3.4.3 -> 3.5.0
2 years ago
Sandro
e075a0f0d0
Merge pull request #171847 from LibreCybernetics/update-metals
...
metals: 0.11.4 → 0.11.5
2 years ago
Thomas Tuegel
ece15f4fcc
Merge pull request #172604 from poelzi/master
...
kgpg: update description to reflect gnupg
2 years ago
Theodore Ni
b1e6ccc862
cliscord: fix build on Darwin
...
Security needs to be added as a buildInput.
2 years ago
P. R. d. O
2fb4326ff6
python39Packages.clickgen: 1.1.9 -> 1.2.0, mark as broken on darwin
2 years ago
techknowlogick
419f74cba7
vault-bin: 1.10.2 -> 1.10.3
2 years ago
Sandro
2fbc5d5085
Merge pull request #143912 from ShamrockLee/gtkd
...
gtkd: 3.9.0 -> 3.10.0 and add possibility to use different D compilers
2 years ago