Commit Graph

4498 Commits

Author SHA1 Message Date
Mauricio Collares
b413d3570a sage: 9.3.rc4 -> 9.3 2021-05-11 16:49:32 -03:00
Mauricio Collares
f206ba8ab9 singular: replace local patches by upstream ones 2021-05-11 16:49:10 -03:00
Mauricio Collares
391028eb3a pynac: add more patches, link to sage trac 2021-05-11 16:49:10 -03:00
Mauricio Collares
2a95fe1aea gap: 4.11.0 -> 4.11.1 2021-05-11 16:49:10 -03:00
maralorn
881d2af5ee
Merge pull request #122286 from NixOS/haskell-updates 2021-05-11 02:31:06 +02:00
Malte Brandy
39c0dd99a4
tamarin-prover: Mark broken 2021-05-11 01:56:48 +02:00
Sandro
0a3c566d56
Merge pull request #122396 from jbedo/octopus
octopus: 0.7.3 -> 0.7.4
2021-05-11 01:19:54 +02:00
Justin Bedo
40eeb2c6d3
octopus: 0.7.3 -> 0.7.4 2021-05-11 08:46:00 +10:00
Sandro
d2ea330f62
Merge pull request #122482 from hjones2199/kstars353 2021-05-11 00:22:01 +02:00
Hunter Jones
d4077929d6 kstars: 3.5.2 -> 3.5.3 2021-05-10 15:16:04 -05:00
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