Commit Graph

5953 Commits

Author SHA1 Message Date
Guillaume Girol
03e1b22740
Merge pull request #170413 from jdupak/master
QtRVSim: 0.9.2 -> 0.9.3
2022-04-29 18:42:50 +00:00
Bruno Bzeznik
5661ca1a2d adolc: init at 2.7.2 2022-04-29 10:38:40 -05:00
R. Ryantm
a82b1b63c3 blast: 2.12.0 -> 2.13.0 2022-04-29 09:39:10 -05:00
Serge K
1248ea16e1
colmap: fix for cuda11.6/gcc11 (#169623)
* colmap: force nvcc std=c++14 after gcc11 bump

* colmap: optional -> optionals

* colmap: sha256 -> hash

* colmapWithCuda: force CUDA_ENABLED=ON safeguard

* colmapWithCuda: add opengl runpath
2022-04-27 16:09:30 -07:00
Ryan Mulligan
9fc849704f
Merge pull request #169916 from r-ryantm/auto-update/mavproxy
mavproxy: 1.8.48 -> 1.8.49
2022-04-26 16:31:50 -07:00
Rick van Schijndel
4586388f85
Merge pull request #170320 from andersk/negated-version
treewide: Simplify negated uses of versionAtLeast, versionOlder
2022-04-26 07:50:15 +02:00
Sandro
7deb7b084d
Merge pull request #170020 from Ma27/bump-stellarium
stellarium: 0.22.0 -> 0.22.1
2022-04-26 02:37:56 +02:00
Anders Kaseorg
00e66f10fa coq: Rename internal versionAtLeast helper to coqAtLeast
To avoid potential confusion with lib.versionAtLeast.

Signed-off-by: Anders Kaseorg <andersk@mit.edu>
2022-04-25 13:35:06 -07:00
markuskowa
b656483a05
Merge pull request #170240 from r-ryantm/auto-update/gromacs
gromacs: 2022 -> 2022.1
2022-04-25 13:54:46 +02:00
Jakub Dupak
773f7905b9 QtRVSim: 0.9.2 -> 0.9.3 2022-04-25 14:38:39 +03:00
R. Ryantm
0d56b692fa gromacs: 2022 -> 2022.1 2022-04-25 11:09:40 +00:00
Gabriel Ebner
5838726cb9 calculix: 2.17 -> 2.19 2022-04-25 12:56:36 +02:00
Gabriel Ebner
94f1225197 calculix: fix build with gfortran 10 2022-04-25 12:51:12 +02:00
Sandro
2f517412c4
Merge pull request #165477 from rbreslow/dcm2niix-optional-modules 2022-04-25 11:59:49 +02:00
Ryan Mulligan
f05a748058
Merge pull request #169246 from r-ryantm/auto-update/bada-bib
bada-bib: 0.6.1 -> 0.6.2
2022-04-24 13:58:11 -07:00
R. Ryantm
e66cf9c6c8 elan: 1.4.0 -> 1.4.1 2022-04-24 14:14:48 -04:00
Maximilian Bosch
7c2fd0ae5d
stellarium: 0.22.0 -> 0.22.1
ChangeLog: https://github.com/Stellarium/stellarium/releases/tag/v0.22.1
2022-04-23 23:46:33 +02:00
R. Ryantm
8914714916 mavproxy: 1.8.48 -> 1.8.49 2022-04-23 08:24:30 +00:00
Artturin
f1c7f19e49 treewide: testVersion -> testers.testVersion 2022-04-22 16:24:27 +03:00
Mauricio Collares
0f29ab871f sage: update test expectations 2022-04-21 09:08:41 +02:00
Mauricio Collares
5029df7737 giac: 1.6.0-47 -> 1.9.0-5 2022-04-21 09:08:40 +02:00
Jan van Brügge
9aa4c5dbfc
isabelle: Make closer to upstream
This makes isabelle use the versions of polyml and z3 that are also used
upstream. Additionally it packages the sha1 library that isabelle uses.

Co-authored-by: 1000teslas <47207223+1000teslas@users.noreply.github.com>
2022-04-20 11:22:43 +02:00
Jan van Brügge
2e52d5c892
naproche: 0.1.0.0 -> 2022-04-19
This fixes the build with GHC 9
2022-04-20 09:14:24 +02:00
veprbl
2511bad8aa
Merge pull request #168973 from veprbl/pr/root5_glibc_fix
root5: fix for glibc
2022-04-19 14:56:09 -04:00
ajs124
7d59bd47d2
Merge pull request #165341 from r-ryantm/auto-update/verilator
verilator: 4.218 -> 4.220
2022-04-19 17:52:10 +01:00
R. Ryantm
9919952421 bada-bib: 0.6.1 -> 0.6.2 2022-04-19 00:53:01 +00:00
Rocky Breslow
d1c3fea7ec
dcm2niix: support usage of suggested Cloudflare zlib 2022-04-18 15:00:45 -04:00
Rocky Breslow
9019ce0106
dcm2niix: add maintainer
Also, fix grammatical error in long description.
2022-04-18 15:00:16 -04:00
Sandro
f37f0ad4e1
Merge pull request #168969 from SuperSandro2000/staging-next-sandro
Staging next fixes
2022-04-17 00:35:09 +02:00
Dmitry Kalinkin
81f9e28844
root5: fix for glibc 2022-04-16 17:20:16 -04:00
Martin Weinelt
fa1bb283d8 Merge remote-tracking branch 'origin/master' into staging-next 2022-04-16 23:14:55 +02:00
Sandro Jäckel
f1189d812e
fast-downward: substitute version, fix buildInputs, minor cleanup 2022-04-16 22:46:45 +02:00
veprbl
bb5678ef5f
Merge pull request #168733 from veprbl/pr/xfitter_2_2_0
xfitter: 2.0.1 -> 2.2.0
2022-04-16 16:01:10 -04:00
Fabián Heredia Montiel
5275050ab0 fityk: add -std=c++11 flag for gcc11 and later 2022-04-16 11:11:46 -05:00
Fabián Heredia Montiel
8c5a58144d fast-downward: 19.12 → 21.12.0 2022-04-16 11:11:46 -05:00
Dmitry Kalinkin
cdc17db882
xfitter: 2.0.1 -> 2.2.0 2022-04-15 22:24:52 -04:00
Fabián Heredia Montiel
8a9d5e296b cmtk: add -std=c++11 to fix build on gcc11 2022-04-15 11:15:30 -05:00
Martin Weinelt
a7fc5aaa76 Merge remote-tracking branch 'origin/master' into staging-next 2022-04-15 13:30:48 +02:00
Lassulus
92734ac395
Merge pull request #166865 from malob/treewide-mainProgram
treewide: add meta.mainProgram to many packages
2022-04-15 09:28:00 +01:00
Malo Bourgon
0e802eafad treewide: add meta.mainProgram to many packages 2022-04-14 10:24:01 -07:00
Vladimír Čunát
d5d94127fd
Merge branch 'staging-next' into staging
Minor conflicts; I hope I didn't mess up:
	pkgs/development/tools/misc/binutils/default.nix
	pkgs/games/openjk/default.nix
2022-04-14 09:53:21 +02:00
R. Ryantm
ae6932e7b9 elan: 1.3.1 -> 1.4.0 2022-04-13 20:56:11 -04:00
Luflosi
0a2f8109f4 abc-verifier: 2022.03.04 -> 2022.03.22 2022-04-12 08:38:25 -05:00
Lassulus
8ca12e04fe
Merge pull request #162172 from grnnja/init-jflap
jflap: init at 7.1
2022-04-12 12:08:26 +01:00
ajs124
9aa337095c
Merge pull request #164699 from r-ryantm/auto-update/mavproxy
mavproxy: 1.8.46 -> 1.8.48
2022-04-11 20:13:29 +01:00
Sandro
ab1640b19b
Merge pull request #166909 from fedeinthemix/wolfram-engine-2 2022-04-11 13:53:05 +02:00
Federico Beffa
55a070a616 wolfram-for-jupyter-kernel: init at 0.9.2
Also, add a script 'wolfram-notebook' to easily start a jupyter
notebook for working with the Wolfram Engine.

Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-04-11 11:54:09 +02:00
Federico Beffa
2055f85304 wolfram-engine: init at 13.0.1
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
2022-04-11 11:54:03 +02:00
Sandro
9b0ef251b3
Merge pull request #167729 from yuuyins/brmodelo 2022-04-10 21:19:44 +02:00
Fabian Affolter
394c9ba5e4
Merge pull request #168132 from r-ryantm/auto-update/calc
calc: 2.14.0.14 -> 2.14.1.0
2022-04-10 20:56:16 +02:00