Bobby Rong
1b4ed2c960
Merge pull request #205274 from r-ryantm/auto-update/cbmc
...
cbmc: 5.71.0 -> 5.74.0
2023-01-10 22:56:19 +08:00
Bobby Rong
60164ab87b
cbmc: mark as broken on aarch64-linux
...
Upstream issue has no respond for a month and ofborg keeps reporting this failure.
2023-01-10 22:29:53 +08:00
Jonas Heinrich
41bd3b658a
Merge pull request #209921 from r-ryantm/auto-update/xmedcon
...
xmedcon: 0.22.0 -> 0.23.0
2023-01-10 13:44:22 +01:00
R. Ryantm
c6588f1cb5
jmol: 14.32.76 -> 14.32.83
2023-01-10 12:22:33 +00:00
Jonas Heinrich
f92cbd7919
Merge pull request #209953 from r-ryantm/auto-update/sherpa
...
sherpa: 2.2.12 -> 2.2.13
2023-01-10 13:18:35 +01:00
Sergei Trofimovich
e4c295a77d
Merge pull request #208396 from bgamari/wip/gmsh-shared
...
gmsh: Enable dynamic linking and Python bindings
2023-01-10 00:05:19 +00:00
Ben Gamari
34dd176116
gmsh: enable python bindings
2023-01-09 19:01:02 -05:00
R. Ryantm
5480bcc212
sherpa: 2.2.12 -> 2.2.13
2023-01-09 22:03:45 +00:00
Artturi
27c1ec2ecf
Merge pull request #209816 from Artturin/deprecate-top-level-platform-aliases
2023-01-09 22:15:50 +02:00
Artturin
2eeb34c273
treewide: {build,host,target}Platform -> stdenv.{build,host,target}Platform
2023-01-09 21:13:22 +02:00
Weijia Wang
6c70d9252a
satallax: add darwin support
2023-01-09 20:10:30 +01:00
R. Ryantm
5006c1de08
xmedcon: 0.22.0 -> 0.23.0
2023-01-09 18:28:57 +00:00
github-actions[bot]
33aa224777
Merge master into staging-next
2023-01-09 18:01:24 +00:00
Weijia Wang
1f4c190aff
cubicle: 1.1.2 -> 1.2.0
2023-01-09 16:52:18 +01:00
R. Ryantm
e0db41ab1a
ants: 2.4.2 -> 2.4.3
2023-01-09 09:48:53 -06:00
Robert Schütz
b3241be75d
python310Packages.levenshtein: don't use alias
2023-01-09 06:09:31 -08:00
github-actions[bot]
e4fc9a910a
Merge master into staging-next
2023-01-09 12:01:24 +00:00
ajs124
9830366cd4
Merge pull request #209567 from QuantMint/qalculate-qt6
...
qalculate-qt: build with qt6
2023-01-09 11:47:20 +01:00
github-actions[bot]
fce67420c4
Merge master into staging-next
2023-01-09 00:02:14 +00:00
Sandro
7bd0c509f2
Merge pull request #208824 from wegank/phd2-wxgtk
2023-01-08 23:49:17 +01:00
github-actions[bot]
9fdb4a743d
Merge master into staging-next
2023-01-08 18:01:08 +00:00
Thomas Gerbet
186a0b4575
pulseview: fix hash of the patch
...
The patch introduced in 475e7fa802
2023-01-08 18:13:01 +01:00
Martin Weinelt
4d65509504
Merge remote-tracking branch 'origin/master' into staging-next
2023-01-08 16:34:30 +01:00
Thiago Kenji Okada
d80ad2df4b
Merge pull request #208721 from wegank/starspace-darwin
...
starspace: fix build on aarch64-darwin
2023-01-08 14:47:42 +00:00
Paul Dettorer Hervot
dbb732a8f2
digital: init at 0.29
2023-01-08 14:02:06 +01:00
R. Ryantm
9aa633ca8c
cbmc: 5.71.0 -> 5.74.0
2023-01-08 09:52:35 +00:00
QuantMint
7f1a5d7f8d
qalculate-qt: build with qt6
2023-01-07 22:38:04 +01:00
github-actions[bot]
0789ea69b1
Merge master into staging-next
2023-01-07 00:02:25 +00:00
Weijia Wang
787f337dc1
starspace: fix version
2023-01-06 23:30:34 +01:00
Weijia Wang
75a4b125dd
starspace: fix build on aarch64-darwin
2023-01-06 23:30:18 +01:00
Doron Behar
518e1103be
Merge pull request #209166 from alyaeanyx/qalculate-4.5.1
...
{libqalculate, qalculate-gtk, qalculate-qt}: 4.5.0 -> 4.5.1
2023-01-06 23:46:04 +02:00
Ben Gamari
4ed69ca095
gmsh: enable parallel building
2023-01-06 15:21:44 -05:00
Martin Weinelt
5b308cd1df
Merge remote-tracking branch 'origin/master' into staging-next
2023-01-06 19:10:05 +01:00
Pierre Roux
cc1d830b2a
coq_8_17: init at 8.17+rc1 ( #209145 )
2023-01-06 15:51:50 +01:00
github-actions[bot]
e3480cf1cc
Merge master into staging-next
2023-01-06 00:02:28 +00:00
alyaeanyx
762b538557
{libqalculate, qalculate-gtk, qalculate-qt}: 4.5.0 -> 4.5.1
2023-01-05 14:51:31 +01:00
Martin Weinelt
6bf557fc68
python3Packages.jupyter-core: rename from jupyter_core
2023-01-05 13:20:52 +01:00
Martin Weinelt
5eb7ef5549
sumo: Unpin python37
2023-01-05 13:20:48 +01:00
Weijia Wang
f0425af6cd
root5: migrate to python3
2023-01-05 10:56:07 +01:00
Ben Gamari
0af966f368
gmsh: Enable OpenMP support
...
As this is parallelism that essentially comes for free.
2023-01-04 11:24:04 -05:00
github-actions[bot]
e076f677a1
Merge staging-next into staging
2023-01-03 18:01:45 +00:00
markuskowa
0aad1c5182
Merge pull request #208523 from r-ryantm/auto-update/dataexplorer
...
dataexplorer: 3.7.3 -> 3.7.4
2023-01-03 14:44:02 +01:00
github-actions[bot]
e2839320bb
Merge staging-next into staging
2023-01-03 12:01:44 +00:00
R. Ryantm
605d013aac
igv: 2.15.1 -> 2.15.4
2023-01-03 14:36:54 +08:00
Weijia Wang
3e26df42ab
phd2: migrate to wxGTK32
2023-01-02 23:50:47 +01:00
github-actions[bot]
ccef3ab7d8
Merge staging-next into staging
2023-01-02 12:02:01 +00:00
Jan Tojnar
5810109b42
Merge branch 'staging-next' into staging
...
- readline6 attribute removed from all-packages.nix in d879125d6150adabdd60
2023-01-02 03:04:32 +01:00
Nicolas Benes
e8a2f9fba6
dataexplorer: pin jdk17
...
Since the default jdk changed to jdk19, DataExplorer fails at startup:
```console
$ ./result/bin/DataExplorer
java.lang.NullPointerException: Cannot read field "width" because the return value of "gde.config.Settings.getWindow()" is null
at gde.ui.DataExplorer.execute(DataExplorer.java:406)
at gde.GDE.main(GDE.java:544)
```
Therefore, pin to jdk17, which is also the latest recommended version by
upstream:
> The only requirement is the installation of a Java run-time of version
> 8 to Java 17 for the 32 bit versions and Java 11 to 17 for the 64 bit
> versions, such as IcedTea or open JDK.
https://www.nongnu.org/dataexplorer/index.html#Introduction
2023-01-01 17:44:51 +01:00
markuskowa
3325956ea1
Merge pull request #208365 from illdefined/xnec2c
...
xnec2c: init at 4.4.12
2023-01-01 14:55:45 +01:00
Doron Behar
a40405b971
Merge pull request #207697 from herberteuler/fix/mathematica-13.2.0
...
mathematica: 13.1.0 -> 13.2.0
2022-12-31 22:24:10 +02:00
Doron Behar
d6a592c02e
mathematica: Add 13.1.0 webdoc=true source hash
2022-12-31 21:31:45 +02:00
Mikael Voss
bab5a9ca87
xnec2c: init at 4.4.12
2022-12-31 20:25:23 +01:00
Mauricio Collares
2082422786
Merge pull request #206238 from collares/lean-3.50.0
...
lean: 3.49.0 -> 3.50.3
2022-12-31 13:55:52 -03:00
Ben Gamari
24de35c698
gmsh: 4.11 -> 4.11.1
2022-12-31 11:37:53 -05:00
Ben Gamari
b2557f7653
gmsh: Enable shared library
...
This allows use of the Python and other bindings.
2022-12-31 11:37:53 -05:00
R. Ryantm
cde346ccd5
dataexplorer: 3.7.3 -> 3.7.4
2022-12-31 16:36:44 +00:00
Guanpeng Xu
ee5237701e
mathematica: document the command for calculating hashes
2022-12-31 22:55:38 +08:00
Nick Cao
443560c831
fritzing: fix build
2022-12-31 19:33:39 +08:00
R. Ryantm
c45eae4334
workcraft: 3.3.8 -> 3.3.9
2022-12-30 23:45:14 +08:00
Weijia Wang
e70ea256f4
xearth: unbreak on aarch64-darwin
2022-12-30 06:40:45 +01:00
Théo Zimmermann
387cd36d7d
Merge pull request #207995 from Artturin/fixtypocoq
...
coqPackages.coq: fix typo
2022-12-27 20:04:32 +01:00
Artturin
685bf1f690
coqPackages.coq: fix typo
...
introduced in d1136611
2022-12-27 20:44:32 +02:00
Mauricio Collares
b25ad6c153
Merge pull request #207933 from r-ryantm/auto-update/polymake
...
polymake: 4.7 -> 4.8
2022-12-27 12:51:37 -03:00
Fabian Affolter
fc4b36771b
polymake: add changelog to meta
2022-12-27 10:20:07 +01:00
R. Ryantm
ec36ffd7cc
polymake: 4.7 -> 4.8
2022-12-27 08:48:16 +00:00
Ben Darwin
9c748218f2
itk: unstable -> 5.3.0
2022-12-27 09:06:37 +01:00
figsoda
c78ad3c4fa
Merge pull request #207744 from figsoda/nix-update-script
...
treewide: remove attrPath from nix-update-script calls
2022-12-26 19:00:46 -05:00
Mauricio Collares
a8fa345c5e
lean: 3.50.2 -> 3.50.3
2022-12-26 19:05:40 -03:00
Mauricio Collares
72ea4253a1
lean: 3.50.1 -> 3.50.2
2022-12-26 19:03:40 -03:00
figsoda
a211d94291
treewide: remove attrPath from nix-update-script calls
...
after https://github.com/Mic92/nix-update/pull/120 and https://github.com/NixOS/nixpkgs/pull/207703 , `attrPath` can now be omitted when using `nix-update-script`
2022-12-26 12:39:21 -05:00
kilianar
00f3a18c70
stellarium: 1.1 -> 1.2
...
https://github.com/Stellarium/stellarium/releases/tag/v1.2
2022-12-26 17:16:12 +01:00
Pavol Rusnak
e2dfc9a72d
vhd2vl: unstable-2018-09-01 -> unstable-2022-12-26
2022-12-26 14:11:23 +01:00
Pavol Rusnak
e941262b0f
verilog: bump tests, enable tests on darwin
2022-12-26 13:47:28 +01:00
Matt Melling
475e7fa802
pulseview: fix build
2022-12-26 09:55:25 +01:00
Doron Behar
b5f421490b
Merge pull request #207087 from doronbehar/pkg/mathematica.src
...
Mathematica: Allow overriding src directly.
2022-12-25 19:13:12 +02:00
Guanpeng Xu
34cd4905d1
mathematica: use installer name to decide if it contains local docs
2022-12-25 23:29:09 +08:00
Guanpeng Xu
ca595aca5b
mathematica: 13.1.0 -> 13.2.0
2022-12-25 22:54:19 +08:00
maralorn
9fa43f69e1
Merge branch 'master' into haskell-updates
2022-12-24 18:31:46 +01:00
Thiago Kenji Okada
17bd7bf0bf
Merge pull request #207516 from r-ryantm/auto-update/streamlit
...
streamlit: 1.15.0 -> 1.16.0
2022-12-24 11:56:00 +00:00
Dennis Gosnell
ac92ac9908
petrinizer: mark as broken because sbv no longer builds
2022-12-24 16:05:31 +09:00
R. Ryantm
260d40e72e
streamlit: 1.15.0 -> 1.16.0
2022-12-24 04:53:42 +00:00
Sandro
b20fb264cc
Merge pull request #197575 from thyol/sratoolkit-init
2022-12-24 02:58:47 +01:00
7c6f434c
7fd752872e
Merge pull request #206769 from collares/gap-4.12.2
...
gap: 4.12.1 -> 4.12.2
2022-12-22 18:27:13 +00:00
Mauricio Collares
689ff65cde
lean: 3.50.0 -> 3.50.1
2022-12-22 13:07:21 -03:00
Doron Behar
914b07da7d
Mathematica: Allow overriding src directly.
2022-12-21 12:46:13 +02:00
Shamrock Lee
c1027175c1
root: fix output directory layout with -Dgnuinstall=ON
...
Make "$out" more conformant to the bin/ lib/ share/ hirarchy
instead of messing up the user profile
with stuff like cmake/ config/ macros/ icons/ js/ tutorials/ ...
In this layout,
* `tutorials` is now under `share/doc/ROOT/tutorial`
* `cmake`, `font`, `icons`, `js` and `macro` is now under `share/root`
* `Makefile.comp` and `Makefile.config` in now under `etc/root`.
2022-12-21 03:03:49 +08:00
Shamrock Lee
c09e03c1a6
root: remove the already-default CMAKE_INSTALL_*DIR flags
2022-12-21 03:03:38 +08:00
Evils
2c2f1519b5
kicad: 6.0.9 -> 6.0.10
2022-12-20 15:16:38 +01:00
Evils
8a6772fee6
kicad: bunch of cleanup
...
add patch to ensure writability of created projects
(upstream issue 12941)
disable the qa_eeschema test as it fails to find the ngspice lib
which allows re-enabling tests as a whole on unstable
there is a patch for this, but it still fails with something else...
(upstream issue 12491)
and remove ngspice workaround that doesn't work anymore
set meta.mainProgram
since for kicad-unstable, the binary isn't called kicad-unstable
2022-12-20 15:14:31 +01:00
Evils
1c3de7e308
kicad-unstable: 2022-09-18 -> 2022-12-19
...
includes a fix for parallel builds sometimes failing
disables test
reenabled in next commit which works around the specific failure
2022-12-20 15:14:31 +01:00
Doron Behar
7328cd1015
Merge pull request #206903 from alyaeanyx/qalculate-4.5.0
...
{libqalculate, qalculate-gtk, qalculate-qt}: 4.4.0 -> 4.5.0
2022-12-20 09:54:13 +02:00
Anderson Torres
5eb3cbe103
Merge pull request #194276 from corngood/dotnet-misc
...
dotnet: improve rid handling
2022-12-19 18:35:14 -03:00
Justin Bedő
fcae6a2656
Merge pull request #206157 from NixOS/r-updates
...
R,rPackages: R 4.2.1 -> 4.2.2
2022-12-19 21:25:09 +00:00
David McFarland
13861970f4
treewide: update all dotnet lockfiles
2022-12-19 15:36:25 -04:00
alyaeanyx
2c1e43dd75
{libqalculate, qalculate-gtk, qalculate-qt}: 4.4.0 -> 4.5.0
2022-12-19 20:05:32 +01:00
Mauricio Collares
2f39745cc4
gap: 4.12.1 -> 4.12.2
2022-12-18 17:16:50 -03:00
Valentin Gagarin
f782da699e
Merge pull request #206646 from figsoda/typos
2022-12-18 18:27:57 +01:00
Robert Scott
2d9b5f9e04
Merge pull request #206302 from r-ryantm/auto-update/cvc5
...
cvc5: 1.0.2 -> 1.0.3
2022-12-18 14:57:22 +00:00
Dmitry Kalinkin
199975755e
Merge pull request #205394 from ShamrockLee/root-update
...
undefined
2022-12-17 19:58:37 -05:00
figsoda
ec8cb34358
treewide: fix typos
2022-12-17 19:39:44 -05:00
Dmitry Kalinkin
49d5867732
root: move nlohmann_json to propagatedBuildInputs
2022-12-17 17:57:37 -05:00
R. Ryantm
470662f51b
fast-downward: 22.06.1 -> 22.12.0
2022-12-17 07:45:23 +00:00
github-actions[bot]
05ca3d8285
Merge master into staging-next
2022-12-17 06:01:30 +00:00
Jason Miller
8392158289
cudaPackages: add cudaFlags ( #205351 )
...
* cudaPackages: add cudaFlags
* cudaNames -> cudaMicroarchitectureNames
* update documentation, remove config for static library removal
* doc link added to flags
* fix whitespace in assignment
2022-12-16 22:00:36 -08:00
Vladimír Čunát
e6cd929c5e
Merge branch 'master' into staging-next
2022-12-16 11:09:31 +01:00
Sandro
2af5bbd2d4
Merge pull request #205900 from pmiddend/crystfel-fix-patch
...
crystfel: fix symlib hard-coding
2022-12-16 10:30:24 +01:00
Sandro
ddc265fa1e
Merge pull request #204270 from Luflosi/update/boinc
2022-12-16 02:08:16 +01:00
Sandro
89fb5a5252
Merge pull request #203304 from panicgh/dataexplorer-373
2022-12-16 02:05:45 +01:00
github-actions[bot]
b9ac6ee4d9
Merge master into staging-next
2022-12-16 00:02:17 +00:00
R. Ryantm
cdc2972120
cvc5: 1.0.2 -> 1.0.3
2022-12-15 20:56:58 +00:00
Artturin
05a2dfd674
lib.replaceChars: warn about being a deprecated alias
...
replaceStrings has been in nix since 2015(nix 1.10)
so it is safe to remove the fallback
d6d5885c15
2022-12-15 22:25:51 +02:00
amesgen
d499bc2447
tandem-aligner: init at unstable-2022-09-17
2022-12-15 20:48:53 +01:00
Mauricio Collares
4e4d962445
lean: 3.49.1 -> 3.50.0
2022-12-15 09:46:06 -03:00
Mauricio Collares
1ea8eab31e
lean: 3.49.0 -> 3.49.1
2022-12-15 09:46:01 -03:00
Nicolas Benes
4cbba917e0
dataexplorer: 3.6.2 -> 3.7.3
...
In v3.7.1, the `file.encoding=UTF-8` setting has been moved into the
application itself. It is not needed any more to pass it via the `java`
command line.
The program builds incorrectly for non-x86_64-linux platforms, although
they should be supported. Until the issue is understood and can be
fixed, declare support for only the x86_64-linux platform.
2022-12-15 13:23:30 +01:00
github-actions[bot]
747e072692
Merge master into staging-next
2022-12-14 06:01:05 +00:00
Justin Bedo
4d394bfb48
R: 4.2.1 -> 4.2.2
2022-12-14 15:52:24 +11:00
Robert Scott
bef7b51a7f
Merge pull request #205581 from mimame/weka/3.9.2-3.9.6
...
weka: 3.9.2 -> 3.9.6
2022-12-14 00:13:33 +00:00
github-actions[bot]
1e7dd98694
Merge master into staging-next
2022-12-14 00:02:18 +00:00
Rick van Schijndel
9833d56c24
treewide: mark packages broken that never built on PLATFORM
...
Done with the help of https://github.com/Mindavi/nixpkgs-mark-broken
Tool is still WIP but this is one of the first results.
I manually audited the results and removed some results that were not valid.
Note that some of these packages maybe should have more constrained platforms set
instead of broken set, but I think not being perfectly correct is better than
just keep trying to build all these things and never succeeding.
Some observations:
- Some darwin builds require XCode tools
- aarch64-linux builds sometimes suffer from using gcc9
- gcc9 is getting older and misses some new libraries/features
- Sometimes tools try to do system detection or expect some explicit settings for
platforms that are not x86_64-linux
2022-12-13 21:40:12 +01:00
Luflosi
06137551e6
boinc: 7.20.2 -> 7.20.5
...
https://github.com/BOINC/boinc/releases/tag/client_release%2F7.20%2F7.20.5
Also simplify the code a bit by using `lib.versions.majorMinor` as suggested by @SuperSandro2000.
2022-12-13 18:50:42 +01:00
Philipp Middendorf
051fa1056d
crystfel: fix symlib hard-coding
2022-12-13 11:56:15 +01:00
Miguel Madrid-Mencía
1f0f9ada86
weka: 3.9.2 -> 3.9.6
2022-12-11 18:37:06 -06:00
github-actions[bot]
99d681c4e7
Merge master into staging-next
2022-12-11 18:01:21 +00:00
Mauricio Collares
99fed31f9d
Merge pull request #205547 from r-ryantm/auto-update/primecount
...
primecount: 7.4 -> 7.6
2022-12-11 12:33:23 -03:00
Shamrock Lee
e23f5f4f92
root: 6.26.8 -> 6.26.10
2022-12-11 18:00:34 +08:00
Shamrock Lee
f2fcf446d0
root: add xrootd support and workaround the xrootd runpath bug
2022-12-11 18:00:32 +08:00
Shamrock Lee
53f8736f10
root: adjust format
2022-12-11 17:45:55 +08:00
Fabian Affolter
ddb2541b8a
primecount: add changelog to meta
2022-12-11 01:14:49 +01:00
Fabian Affolter
6deae326bf
primesieve: add changelog to meta
2022-12-10 23:44:00 +01:00
R. Ryantm
016aaa261d
primesieve: 8.0 -> 11.0
2022-12-10 20:15:07 +00:00
R. Ryantm
d5490032d8
primecount: 7.4 -> 7.6
2022-12-10 20:04:53 +00:00
github-actions[bot]
48b3a17dea
Merge master into staging-next
2022-12-09 12:01:30 +00:00
Vladimír Čunát
9c497bb8d6
Merge branch 'staging-next' into staging
2022-12-09 10:27:46 +01:00
Sandro
89c4ef4384
Merge pull request #204832 from Luflosi/update/yosys
2022-12-09 10:27:31 +01:00
Sandro
d1f210df8a
Merge pull request #199078 from gdinh/add-timeloop
...
timeloop: init at unstable-2022-10-28 and accelergy: init at unstable-2022-05-03
2022-12-09 09:13:02 +01:00
Grace Dinh
8a23ce4e69
timeloop: init at unstable-2022-11-29
2022-12-08 12:41:22 -08:00
Weijia Wang
fa19b16e93
ecopcr: 0.8.0 -> 1.0.1
2022-12-08 04:35:53 +01:00
Artturi
850fb23aa8
Merge pull request #204214 from wegank/wxgtk30-gtk2-drop
...
treewide: drop wxGTK30-gtk2
2022-12-06 23:28:43 +02:00
Sandro
84c17bc98f
Merge pull request #204330 from jvanbruegge/isabelle-fix-components
2022-12-06 20:46:39 +01:00
Jan van Brügge
698c7342b7
isabelle: fix build on MacOS
2022-12-06 18:05:26 +00:00
Luflosi
f48ce9295e
abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09
2022-12-06 18:58:31 +01:00
Fabian Affolter
7d3c53e6d1
snakemake: rename GitPython
2022-12-05 21:53:53 +01:00
Fabian Affolter
49dc2b7042
streamlit: rename GitPython
2022-12-05 21:53:11 +01:00
Martin Weinelt
9256404e6b
Merge remote-tracking branch 'origin/staging-next' into staging
2022-12-05 13:22:34 +01:00
Vincent Laporte
221b44a071
coq: 8.16.0 → 8.16.1
2022-12-05 09:22:59 +01:00
Martin Weinelt
2c56dc4832
Merge remote-tracking branch 'origin/staging-next' into staging
2022-12-04 22:07:03 +01:00
Nikolay Korotkiy
3332040606
Merge pull request #203029 from sikmir/geogebra
...
geogebra: 5-0-723-0 → 5-0-745-0, geogebra6: 6-0-723-0 → 6-0-745-0
2022-12-04 17:31:30 +04:00
Nikolay Korotkiy
88ae5d0825
Merge pull request #202805 from r-ryantm/auto-update/cbmc
...
cbmc: 5.70.0 -> 5.71.0
2022-12-03 23:51:24 +04:00
Jan van Brügge
26c369214e
isabelle: use prebuilt z3
...
Isabelle requires this specific version of z3 which is being removed
from nixpkgs due to requiring python2 for its build. We can work around
this by patching the distributed binary
2022-12-03 18:34:13 +00:00
Jan van Brügge
d5299641bb
isabelle: make withComponents function use finalAttrs
...
Before this change
```
(isabelle.overrideAttrs (
/* whatever */
)).withComponents (/* whatever */)
```
would ignore the `overrideAttrs` and use the normal `isabelle`
derivation instead. This commit fixes this
2022-12-03 16:40:53 +00:00
github-actions[bot]
1ac9e3255b
Merge staging-next into staging
2022-12-03 06:02:18 +00:00
Weijia Wang
eac8b51565
flopoco: init at 4.1.3 ( #200459 )
...
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-12-03 05:26:22 +01:00
John Shaffer
9d8767be46
xcircuit: 3.10.12 -> 3.10.37, maintain
2022-12-02 21:57:29 -06:00
Weijia Wang
07cd65bea2
treewide: drop wxGTK30-gtk2
2022-12-03 03:28:32 +01:00
Martin Weinelt
e3da5a807b
Merge remote-tracking branch 'origin/staging-next' into staging
2022-12-03 01:28:01 +01:00
Sandro
e461e83aa7
Merge pull request #191966 from jvanbruegge/isabelle-2022
2022-12-03 00:45:47 +01:00
Pavol Rusnak
85f5d65b7e
Merge pull request #204149 from wegank/viennarna-bump
...
ViennaRNA: 2.4.18 -> 2.5.1, unbreak on aarch64-darwin
2022-12-03 00:23:09 +01:00
Vincent Laporte
188b935b6d
alt-ergo: fix version string
2022-12-03 00:00:05 +01:00
Weijia Wang
df1810c6e8
ViennaRNA: 2.4.18 -> 2.5.1
2022-12-02 18:20:04 +01:00
R. RyanTM
132e60b840
calc: 2.14.1.0 -> 2.14.1.2
...
Also fixed GitHub source url.
2022-12-02 18:02:05 +08:00
github-actions[bot]
c14692be87
Merge staging-next into staging
2022-11-30 18:01:46 +00:00
Mario Rodas
227de2b3bb
Merge pull request #203387 from wegank/formula-aarch64-linux
...
formula: unbreak on aarch64-linux
2022-11-30 07:02:00 -05:00
github-actions[bot]
3f79042e89
Merge staging-next into staging
2022-11-29 12:02:06 +00:00
Weijia Wang
280b4b8279
root: fix build on aarch64-linux ( #203267 )
2022-11-29 01:41:49 -05:00
Martin Weinelt
df2d130ee0
python3Packages.dataclasses: drop
...
Only required on python36, which was dropped a while ago.
2022-11-29 01:34:58 +01:00
Mauricio Collares
9102f78309
Merge pull request #192525 from r-ryantm/auto-update/pari
...
pari: 2.13.4 -> 2.15.1
2022-11-28 20:58:42 -03:00
Jack Gerrits
c5be637c72
vowpal-wabbit: 9.0.1 -> 9.6.0
...
- flatbuffers removed as a dep as the upstream doesn't support installing with flatbuffer support currently and this is an experimental feature
- BUILD_TESTS workaround removed as upstream now properly understands BUILD_TESTING
- `eigen` is a new dependency in this release
- Removed `USE_LATEST_STD` as it was causing an ICE in clang when building on an m1 macbook and it is not strictly necessary for the package
2022-11-29 00:02:14 +08:00
Mauricio Collares
40fddeb8fc
giac: mark as broken on aarch64-darwin
2022-11-28 09:33:10 -03:00
Weijia Wang
31dae4a6c0
formula: unbreak on aarch64-linux
2022-11-28 02:56:13 +01:00
Sandro
853077236a
Merge pull request #202124 from SuperSandro2000/dbus-passthru-daemon
2022-11-28 01:35:34 +01:00
Mauricio Collares
3b258a60a6
sage: import pari 2.15.1 update patch
2022-11-27 20:39:59 -03:00
R. Ryantm
081289609e
pari: 2.13.4 -> 2.15.1
2022-11-27 20:39:59 -03:00
Robert Scott
d2504ace98
Merge pull request #203249 from aaronjheng/streamlit
...
streamlit: 1.13.0 -> 1.15.0
2022-11-27 23:10:22 +00:00
Mauricio Collares
dad9d4f76e
Merge pull request #203170 from jiegec/pari
...
pari: unbreak on aarch64-darwin
2022-11-27 15:15:19 -03:00
Aaron Jheng
8bed9cc42f
streamlit: 1.13.0 -> 1.15.0
2022-11-27 12:57:33 +00:00
Jiajie Chen
91e59727c0
pari: unbreak on aarch64-darwin
2022-11-27 09:39:27 +08:00
K900
420fd2d25b
graphia: 3.1 -> 3.2
2022-11-26 15:49:07 +03:00
Nikolay Korotkiy
bb92198f4c
geogebra6: 6-0-723-0 → 6-0-745-0
2022-11-26 14:17:44 +03:00
Nikolay Korotkiy
5b4bf09237
geogebra6: fix the meta data to allow autoupdate
...
Resolve #188260
2022-11-26 13:58:19 +03:00
Nikolay Korotkiy
ec635b51d6
geogebra: 5-0-723-0 → 5-0-745-0
2022-11-26 13:39:52 +03:00
Robert Schütz
be1fe08f79
surelog: use latest OpenJDK
...
OpenJDK 11 depends on Python 2.
2022-11-25 20:10:49 -08:00
Sandro
bf8865dc28
Merge pull request #198871 from wegank/aspino-aarch64-darwin
2022-11-25 20:12:58 +01:00
Weijia Wang
c00ddaf144
aspino: remove patchShebangs
2022-11-25 16:48:27 +01:00
Weijia Wang
fc653e9de0
avy: fix build on aarch64-linux
2022-11-25 16:48:03 +01:00
Weijia Wang
ee09ecaca2
glucose: fix build on aarch64-linux
2022-11-25 16:48:03 +01:00
Weijia Wang
017015a82b
aspino: fix build
2022-11-25 16:48:03 +01:00
Bobby Rong
e34bc8cc1a
Merge pull request #198055 from jdupak/master
...
QtRVSim: 0.9.3 -> 0.9.4
2022-11-25 22:50:43 +08:00
Bobby Rong
4315ef82eb
Merge pull request #202657 from 4825764518/master
...
qalculate-qt: update supported platforms
2022-11-25 21:51:45 +08:00
R. Ryantm
d9af397634
cbmc: 5.70.0 -> 5.71.0
2022-11-25 08:37:13 +00:00
Jonas Heinrich
20193b6d86
Merge pull request #202395 from thyol/muscle
...
muscle: 3.8.31 -> 5.1.0
2022-11-24 15:47:12 +01:00
Guillaume Girol
6f9188b26b
Merge pull request #201759 from collares/giac-1.9.0.29
...
giac: 1.9.0-5 -> 1.9.0-29
2022-11-24 14:16:03 +00:00
Jonas Heinrich
57728b51cf
Merge pull request #202404 from thyol/veryfasttree
...
veryfasttree: init at 3.1.1
2022-11-24 15:14:13 +01:00
Sandro
2ca694f473
Merge pull request #198552 from wegank/wxgtk-games
2022-11-24 14:21:25 +01:00
4825764518
9c363bae16
qalculate-qt: update supported platforms
2022-11-24 05:37:05 -05:00
R. Ryantm
471d8bb07a
opensmt: 2.4.2 -> 2.4.3
2022-11-22 20:15:56 +00:00
thyol
cdcb7946ba
veryfasttree: init at 3.1.1
2022-11-22 20:45:45 +01:00
thyol
35d3a6fa79
muscle: add myself to maintainers
2022-11-22 20:19:17 +01:00
thyol
d7c8595f62
muscle: 3.8.31 -> 5.1.0
2022-11-22 20:19:17 +01:00
R. Ryantm
7e88b2bef5
form: 4.2.1 -> 4.3.0
2022-11-22 12:01:40 -05:00
thyol
81d6f1c7dc
sratoolkit: init at 2.11.3
2022-11-21 20:27:28 +01:00
Sandro Jäckel
c7f5becba3
dbus: remove unused daemon passhtru
2022-11-21 20:23:00 +01:00
R. Ryantm
6ba0d20487
igv: 2.14.1 -> 2.15.1
2022-11-20 14:06:29 +08:00
R. Ryantm
862277ac9d
kstars: 3.6.0 -> 3.6.1
2022-11-20 10:52:50 +08:00
Markus Kowalewski
57d39374e2
gromacs: 2022.3 -> 2022.4
2022-11-18 14:37:22 +01:00
Mauricio Collares
339f72586a
giac: 1.9.0-5 -> 1.9.0-29
2022-11-18 09:15:22 -03:00
Pascal Bach
b85c2a060f
Merge pull request #200871 from lorenz/update-dsview
...
dsview: 1.1.2 -> 1.2.1
2022-11-16 21:18:59 +01:00
sternenseemann
a110f08f12
ocamlPackages.extlib: rename from ocaml_extlib
...
This matches the name used in dune and on OPAM.
2022-11-16 14:30:37 +01:00
Grace Dinh
d3153abe7d
accelergy: init at unstable-2022-05-03
2022-11-15 17:06:02 -08:00
Sandro Jäckel
da3200b7b6
Revert "gplates: fix failing build"
...
This reverts commit 8a236e246a
2022-11-16 00:29:02 +01:00
Sergei Trofimovich
e4d99ffc58
Merge pull request #201383 from yurket/d-seams_zhf_fix
...
d-seams: fix failing build
2022-11-15 22:57:02 +00:00
yurket
4e4a021fd7
d-seams: fix failing builds
...
cxxopts failing to build with clang11:
/build/source/src/include/external/cxxopts.hpp:488:42: error: no member named 'numeric_limits' in namespace 'std'
if (u > static_cast<U>(-std::numeric_limits<T>::min()))
Use the patch from upstream, which updates cxxopts 2.2.0 -> 3.0.0
2022-11-15 14:05:05 -08:00
Aaron Jheng
678ccdf716
element: mark as broken on darwin
2022-11-14 02:16:43 +00:00
Robert Scott
ea6d354b84
Merge pull request #201044 from fedeinthemix/update-xyce
...
xyce: 7.4.0 -> 7.6.0
2022-11-13 20:13:29 +00:00
Federico Beffa
d36e0be2ea
xyce: 7.4.0 -> 7.6.0
2022-11-13 16:41:14 +01:00
Mario Rodas
16df31b2cd
Merge pull request #200755 from collares/lean-3.49.0
...
lean: 3.48.0 -> 3.49.0
2022-11-13 09:04:08 -05:00
Robert Schütz
61c207555b
hal-hardware-analyzer: use igraph 0.9
2022-11-12 20:07:20 -08:00
yurket
8a236e246a
gplates: fix failing build
...
Started failing after the commit 11ea0e99b7
2022-11-12 11:33:42 -08:00
Lorenz Brun
c35b5503f4
dsview: 1.1.2 -> 1.2.1
2022-11-12 16:04:11 +01:00
Mauricio Collares
c87af38741
lean: 3.48.0 -> 3.49.0
2022-11-11 17:33:01 -03:00
R. Ryantm
139ba95570
cbmc: 5.69.1 -> 5.70.0
2022-11-11 18:08:36 +08:00
Weijia Wang
699e05b52a
root5: migrate to gsl ( #200455 )
2022-11-10 18:59:19 -05:00
7c6f434c
511bbd4c78
Merge pull request #200059 from r-ryantm/auto-update/clingo
...
clingo: 5.6.1 -> 5.6.2
2022-11-10 10:32:04 +00:00
Shamrock Lee
a664ec27f4
root: add package test test-thisroot
2022-11-10 09:27:35 +08:00
Shamrock Lee
7f91dec5dd
root: wrap the executable and patch thisroot.*
2022-11-10 09:23:52 +08:00
Jiajie Chen
fc2812a1f8
nest: init at 3.3
2022-11-10 09:20:41 +08:00
Dmitry Kalinkin
25fd03cf72
Merge pull request #200412 from wegank/root-darwin
...
root: 6.26.06 -> 6.26.08
2022-11-09 18:16:38 -05:00
Weijia Wang
d474e39f7d
root: fix build on aarch64-darwin
2022-11-09 21:03:59 +01:00
Weijia Wang
5d5c6ded1a
root: 6.26.06 -> 6.26.08
2022-11-09 18:19:45 +01:00
Shamrock Lee
0106a68555
root: enable davix and ssl support ( #200096 )
...
This enables CERN ROOT to open file urls with scheme
`davs://` and `https://`.
The inclusion of `openssl` in buildInputs
will increase neither closure size nor rebuild frequency,
since `python3`, which depends on `openssl`, is already a dependency.
2022-11-09 11:31:37 -05:00
Fabian Affolter
95ed815b50
Merge pull request #200234 from r-ryantm/auto-update/delly
...
delly: 1.1.5 -> 1.1.6
2022-11-09 08:00:15 +01:00
Artturi
3e2445be79
Merge pull request #200145 from hzeller/20221107-update-surelog-uhdm-plugin
...
Fix for darwin build.
2022-11-09 02:09:35 +02:00
Weijia Wang
e0e6444e50
boinc: unbreak on aarch64-linux
2022-11-09 00:59:14 +01:00
Henner Zeller
50c509ecf3
surelog: 1.40 -> 1.45
...
Update Surelog (going along with uhdm 1.45). Fix flaky tests
to to parallel execution of ctest by patching in a fix that is
already upstream.
Result zero hydra failures #199919
Also: using flatbuffers from nix environment instead of third_party/
Signed-off-by: Henner Zeller <h.zeller@acm.org>
2022-11-08 12:47:27 -08:00
Henner Zeller
568398e338
uhdm: 0.9.1.40 -> 1.45
...
Update UHDM and also fix for Darwin build.
The gtest version used in the project unconditionally uses
/tmp as temporary directory in Darwin and does not honor the
environment variables introduced in gtest 1.12.
Use that gtest version so that it will work in the Hydra
build environment.
Related: #199919 as this is fixing the Darwin build.
Signed-off-by: Henner Zeller <h.zeller@acm.org>
2022-11-08 12:47:14 -08:00
R. Ryantm
c7ba9b459c
delly: 1.1.5 -> 1.1.6
2022-11-08 18:21:37 +00:00
Fabian Affolter
9ac3253434
Merge pull request #200024 from fabaff/docker-bump
...
python310Packages.docker: 6.0.0 -> 6.0.1
2022-11-08 15:48:02 +01:00
Fabian Affolter
cad704eb95
toil: 5.6.0 -> 5.7.1
2022-11-08 12:17:40 +01:00
Mario Rodas
f84d890770
Merge pull request #199530 from NickCao/stellarium_11
...
stellarium: 1.0 -> 1.1
2022-11-08 03:15:29 -05:00
Justin Bedő
3a90ab68e6
Merge pull request #197631 from jbedo/octopus
...
octopus-caller: backport patch to fix build
2022-11-07 21:26:21 +00:00
Mauricio Collares
fc9eb96278
Merge pull request #198355 from collares/sage-libgap-aarch64
...
sage: fix aarch64 crashes and skip problematic test
2022-11-07 17:53:09 -03:00
R. Ryantm
f77d334af1
clingo: 5.6.1 -> 5.6.2
2022-11-07 17:55:20 +00:00
R. Ryantm
a8ed4be9a6
gmsh: 4.10.5 -> 4.11.0
2022-11-07 11:31:21 +00:00
amesgen
4a3fc076e4
clingcon: 5.0.0 -> 5.2.0 and fix build
2022-11-07 00:41:21 +01:00
Mario Rodas
5b06368259
Merge pull request #199623 from wegank/kicad-wxgtk
...
kicad: migrate to wxGTK32
2022-11-05 16:31:07 -05:00
Nick Cao
e562fc6e05
stellarium: build with qt6
2022-11-05 21:39:24 +08:00
Nick Cao
f2870ff9e2
calcmysky: build with qt6
2022-11-05 21:39:10 +08:00
Nick Cao
74fd5f0cba
stellarium: 1.0 -> 1.1
2022-11-05 21:37:59 +08:00
Nick Cao
b105efc145
calcmysky: 0.1.0 -> 0.2.1
2022-11-05 21:37:59 +08:00
markuskowa
e2cf8ac376
Merge pull request #199331 from markuskowa/fix-arpack
...
arpack: fix ILP64 checks and MPI support
2022-11-05 12:37:35 +01:00
