github-actions[bot]
ee14a276ab
Merge master into haskell-updates
2023-04-07 00:11:54 +00:00
Justin Bedő
642ee2373c
Merge pull request #224827 from r-ryantm/auto-update/varscan
...
varscan: 2.4.5 -> 2.4.6
2023-04-06 22:51:16 +10:00
github-actions[bot]
6a7b8348a1
Merge master into haskell-updates
2023-04-06 00:11:55 +00:00
Sandro
5ea854454e
Merge pull request #224359 from hesiod/coin-utils
2023-04-06 01:08:07 +02:00
R. Ryantm
8fcdc3f62c
varscan: 2.4.5 -> 2.4.6
2023-04-05 14:55:31 +00:00
Ellie Hermaszewska
bd54a9047d
tamarin-prover: Allow compiling with maude-3.3
2023-04-05 14:39:55 +08:00
Ryan Lahfa
ce35e61c3c
Merge pull request #221099 from evils/kicad
...
kicad(-unstable): bump to latest version, cleanup and fixes
2023-04-04 13:28:26 +02:00
Weijia Wang
64a5b00d02
Merge pull request #224462 from wegank/scalp-mirror
...
scalp: update mirror link
2023-04-03 14:48:41 +03:00
Weijia Wang
4ad85a5c10
scalp: update mirror link
2023-04-03 14:16:03 +03:00
Tobias Markus
eae9398010
clp: Change license to epl20
2023-04-03 12:57:50 +02:00
Weijia Wang
150dcd7ce7
Merge pull request #224345 from natsukium/blast/darwin
...
blast-bin: init at 2.13.0
2023-04-03 09:59:08 +03:00
natsukium
cddb4a24ba
blast-bin: init at 2.13.0
2023-04-03 12:39:17 +09:00
Nick Cao
7613d23e78
Merge pull request #224414 from jbedo/last
...
last: 1447 -> 1453
2023-04-03 09:43:13 +08:00
Justin Bedo
e739dc5088
last: 1447 -> 1453
2023-04-03 08:38:27 +10:00
Tobias Markus
1718fc0b04
clp: 1.17.6 -> 1.17.7
2023-04-02 14:00:47 +02:00
Nicolas Benes
c59f6c75b6
openroad: unstable-2022-07-19 -> unstable-2023-03-31
2023-04-02 05:44:19 +02:00
natsukium
5ac95120d5
pymol: remove broken mark for darwin
...
The bug has been resolved by changing the backend to Qt
in this commit, ab3f0771a4
2023-04-01 20:41:01 +09:00
Michal Sojka
b1cb42d3b7
cppzmq: make zeromq propagatedBuildInput
...
cppzmq is a header-only library. As such, it is not much useful
without zeromq, whose headers it includes. By having zeromq in
propagatedBuildInputs, we can simplify dependent expressions.
This change is motivated by
https://github.com/lopsided98/nix-ros-overlay/issues/255#issuecomment-1487590226 .
The expressions in nix-ros-overlay are automatically generated and
since packages in other distributions where ROS runs need not to
explicitly depend on zeromq, the Nix expression should behave the
same. This way, nix-ros-overlay will not to have manually
patch/overlay the automatically generated expressions.
2023-03-31 18:58:56 +02:00
Evils
23849267ee
kicad-unstable: fix ngspice tests
2023-03-30 18:53:53 +02:00
Evils
4f0de9463a
kicad-unstable: 2023-02-14 -> 2023-03-29
...
includes a fix for upstream issue 14346
(attempting to installing pcbnew.py outside of $out)
2023-03-30 09:22:08 +02:00
Nick Cao
2f73fede2a
calcmysky: unstable-2023-02-11 -> 0.3.0
...
Diff: c5f2814528
2023-03-29 19:29:46 +08:00
Weijia Wang
626401c783
Merge pull request #220832 from wegank/glucose-bump
...
glucose: 4.1 -> 4.2.1
2023-03-29 09:13:21 +03:00
Weijia Wang
396b3b7271
Merge pull request #223075 from r-ryantm/auto-update/ginac
...
ginac: 1.8.5 -> 1.8.6
2023-03-29 00:27:26 +03:00
Mauricio Collares
a4f8bf2248
Merge pull request #223497 from r-ryantm/auto-update/primecount
...
primecount: 7.6 -> 7.7
2023-03-28 20:28:02 +02:00
Evils
7f3a08710a
kicad: add requests runtime dependency
...
required for some of the plugins
2023-03-28 18:57:29 +02:00
Evils
d8020e1e17
kicad: remove withOCC and more cmakeFlags cleanup
...
OCC is no longer optional
RPATH apparently no longer contains references to /build/
KICAD_SCRIPTING_WXPYTHON is ON by default
sort some of the options a bit
and remove stray lndir
2023-03-28 18:57:29 +02:00
Evils
788df5456b
kicad: 7.0.0 -> 7.0.1
...
remove now integrated patches
2023-03-28 18:57:29 +02:00
Weijia Wang
eac1ecb55a
Merge pull request #222531 from r-ryantm/auto-update/sumo
...
sumo: 1.15.0 -> 1.16.0
2023-03-28 16:47:07 +03:00
Nick Cao
98f3b08f58
Merge pull request #223453 from kilianar/stellarium-23.1
...
stellarium: 1.2 -> 23.1
2023-03-28 18:29:13 +08:00
Ali Caglayan
8fe1ea496b
coq: 8.16.1 -> 8.17.0
...
Signed-off-by: Ali Caglayan <alizter@gmail.com>
2023-03-28 08:13:12 +02:00
R. Ryantm
3b3cc65701
primecount: 7.6 -> 7.7
2023-03-28 04:37:03 +00:00
kilianar
d19f5dedec
stellarium: 1.2 -> 23.1
...
https://github.com/Stellarium/stellarium/releases/tag/v23.1
Mitigates https://github.com/advisories/GHSA-7vmm-m8vp-g5h3
2023-03-28 00:22:36 +02:00
kilianar
733e7c52c2
calcmysky: 0.2.1 -> unstable-203-02-11
2023-03-28 00:03:32 +02:00
Weijia Wang
c9d051b17d
Merge pull request #222979 from r-ryantm/auto-update/cvc5
...
cvc5: 1.0.4 -> 1.0.5
2023-03-27 09:36:32 +03:00
Sandro
c2ef479b62
Merge pull request #168773 from Leixb/megam-add-opt
2023-03-27 00:59:44 +02:00
Justin Bedő
c39e3d9b74
Merge pull request #221546 from NixOS/r-updates
...
R: 4.2.2 -> 4.2.3
2023-03-26 21:40:30 +00:00
github-actions[bot]
07fb9cae4e
Merge master into staging-next
2023-03-26 00:02:45 +00:00
Artturi
b213126ec0
Merge pull request #222766 from Artturin/fix-different-store
2023-03-25 22:17:07 +02:00
R. Ryantm
2cb2ee9630
ginac: 1.8.5 -> 1.8.6
2023-03-25 14:10:42 +00:00
R. Ryantm
bb270775f2
cvc5: 1.0.4 -> 1.0.5
2023-03-25 01:00:12 +00:00
github-actions[bot]
cead7e3e73
Merge master into staging-next
2023-03-25 00:02:20 +00:00
Weijia Wang
2ce97f2bf9
Merge pull request #222464 from r-ryantm/auto-update/diamond
...
diamond: 2.1.5 -> 2.1.6
2023-03-24 20:56:17 +02:00
Artturin
780669daf5
treewide: don't hardcode /nix/store (no rebuilds changes)
...
improve experience for other store locations
2023-03-24 20:11:33 +02:00
github-actions[bot]
adec6862c5
Merge master into staging-next
2023-03-24 18:01:06 +00:00
LeixB
d443805fe3
megam: add leixb as maintainer
2023-03-24 18:52:48 +01:00
LeixB
d85fae35d9
megam: add megam.opt binary
...
- Add megam.opt (optimized native binary)
2023-03-24 18:52:14 +01:00
Vladimír Čunát
1f1c1739d7
Merge #222442 : R: override test for curl version
...
...into staging-next
2023-03-23 11:07:36 +01:00
R. Ryantm
d2bf9653de
gretl: 2022c -> 2023a
2023-03-23 06:03:08 +00:00
github-actions[bot]
85f7b5276e
Merge master into staging-next
2023-03-22 18:01:11 +00:00
Luflosi
ddb714f68d
yices: fix typo in comment
2023-03-22 16:08:09 +01:00
