Commit graph

4488 commits

Author SHA1 Message Date
Ryan Mulligan c72c9f46e2
Merge pull request #122391 from r-ryantm/auto-update/jmol
jmol: 14.31.36 -> 14.31.38
2021-05-10 10:17:33 -07:00
R. RyanTM 4ff0c782a3 jmol: 14.31.36 -> 14.31.38 2021-05-09 20:32:06 +00:00
Ben Siraphob 418a37d99c coq2html: 20170720 -> 1.2 2021-05-09 22:00:15 +02:00
R. RyanTM 2c143443f7 libpoly: 0.1.8 -> 0.1.9 2021-05-08 18:34:00 -07:00
R. RyanTM 5ab09faafb gretl: 2021a -> 2021b 2021-05-08 17:11:36 -07:00
Jan Tojnar 468cb5980b gnome: rename from gnome3
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
2021-05-08 09:47:42 +02:00
Malte Brandy 2a11f1f5cc
Merge branch 'master' into haskell-updates 2021-05-07 15:03:54 +02:00
Robert Hensing aaec26af39
Merge pull request #121896 from raboof/extract-version-test-to-utility
test-utilities: version test
2021-05-07 11:56:01 +02:00
Arnout Engelen b68130fd2c
test-utilities: version test
Extract 'version test' to a reusable test utility as discussed in
https://github.com/NixOS/nixpkgs/pull/119636#issuecomment-826137021 and
2021-05-07 09:53:35 +02:00
sternenseemann eaeb69862c petrinizer: restrict platforms by sbv
sbv has the most limited range of platforms of the dependencies.
2021-05-06 16:24:58 +02:00
sternenseemann 73c2dd4aa6 petrinizer: fix build
* take z3 haskell package from haskellPackages
* take sbv 7.13 from haskellPackages, apply patch fixing build
  with GHC >= 8.8.8
2021-05-06 11:43:59 +02:00
R. RyanTM 59cd52dc40 gmsh: 4.8.3 -> 4.8.4 2021-05-05 01:26:49 -04:00
Dmitry Kalinkin 1cfcfccc6e
Merge pull request #121411 from veprbl/pr/xfitter_darwin_fix
xfitter: fix for darwin
2021-05-03 17:37:34 -04:00
edef 4e4c45efac
Merge pull request #121375 from deviant/bump-rink
rink: 0.6.0 -> 0.6.1
2021-05-03 13:57:36 +00:00
Gabriel Ebner 62458574e3
Merge pull request #121361 from r-ryantm/auto-update/lean
lean: 3.29.0 -> 3.30.0
2021-05-03 11:13:53 +02:00
Luke Granger-Brown 884cf29501 dcm2niix: 1.0.20201102 -> 1.0.20210317 2021-05-02 11:10:40 +00:00
R. RyanTM ad5f251230 dcm2niix: 1.0.20200331 -> 1.0.20201102 2021-05-02 03:14:11 +00:00
Luke Granger-Brown ebf371726d sumorobot-manager: fix compilation 2021-05-02 00:12:19 +00:00
R. RyanTM 99f8bc3e03 sumorobot-manager: 0.9.0 -> 1.0.0 2021-05-02 00:02:46 +00:00
Dmitry Kalinkin c846fa1674
xfitter: fix for darwin
Fixes: 8984fc29 ('xfitter: fix build w/glibc-2.32')
2021-05-01 13:15:06 -04:00
Sandro 4b2c9640e7
Merge pull request #120613 from erikbackman/master 2021-05-01 18:42:40 +02:00
V 5a835e6e92 rink: 0.6.0 -> 0.6.1 2021-05-01 10:46:51 +02:00
R. RyanTM 96e1cc0768 lean: 3.29.0 -> 3.30.0 2021-05-01 05:49:45 +00:00
Michael Raskin ee4684f052
Merge pull request #117716 from idontgetoutmuch/master
Fix https://github.com/NixOS/nixpkgs/issues/117715
2021-04-30 07:28:43 +00:00
Dominic Steinitz 732ab3d4e2 Incorporate suggeston by collares 2021-04-29 17:34:34 +01:00
R. RyanTM 5b7a76e2a6 jmol: 14.31.35 -> 14.31.36 2021-04-29 12:39:03 +00:00
R. RyanTM 5122077801 gmsh: 4.8.1 -> 4.8.3 2021-04-29 00:17:51 -04:00
R. RyanTM e99e9f2d47 elan: 1.0.0 -> 1.0.2 2021-04-29 00:04:34 -04:00
Gabriel Ebner a062505e10
Merge pull request #120177 from r-ryantm/auto-update/elan
elan: 0.11.0 -> 1.0.0
2021-04-27 22:52:12 +02:00
R. RyanTM 32cb3382e5 elan: 0.11.0 -> 1.0.0 2021-04-27 22:32:13 +02:00
Gabriel Ebner abbc2384d7
Merge pull request #120822 from r-ryantm/auto-update/lean
lean: 3.28.0 -> 3.29.0
2021-04-27 22:28:19 +02:00
erikbackman 95b40e4143 (numworks-epsilon): init at 15.3.2 2021-04-27 19:07:25 +02:00
R. RyanTM 4ccb9422c7 lean: 3.28.0 -> 3.29.0 2021-04-27 05:34:13 +00:00
Vincent Laporte 35dfa0e927 alt-ergo: 2.3.3 → 2.4.0 2021-04-26 08:32:18 +02:00
R. RyanTM 224fc21cc3 tetgen: 1.5.1 -> 1.6.0 2021-04-26 01:32:28 -04:00
Mauricio Collares e1ad2f5aa4 sage: remove cypari2 override
This reverts commit c12ef05bda.
2021-04-25 18:21:58 -03:00
Michael Raskin 14f65f0dc5
Merge pull request #116365 from omasanori/sage-9.3
sage: 9.2 -> 9.3
2021-04-25 21:17:32 +00:00
Eduardo Sánchez Muñoz 6b9e396a07 qalculate-gtk: 3.17.0 -> 3.18.0 2021-04-25 16:17:26 +02:00
Alyssa Ross 4f4d95bbc2
Merge remote-tracking branch 'nixpkgs/master' into staging-next
Conflicts:
	pkgs/development/python-modules/pyvex/default.nix
	pkgs/top-level/python-packages.nix
2021-04-23 13:49:12 +00:00
Michael Raskin 2a04a9ce44
Merge pull request #120168 from r-ryantm/auto-update/clingo
clingo: 5.4.1 -> 5.5.0
2021-04-23 08:51:33 +00:00
github-actions[bot] 481a9bc47c
Merge master into staging-next 2021-04-23 00:15:39 +00:00
R. RyanTM 82bc3d6c28 clingo: 5.4.1 -> 5.5.0 2021-04-22 07:44:27 +00:00
R. RyanTM e230004975 calc: 2.12.9.1 -> 2.13.0.1 2021-04-22 06:59:52 +00:00
Masanori Ogino 090b71f627 sage: 9.2 -> 9.3.rc4
Co-authored-by: Mauricio Collares <mauricio@collares.org>
2021-04-22 14:06:56 +09:00
Mauricio Collares 00d2e24395 eclib: 20210223 -> 20190909
This reverts commits 003705ef08
and ef615b5a61.
2021-04-22 14:06:56 +09:00
Garaba Flórián a0f410646c sage: use threejs fork 2021-04-22 14:06:56 +09:00
Mauricio Collares 090165d7c1 singular: disable vspace on aarch64 2021-04-22 14:06:56 +09:00
Mauricio Collares cd7cf5942b singular: use older autoconf macro to unbreak aarch64 2021-04-22 09:01:30 +09:00
Mauricio Collares aebef1703f singular: import aarch64 support patch 2021-04-22 09:01:07 +09:00
Timo Kaufmann ceaf48fdb2 singular: 4.1.1p2 -> 4.2.0p2
Adds proper tests. Also removes the "enableFactory" option because
singular actually enables factory by default and explicitly disabling it
breaks the build. So the option was never really available.
2021-04-22 09:01:07 +09:00