Luflosi
2cb6af3eac
abc-verifier: 2022.07.27 -> unstable-2022-09-08
2022-10-14 19:27:01 -05:00
Artturi
eb49b683f3
Merge pull request #195661 from wamserma/arg-cleanup-app
...
pkgs.applications: remove unused args
2022-10-15 02:20:29 +03:00
R. Ryantm
2dffc57c88
gtkwave: 3.3.111 -> 3.3.113
2022-10-14 23:53:22 +08:00
R. Ryantm
9765cc81f6
cbmc: 5.67.0 -> 5.68.0
2022-10-14 23:46:21 +08:00
R. Ryantm
211d284b5c
mavproxy: 1.8.56 -> 1.8.57
2022-10-13 16:35:12 +00:00
Sandro
2678c1b034
Merge pull request #193484 from wegank/gpl1-eol
2022-10-12 21:04:31 +02:00
Vincent Laporte
661ee3a269
coq_8_16: use OCaml 4.14
2022-10-12 20:38:44 +02:00
Markus S. Wamser
c9d167f174
pkgs.applications: remove unused args
2022-10-12 16:00:16 +02:00
Stanisław Pitucha
f0e9e476bd
Merge pull request #195453 from evils/kicad
...
kicad: 6.0.7 -> 6.0.8
2022-10-11 22:33:41 +11:00
Guillaume Girol
067b107e95
Merge pull request #194463 from Mrmaxmeier/build-bitwuzla-with-symfpu
...
bitwuzla: build with SymFPU
2022-10-11 11:18:30 +00:00
Evils
77b76b92d8
kicad: 6.0.7 -> 6.0.8
2022-10-11 02:55:55 +02:00
Martin Weinelt
cf7f4393f3
Merge pull request #193494 from NixOS/staging-next
2022-10-11 01:12:59 +02:00
Alexis Praga
2ce78bd571
gatk: add java and python to PATH
...
gatk is actually a python script that starts either the local or spark
.jar file according to a fixed setup.
In the initial commit, neither java nor python were present in PATH.
2022-10-10 23:06:01 +02:00
github-actions[bot]
8972888c55
Merge master into staging-next
2022-10-09 12:01:31 +00:00
Sergei Trofimovich
7c0859b7d5
Merge pull request #194691 from amjoseph-nixpkgs/pr/xlibsWrapper/pcb
...
pcb: use xorg.* packages directly instead of xlibsWrapper
2022-10-09 10:07:29 +01:00
github-actions[bot]
8d6fbd7341
Merge master into staging-next
2022-10-06 12:01:31 +00:00
R. Ryantm
cdfcbf552e
simgrid: 3.31 -> 3.32
2022-10-06 15:54:46 +08:00
Adam Joseph
30b0c8fec9
pcb: use xorg.* packages directly instead of xlibsWrapper
...
As recommended by https://github.com/NixOS/nixpkgs/issues/194054
Built outputs (`x86-linux`) are identical except for the `pcb` binary, which was
manually reviewed with `vbindiff` to confirm that the only differences were
self-$out path references.
2022-10-05 20:07:54 -07:00
github-actions[bot]
939050602c
Merge master into staging-next
2022-10-05 18:07:32 +00:00
R. Ryantm
68a8e9aa62
jmol: 14.32.75 -> 14.32.76
2022-10-05 04:43:26 +00:00
Martin Weinelt
253ca4957d
Merge remote-tracking branch 'origin/master' into staging-next
2022-10-05 00:44:16 +02:00
Mrmaxmeier
18663fd1c1
bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03
...
We're dropping -DUSE_SYMFPU because the new Bitwuzla version has a hard
requirement on SymFPU.
2022-10-04 18:14:31 +00:00
Mrmaxmeier
69e6f91ed1
bitwuzla: build with SymFPU
2022-10-04 18:14:26 +00:00
markuskowa
c17f8f9e76
Merge pull request #194421 from sheepforce/avogadro2
...
avogadro2: 1.95.1 -> 1.97.0
2022-10-04 17:09:20 +02:00
Phillip Seeber
b070c222d1
avogadro2: 1.95.1 -> 1.97.0
2022-10-04 16:34:10 +02:00
Phillip Seeber
c75b4ee2f0
cp2k: 9.1.0 -> 2022.2
2022-10-04 15:42:45 +02:00
Sandro
83928b1d5e
Merge pull request #193165 from pmiddend/crystfel-wrap-program-fix
...
crystfel-headless: fix wrapProgram dependency
2022-10-04 10:44:48 +02:00
R. Ryantm
052662fab4
librepcb: 0.1.6 -> 0.1.7
2022-10-03 16:29:32 -05:00
Sandro
718d7b8540
Merge pull request #192277 from swflint/add-readstat-pyreadstat
2022-10-03 23:01:07 +02:00
Samuel W. Flint
35d5dd7989
readstat: init at 1.1.8
...
The readstat package allows for reading and manipulating
SAS/Stata/SPSS data files. This can be useful for interacting and
interoperating with datasets distributed in these formats.
2022-10-03 15:11:30 -05:00
Dmitry Kalinkin
846f382e4b
Merge pull request #192660 from samlich/master
...
pymol: use Qt instead of Tk; fixes #192555
2022-10-03 12:45:25 -04:00
R. Ryantm
1085ad554f
verilator: 4.224 -> 4.226
2022-10-03 10:24:21 -05:00
github-actions[bot]
a46be8f23d
Merge master into staging-next
2022-10-03 12:01:27 +00:00
Markus Kowalewski
4d6abfa6b4
octopus: 11.4 -> 12.0
2022-10-03 11:12:28 +02:00
github-actions[bot]
25043f0f28
Merge master into staging-next
2022-10-01 12:01:27 +00:00
Christian Kögler
3bcb621a8d
Merge pull request #191613 from r-ryantm/auto-update/cbmc
...
cbmc: 5.65.1 -> 5.67.0
2022-10-01 09:56:47 +02:00
github-actions[bot]
e1d2f74dee
Merge master into staging-next
2022-09-30 18:03:29 +00:00
José Romildo Malaquias
e78c23cf5b
Merge pull request #193248 from romildo/upd.generic-updater
...
generic-updater: more flexible with name, pname, version and attr path, and cleanups
2022-09-30 09:19:21 -03:00
R. Ryantm
119b1e2fd7
cbmc: 5.65.1 -> 5.67.0
2022-09-30 10:33:04 +00:00
github-actions[bot]
f29cec4450
Merge master into staging-next
2022-09-30 06:22:32 +00:00
Theodore Ni
2d3705b141
root: mark broken on aarch64
2022-09-29 17:06:14 -07:00
github-actions[bot]
9c14978f84
Merge master into staging-next
2022-09-29 12:01:25 +00:00
Weijia Wang
870d6f4a98
licenses: remove gpl1
2022-09-29 10:54:21 +02:00
Vladimír Čunát
8ba120420f
Merge #191339 : staging-next 2022-09-15
2022-09-29 09:16:47 +02:00
Sandro
6a01ce12ff
Merge pull request #188718 from wegank/pagsuite-init
2022-09-29 00:40:20 +02:00
github-actions[bot]
f18d801779
Merge staging-next into staging
2022-09-28 18:05:53 +00:00
Weijia Wang
428cdfb609
pagsuite: init at 1.80
2022-09-28 19:51:05 +02:00
Martin Weinelt
7da8d25d87
Merge remote-tracking branch 'origin/master' into staging-next
2022-09-28 17:15:11 +02:00
Vladimír Čunát
7ddee326c2
gromacs*: fixup paths in .pc files
2022-09-28 16:48:34 +02:00
polygon
5700835116
siril: 1.0.3 -> 1.0.5
2022-09-28 09:37:11 -05:00
