Dilip
|
401be824b2
|
pspp: 1.4.1 -> 1.6.2
Note: needs ssw >= 0.7
|
2023-07-25 11:08:27 +05:30 |
|
github-actions[bot]
|
4e9dcbbbc6
|
Merge master into staging-next
|
2023-06-26 18:01:29 +00:00 |
|
Janik
|
a2f36b2963
|
Merge pull request #231149 from mgregson/tlaplus-remove-unnecessary-jdk-dependency
|
2023-06-26 18:15:28 +02:00 |
|
github-actions[bot]
|
f04cfae48a
|
Merge master into staging-next
|
2023-06-26 12:01:27 +00:00 |
|
Mario Rodas
|
e0e4c97cd1
|
Merge pull request #239623 from marsam/update-z3
z3: 4.11.0 -> 4.11.2, 4.12.1 -> 4.12.2
|
2023-06-26 05:16:37 -05:00 |
|
Vladimír Čunát
|
24711148d4
|
openmvg: fixup build
The build broke probably after cmake upgrade in b8ac5b6cfb ,
but either way - this forcing of old C++ standard seemed bad.
https://hydra.nixos.org/build/225241222/nixlog/2/tail
|
2023-06-26 11:28:12 +02:00 |
|
Weijia Wang
|
826bdb7214
|
Merge pull request #239691 from r-ryantm/auto-update/diamond
diamond: 2.1.7 -> 2.1.8
|
2023-06-26 07:46:03 +02:00 |
|
Weijia Wang
|
ca4181830d
|
Merge pull request #239646 from r-ryantm/auto-update/horizon-eda
horizon-eda: 2.4.0 -> 2.5.0
|
2023-06-26 07:41:37 +02:00 |
|
Weijia Wang
|
2b6acb1ae6
|
Merge pull request #239479 from r-ryantm/auto-update/qucs-s
qucs-s: 1.0.2 -> 1.1.0
|
2023-06-26 07:25:09 +02:00 |
|
Mario Rodas
|
27343d6e6b
|
Merge pull request #239795 from r-ryantm/auto-update/elan
elan: 1.4.5 -> 1.4.6
|
2023-06-25 14:10:25 -05:00 |
|
R. Ryantm
|
aa93209605
|
elan: 1.4.5 -> 1.4.6
|
2023-06-25 17:27:10 +00:00 |
|
R. Ryantm
|
fa6b5a3cb3
|
last: 1453 -> 1456
|
2023-06-25 11:01:07 -03:00 |
|
R. Ryantm
|
754d578555
|
diamond: 2.1.7 -> 2.1.8
|
2023-06-25 04:35:30 +00:00 |
|
R. Ryantm
|
0c7cacbac4
|
horizon-eda: 2.4.0 -> 2.5.0
|
2023-06-24 21:56:23 +00:00 |
|
Mario Rodas
|
b2aee9c18e
|
Merge pull request #230298 from jleightcap/jl/z3-4.12
z3: 4.12.1
|
2023-06-24 10:53:02 -05:00 |
|
Mario Rodas
|
cce7280539
|
z3_4_12: 4.12.1 -> 4.12.2
https://github.com/Z3Prover/z3/releases/tag/z3-4.12.2
|
2023-06-24 04:20:00 +00:00 |
|
Mario Rodas
|
f87301f5f1
|
z3_4_11: 4.11.0 -> 4.11.2
https://github.com/Z3Prover/z3/releases/tag/z3-4.11.2
|
2023-06-24 04:20:00 +00:00 |
|
Mario Rodas
|
2c0a8e5050
|
z3: add changelog to meta
|
2023-06-24 04:20:00 +00:00 |
|
R. Ryantm
|
296b322b40
|
qucs-s: 1.0.2 -> 1.1.0
|
2023-06-23 22:41:56 +00:00 |
|
Nick Cao
|
7d73228de8
|
eigenmath: unstable-2023-05-12 -> unstable-2023-06-16
Diff: a6de473ad8...800adc5c0b
|
2023-06-22 16:40:56 +08:00 |
|
Doron Behar
|
636000a5bb
|
Merge pull request #238771 from doronbehar/pkg/lammps-extras
lammps-mpi: Use a generic extraBuildInputs instead of withMpi
|
2023-06-22 06:50:03 +00:00 |
|
Doron Behar
|
4a64b8d9f3
|
lammps-mpi: Use a generic extraBuildInputs instead of withMpi
Add support for `extraCmakeFlags` as well and add `pkg-config` to
`nativeBuildInputs`.
|
2023-06-21 23:03:57 +03:00 |
|
R. Ryantm
|
6884e85326
|
verilator: 5.010 -> 5.012
|
2023-06-21 03:43:32 +00:00 |
|
Weijia Wang
|
dca415554f
|
treewide: replace mavenfod with buildMavenPackage
|
2023-06-20 19:59:30 +03:00 |
|
Weijia Wang
|
40001fa439
|
treewide: remove mavenfod overrides
|
2023-06-20 19:54:51 +03:00 |
|
Weijia Wang
|
9ce0974026
|
gephi: convert to mavenfod
|
2023-06-20 15:04:49 +03:00 |
|
Tillerino
|
13dd515a92
|
maven: adjust hashes of pull-maven-dependencies derivations
Since the newer Maven pulls different versions of its own dependencies,
the hashes of these derivations all changed.
|
2023-06-20 13:15:27 +02:00 |
|
Weijia Wang
|
bac33585a7
|
Merge pull request #238709 from wegank/digital-mavenfod
digital: convert to mavenfod
|
2023-06-20 11:59:15 +03:00 |
|
Weijia Wang
|
06f73278ea
|
digital: convert to mavenfod
|
2023-06-20 09:53:15 +03:00 |
|
Philipp Middendorf
|
8cff0900bc
|
crystfel: fix x86_64 hash (#238606)
|
2023-06-20 08:32:03 +02:00 |
|
Markus Kowalewski
|
a9d8ac0b1e
|
openmolcas: fix hash
|
2023-06-19 15:11:32 +02:00 |
|
Weijia Wang
|
799c5a8032
|
Merge pull request #238330 from figsoda/egglog
egglog: unstable-2023-05-22 -> unstable-2023-06-11
|
2023-06-18 02:07:56 +03:00 |
|
Weijia Wang
|
0de9ad3cc4
|
Merge pull request #238321 from markuskowa/upd-openmolcas
openmolcas: 23.02 -> 23.06
|
2023-06-18 02:03:59 +03:00 |
|
figsoda
|
70f33f2777
|
egglog: unstable-2023-05-22 -> unstable-2023-06-11
Diff: 5242b50051...c7ef8b000c
|
2023-06-17 17:33:00 -04:00 |
|
Markus Kowalewski
|
cb5504b21c
|
openmolcas: 23.02 -> 23.06
|
2023-06-17 22:38:08 +02:00 |
|
Mario Rodas
|
2bd4a56ee1
|
Merge pull request #237950 from bcdarwin/bppsuite-fix-homepage
bppsuite: fix homepage
|
2023-06-16 18:28:27 -05:00 |
|
figsoda
|
eaebbdf59a
|
Merge pull request #238092 from NickCao/calcmysky
calcmysky: 0.3.0 -> 0.3.1
|
2023-06-16 12:28:14 -04:00 |
|
Weijia Wang
|
e44c81a3b8
|
Merge pull request #229525 from lopsided98/mavproxy-update
mavproxy, python3Packages.pymavlink: update
|
2023-06-16 16:12:53 +03:00 |
|
Nick Cao
|
f9eed769ca
|
calcmysky: add stellarium to tests
|
2023-06-16 21:12:50 +08:00 |
|
Nick Cao
|
c196ad4df9
|
calcmysky: 0.3.0 -> 0.3.1
Diff: https://github.com/10110111/CalcMySky/compare/refs/tags/v0.3.0...v0.3.1
|
2023-06-16 21:11:04 +08:00 |
|
Pol Dellaiera
|
610f62011e
|
Merge pull request #237742 from natsukium/kalign/init
kalign: init at 3.3.5
|
2023-06-16 08:20:55 +02:00 |
|
Ben Wolsieffer
|
99002aba8e
|
mavproxy: 1.8.60 -> 1.8.62
|
2023-06-15 17:36:54 -04:00 |
|
Ben Darwin
|
9120f78e06
|
bppsuite: fix homepage
Old homepage is down, so point to GitHub instead.
|
2023-06-15 12:18:11 -04:00 |
|
Weijia Wang
|
169cb59498
|
calc: replace util-linux with unixtools.col
|
2023-06-15 14:25:40 +03:00 |
|
Théo Zimmermann
|
2bdeec6f84
|
coq: use dune_3
This is needed to build Coq dev and is compatible with all current releases of Coq that require Dune.
|
2023-06-14 14:33:36 +02:00 |
|
natsukium
|
7b36afffd6
|
kalign: init at 3.3.5
|
2023-06-14 21:05:58 +09:00 |
|
Weijia Wang
|
3f3ca021b7
|
Merge pull request #237633 from wegank/gplates-python39
gplates: drop python39
|
2023-06-14 00:59:31 +03:00 |
|
natsukium
|
3d1b9f0819
|
macs2: rename from MACS2
|
2023-06-13 21:47:47 +00:00 |
|
natsukium
|
12cab182ae
|
MACS2: 2.2.7.1 -> 2.2.8
Diff: https://github.com/macs3-project/MACS/compare/v2.2.7.1...v2.2.8
changelog: https://github.com/macs3-project/MACS/releases/tag/v2.2.8
|
2023-06-13 21:47:47 +00:00 |
|
Weijia Wang
|
28af3205bc
|
gplates: drop python39
|
2023-06-14 00:18:09 +03:00 |
|