Commit graph

6656 commits

Author SHA1 Message Date
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