Commit graph

2864 commits

Author SHA1 Message Date
markuskowa 403aa2dfed
Merge pull request #58180 from luzpaz/gmsh4.2.2
gmsh 4.2.1->4.2.2
2019-03-28 18:11:58 +01:00
Markus Kowalewski 3c19324e2a
octopus: 8.3 -> 8.4 2019-03-28 18:00:41 +01:00
Markus Kowalewski 6ea9c0243b
molden: 5.9.3 -> 5.9.5 2019-03-28 17:39:15 +01:00
R. RyanTM 2ce544a8b1 minimap2: 2.15 -> 2.16 (#57319)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minimap2/versions
2019-03-27 23:25:52 +01:00
R. RyanTM 1b73fd1954 paml: 4.9h -> 4.9i (#57354)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/paml/versions
2019-03-27 15:44:21 +01:00
Bruno Bzeznik 00431493c0 itsx: init at 1.1.1 2019-03-26 15:52:35 +01:00
Bruno Bzeznik 6858d0fd62 clustal-omega: init at 1.2.4 2019-03-26 15:45:59 +01:00
Joachim F c9cd1356ea
Merge pull request #56522 from bzizou/messer-slim
messer-slim: init at 3.2.1
2019-03-26 00:42:58 +00:00
Dmitry Kalinkin 9ba406ff1c
kicad: replace with3DPackages option with an override 2019-03-24 01:37:47 -04:00
Dmitry Kalinkin d0fc807347
kicad: make module list overridable
This moves module definition into passthru. Otherwise building kicad
would still require all modules to be built first even if they are not
used.

Also this drops preferLocalBuild from packages3d. hydraPlatforms should
do what we need to. preferLocalBuild would addtitionaly disable remote
builders, which is probably not what we want.
2019-03-24 01:37:46 -04:00
Gabriel Ebner 4446452347
Merge pull request #58163 from dtzWill/update/qalculate-3
libqalculate,qalculate-gtk: 2.9.0 -> 3.0.0
2019-03-23 18:50:24 +01:00
luz.paz 13158c692c gmsh 4.2.1->4.2.2 2019-03-23 12:51:12 -04:00
markuskowa b10799905c
Merge pull request #58162 from r-ryantm/auto-update/gromacs
gromacs: 2019 -> 2019.1
2019-03-23 12:29:48 +01:00
Frederik Rietdijk 23e431387b Merge staging-next into staging 2019-03-23 09:20:09 +01:00
Will Dietz 24484b216a qalculate-gtk: 2.9.0 -> 3.0.0
http://qalculate.github.io/news.html
2019-03-23 01:09:17 -05:00
R. RyanTM c70807aa13 gromacs: 2019 -> 2019.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gromacs/versions
2019-03-22 22:05:26 -07:00
Gabriel Ebner 11318d1ba2 elan: 0.7.4 -> 0.7.5 2019-03-22 11:16:44 +01:00
Jörg Thalheim 70d6db9097
Merge pull request #58065 from r-ryantm/auto-update/eagle
eagle: 9.1.2 -> 9.3.1
2019-03-22 07:22:58 +00:00
Wael M. Nasreddine 5af0780492
Merge remote-tracking branch 'origin/master' into staging
* origin/master: (693 commits)
  buildGoModule: use go_1_12 instead of go_1_11 (#58103)
  gitAndTools.lab: 0.15.2 -> 0.15.3 (#58091)
  signal-desktop: 1.22.0 -> 1.23.0
  added missing semicolon to documentation
  terminus_font_ttf: 4.46.0 -> 4.47.0
  buildGoModule: remove SSL env vars in favor of cacert in buildInputs (#58071)
  dav1d: init at 0.2.1
  dropbox-cli: 2018.11.28 -> 2019.02.14
  atlassian-confluence: 6.14.1 -> 6.14.2
  maintainers: update email for dywedir
  python.pkgs.hglib: use patch to specify hg path (#57926)
  chkrootkit: 0.52 -> 0.53
  radare2-cutter: 1.7.2 -> 1.8.0
  autorandr: 1.7 -> 1.8
  pythonPackages.pyhepmc: fix build
  llvm-polly/clang-polly: use latest llvm
  apulse: 0.1.11.1 -> 0.1.12, cleanup
  factorio: experimental 0.17.14 → 0.17.16 (#58000)
  sequeler: 0.6.7 -> 0.6.8
  nasc: 0.5.1 -> 0.5.2
  ...
2019-03-21 21:01:25 -07:00
R. RyanTM 34cba0b001 ginac: 1.7.4 -> 1.7.5
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ginac/versions
2019-03-21 17:54:31 -07:00
R. RyanTM 6c14a2f3f8 eagle: 9.1.2 -> 9.3.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/eagle/versions
2019-03-21 10:40:06 -07:00
worldofpeace 0353967957 nasc: 0.5.1 -> 0.5.2
Main improvment is that libqalculatenasc.so is now properly linked

Changelog: https://github.com/parnold-x/nasc/compare/0.5.1...0.5.2
2019-03-20 23:10:33 -04:00
Gabriel Ebner 52c3ee6c4d elan: 0.7.2 -> 0.7.4 2019-03-20 13:33:24 +01:00
Dmitry Kalinkin c36f841ec7
root5: fix build 2019-03-20 00:26:13 -04:00
Timo Kaufmann 5fc5881221
sage: backport bugfix (#57794) 2019-03-17 14:36:01 +00:00
Timo Kaufmann 8fc3c033cb
pynac: 0.7.23 -> 0.7.24 (#57791)
Apparently some python3 related fixes: https://trac.sagemath.org/ticket/27241

Also switch to using pname.
2019-03-17 14:35:28 +00:00
Stephen a14a7d958f labelimg: fix build (#57714)
for #56826 see https://hydra.nixos.org/build/90477186/nixlog/2
2019-03-15 20:50:03 +01:00
Thibaut Marty 2f5439a950 kicad: fix #49089 by adding libraries files
This splits the KiCad package in several derivations:
- original package (main KiCad package)
- internationalization package
- templates
- schematic symbols libraries
- PCB footprints libraries
- 3D models libraries

From these derivations, 2 packages are exposed in top level:
- `kicad` (main KiCad package + all libraries except 3D models)
- `kicad-with-3dpackages` (kicad + all libraries)

The 3D models can also be installed separately with `kicad.packages3d`.
This prevents a new compilation of KiCad, but the user must set the
`KISYS3DMOD` environment variable or option accordingly.
2019-03-14 21:07:38 +01:00
Dmitry Kalinkin d5f97ae600
Merge pull request #57650 from stephengroat/patch-4
apmplanner2: fix build
2019-03-14 15:28:57 -04:00
Alex Branham 1e354a7e40 R: 3.5.2 -> 3.5.3
Closes https://github.com/NixOS/nixpkgs/pull/57400.
2019-03-14 19:50:37 +01:00
Stephen 08e4d7cf69 apmplanner2: fix build
see ArduPilot/apm_planner#1166
2019-03-14 11:23:20 -07:00
Gabriel Ebner be261a1ede isabelle: refactor
Fixes #33337
2019-03-14 11:48:30 +01:00
Gabriel Ebner 308456a7a7
Merge pull request #57567 from gebner/isabelle-2018
isabelle: 2017 -> 2018
2019-03-14 11:25:02 +01:00
Gabriel Ebner c7f43de43c isabelle: 2017 -> 2018 2019-03-12 14:32:48 +01:00
Sébastien Maret 6f81adb7ee
gildas: 20190301_a -> 20190301_b 2019-03-11 21:43:41 +01:00
Matthew Bauer 37eba81c7b
Merge pull request #56391 from matthewbauer/cmake-treewide
Add more CMake flags
2019-03-11 12:43:46 -04:00
Matthew Bauer 6ed49262f5 treewide: remove BUILD_TESTING flag
This is now set by CMake
2019-03-11 10:11:28 -04:00
worldofpeace 988ed26778
Merge pull request #57363 from r-ryantm/auto-update/picard-tools
picard-tools: 2.18.25 -> 2.18.27
2019-03-11 07:13:20 -04:00
R. RyanTM 70815de29c picard-tools: 2.18.25 -> 2.18.27
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
2019-03-11 03:37:34 -07:00
Peter Hoeg 136126ceae
Merge pull request #56498 from ariutta/patch-1
cytoscape: bump 3.6.1 -> 3.7.1
2019-03-11 11:20:50 +08:00
Timo Kaufmann ce96994032
sage: fix docbuild (#57294)
The docbuild (or rather its tests) failed because sphinx built some
English parts of the documentation in Russian. The added debian patch
fixes that by isolating docbuilding threads in sphinx using
proper subprocesses.
2019-03-10 21:42:54 +00:00
Timo Kaufmann 3b7fb15182
Merge pull request #57126 from timokau/sage-maxima-downgrade
sage: downgrade maxima to 5.41
2019-03-09 20:05:01 +00:00
Timo Kaufmann 23908a0ee3 sage: downgrade maxima to 5.41
See discussion at
82254747af.
2019-03-09 17:23:57 +01:00
Silvan Mosberger 8ca1c925c6
sad: Fix build 2019-03-09 01:07:18 +01:00
luz.paz 77cb537712 gmsh: 4.1.5 -> 4.2.1 2019-03-08 05:24:15 -05:00
Timo Kaufmann e2b287b32a maxima: remove ecl known-failures patch
It doesn't apply anymore since the recent update. Since the testsuite is
completely disabled now, there is little point in rebasing it.
2019-03-07 16:08:10 +01:00
Ryan Mulligan 5896677b47
Merge pull request #56956 from smaret/gildas
gildas: 20190201_b -> 20190301_a
2019-03-06 19:28:41 -08:00
Sébastien Maret 880d0ac9f0
gildas: 20190201_b -> 20190301_a 2019-03-06 13:56:17 +01:00
Jörg Thalheim 9b57d852af
Merge pull request #56905 from timokau/pari-fix
pari: fix off-by-one error
2019-03-06 11:00:07 +00:00
Jan Tojnar d3ff902e94
webkit: move to aliases 2019-03-06 00:20:55 +01:00
Timo Kaufmann a648b8c714 pari: fix off-by-one error
Done by applying upstream patch. Will be included in the next release.

Upstream: https://pari.math.u-bordeaux.fr/cgi-bin/bugreport.cgi?bug=2117
2019-03-05 21:50:44 +01:00
Timo Kaufmann 00fa98f012 pari: add timokau as maintainer
I'm mostly interested in this package because it is a dependency of
sage. I'd like to be notified on changes (which ofBorg will do when I'm
listed as a maintainer).
2019-03-05 20:23:04 +01:00
Timo Kaufmann 5a23cb575e pari: slight refactoring
Use pname, one line per argument.
2019-03-05 20:21:26 +01:00
Peter Simons 1c6a193b3e wxmaxima: update to version 19.03.0 2019-03-05 12:53:05 +01:00
Peter Simons 82254747af maxima: update to version 5.42.2 2019-03-05 12:53:04 +01:00
Dmitry Kalinkin aa4f5cc4a3
simgrid: Fix the upstream project URL
Closes: #56849
2019-03-04 16:42:46 -05:00
R. RyanTM 27e05d81a5 star: 2.7.0a -> 2.7.0c
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/star/versions
2019-03-03 20:55:25 +01:00
R. RyanTM 6a987f5730 form: 4.2.0 -> 4.2.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/form/versions
2019-03-03 20:49:36 +01:00
R. RyanTM 9989b7c8c4 igv: 2.4.17 -> 2.4.19
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions
2019-03-03 20:48:52 +01:00
Timo Kaufmann 37182b20a6
Merge pull request #56781 from timokau/sage-python-upgrade-fixes
Sage python upgrade fixes
2019-03-03 20:48:10 +01:00
R. RyanTM 2d20e8c5f2 gtkwave: 3.3.98 -> 3.3.99
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gtkwave/versions
2019-03-03 17:13:47 +01:00
Timo Kaufmann 9e3754786b sage: fix strictDeps fallout
See https://github.com/NixOS/nixpkgs/pull/54182 and
https://github.com/NixOS/nixpkgs/pull/55757.
2019-03-03 13:25:40 +01:00
Timo Kaufmann 2de81ee78f sage: patch for pip 19
pip 19 introduced a deprecation warning for python 2.7. Since sage
internally uses pip to query for installed packages, this deprecation
warning will show up at unexpected times. That is ugly and messes with
the testsuite.

Upstream: https://trac.sagemath.org/ticket/27405
2019-03-03 13:21:22 +01:00
R. RyanTM 4f1c44906c cryptominisat: 5.6.6 -> 5.6.8
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptominisat/versions
2019-03-01 16:58:38 -08:00
R. RyanTM e869b87dbb clp: 1.16.11 -> 1.17.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/clp/versions
2019-03-01 16:08:32 -08:00
Frederik Rietdijk 2fcb11a244 Merge staging-next into master 2019-03-01 09:06:20 +01:00
Bruno Bzeznik 598f11862c messer-slim: init at 3.2.1 2019-02-28 15:11:18 +01:00
Anders Riutta c792fd107b
cytoscape: bump 3.6.1 -> 3.7.1
Needed to update URL, because `wget "http://chianti.ucsd.edu/cytoscape-3.7.1/cytoscape-3.7.1.tar.gz"` returns `404`.
2019-02-27 16:40:50 -08:00
John Ericson 8293ab8461
Merge pull request #56408 from Mic92/runtime-shell
treewide: use runtimeShell instead of stdenv.shell whenever possible
2019-02-26 18:04:27 -05:00
Jörg Thalheim dadc7eb329
treewide: use runtimeShell instead of stdenv.shell whenever possible
Whenever we create scripts that are installed to $out, we must use runtimeShell
in order to get the shell that can be executed on the machine we create the
package for. This is relevant for cross-compiling. The only use case for
stdenv.shell are scripts that are executed as part of the build system.
Usages in checkPhase are borderline however to decrease the likelyhood
of people copying the wrong examples, I decided to use runtimeShell as well.
2019-02-26 14:10:49 +00:00
Merlin Göttlinger 5781856630 clprover: init at 1.0.3 (#56403)
* clprover: init at 1.0.3
2019-02-26 12:36:04 +00:00
Vincent Laporte 4266523c14 why3: 1.1.1 -> 1.2.0 2019-02-25 10:09:15 +01:00
Sophie Taylor 59338fb99d Fix sc2-headless map hash (#56320) 2019-02-25 01:08:12 +01:00
Vladimír Čunát 71f4ba29a3
Merge branch 'master' into staging-next
Hydra nixpkgs: ?compare=1506218
2019-02-22 17:51:01 +01:00
markuskowa 0b00338eb9
Merge pull request #56178 from luzpaz/gmsh-4.1.5
gmsh: 4.1.3 -> 4.1.5
2019-02-22 11:26:15 +01:00
Sophie Taylor c736f9693d Added maps to sc2-headless 2019-02-22 09:01:00 +00:00
luz.paz add7b20858 gmsh: 4.1.3 -> 4.1.5 2019-02-21 22:55:48 -05:00
Frederik Rietdijk 5871da418f Merge staging into python-unstable 2019-02-21 08:02:10 +01:00
Frederik Rietdijk e2cd07b997 Merge staging-next into staging 2019-02-21 07:54:33 +01:00
Matthew Bauer b1bbd94bb6 Merge remote-tracking branch 'NixOS/master' into staging 2019-02-18 20:36:48 -05:00
Ryan Mulligan f56693f25a
Merge pull request #55052 from smaret/gildas-update
gildas: 20190101_b -> 20190201_b
2019-02-17 06:46:15 -08:00
Frederik Rietdijk 04f051d79f spyder: 3.2.8 -> 3.3.3 2019-02-17 14:40:54 +01:00
Frederik Rietdijk 4b2336ea28 python.pkgs.caffe: fix build, closes #8749 2019-02-17 10:13:22 +01:00
Gabriel Ebner 7cbc76a3e6 Merge branch 'auto-update/qalculate-gtk' 2019-02-16 17:25:47 +01:00
Frederik Rietdijk fd48a94b62 Merge staging-next into staging 2019-02-16 09:30:46 +01:00
Frederik Rietdijk 6fe10d2779 Merge master into staging-next 2019-02-16 09:29:54 +01:00
R. RyanTM ef405c5b67 qalculate-gtk: 2.8.2 -> 2.9.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/qalculate-gtk/versions
2019-02-15 11:39:04 -08:00
Sébastien Maret a69d2c2e69
gildas: 20190201_a -> 20190201_b 2019-02-15 13:27:57 +01:00
Timo Kaufmann 9243e85fbc
sage: fix fetchSageDiff (#55783)
For some reason I changed it to use `cgit`s `rawdiff` instead of `patch`
in the update to sage 8.6. Probably commited that by accident, at least
I can't remember the reason. Also changed the excludes filter, the
leading slash prevented it from working.

As a result, the cypari2 patch changed. Only didn't notice because it
was cached.

Fixes #55780
2019-02-14 21:48:03 +01:00
Samuel W. Flint 52a7c4e30e z3: Patch file to get rid of python error
See #55591, Z3Prover/z3#2131
2019-02-14 10:11:15 -06:00
Frederik Rietdijk a25d48cd4f Merge master into staging 2019-02-14 11:35:50 +01:00
Jan Tojnar 606ceda352
gnome3: stop using aliases 2019-02-14 02:31:15 +01:00
Michael Bishop ac29d96d25
Merge pull request #55629 from spacekitteh/patch-30
Add maps to SC2
2019-02-13 19:13:14 -04:00
Michael Raskin 8384cfe455
Merge pull request #55129 from oxij/tree/move-defaults-to-package-files
all-packages.nix: move defaults to package files
2019-02-13 20:04:08 +00:00
Frederik Rietdijk 7257dedd7c Merge master into staging-next 2019-02-13 12:33:29 +01:00
Sophie Taylor 744e344171
Update maps.nix 2019-02-13 08:53:32 +10:00
Sophie Taylor ce1eb1ea79 Update and rename maps.nix to maps-replays.nix 2019-02-12 10:41:41 +00:00
Sarah Brofeldt c0cfe9bf50
Merge pull request #54991 from FlorianFranzen/sc2-headless
sc2-headless: 3.17 -> 4.7.1
2019-02-12 09:42:56 +01:00
Timo Kaufmann 5728028916 sage: add numpy 1.16 compatibility patch
https://trac.sagemath.org/ticket/27000
2019-02-11 21:43:56 +01:00
Timo Kaufmann 342333c0ab
sage: add compatibility for sphinx 1.8.3 (#55078) (#55560)
Since https://github.com/NixOS/nixpkgs/pull/48841 was replaced by
https://github.com/NixOS/nixpkgs/pull/54186, this needs to be done
separately.

(cherry picked from commit 33db01e6d9)
2019-02-11 13:18:16 +01:00
Florian Franzen f470720aa8 Merge branch 'staging-next' into staging 2019-02-10 14:37:31 +01:00
Matthew Bauer 5c09d977c7 Merge remote-tracking branch 'origin/master' into staging 2019-02-09 12:14:06 -05:00
Vladimír Čunát d2c4b5777b
sagelib: fix missing pkgs.pkgconfig
Again: eb3f0aef43 #54306
Apparently the derivation needs both pkgconfigs
(it fails when missing either).
2019-02-09 10:36:47 +01:00
tbenst 1cb81a69a0 cmtk: init at 3.3.1 (#54016)
* cmtk: init at 3.3.1
2019-02-08 17:41:14 -05:00
Will Dietz dcfce974d9
Merge pull request #55077 from m-labs/for-upstream
rink: init at 0.4.4
2019-02-07 09:47:46 -06:00
Timo Kaufmann dbc771f2e1
Merge pull request #55299 from r-ryantm/auto-update/jmol
jmol: 14.29.29 -> 14.29.31
2019-02-06 13:15:46 +01:00
markuskowa 0496c08afd
Merge pull request #55298 from r-ryantm/auto-update/igv
igv: 2.4.16 -> 2.4.17
2019-02-06 12:50:24 +01:00
Markus Kowalewski 64e9f2ad65
jmol: remove redundant name attribute
version and pname are alrady present
2019-02-06 12:25:25 +01:00
R. RyanTM a1360faba7 jmol: 14.29.29 -> 14.29.31
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/jmol/versions
2019-02-05 20:33:46 -08:00
R. RyanTM da628f0cbd igv: 2.4.16 -> 2.4.17
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions
2019-02-05 20:06:55 -08:00
markuskowa 9703765556 molden: 5.8.2 -> 5.9.3 (#55044) 2019-02-05 23:57:29 +02:00
markuskowa 5c7edec7a3
Merge pull request #55152 from r-ryantm/auto-update/star
star: 2.6.1d -> 2.7.0a
2019-02-04 22:53:49 +01:00
R. RyanTM b015c68def verilator: 4.008 -> 4.010
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/verilator/versions
2019-02-04 11:54:29 -06:00
R. RyanTM e27eaf6111 star: 2.6.1d -> 2.7.0a
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/star/versions
2019-02-03 17:20:27 -08:00
Jan Malakhovski c7675be3c1 sc2-headless: move defaults to package file 2019-02-03 15:33:29 +00:00
Vladimír Čunát 32767d139f
Merge branch 'staging-next'
This round is without the systemd CVE,
as we don't have binaries for that yet.
BTW, I just ignore darwin binaries these days,
as I'd have to wait for weeks for them.
2019-02-20 09:38:45 +01:00
Michael Raskin 446520bb9b
Merge pull request #56026 from oxij/tree/move-defaults-to-package-files-half-cuda
all-packages.nix: move defaults to package files continues^2
2019-02-19 21:54:02 +00:00
Vincent Laporte e4035c3e0e
Merge pull request #55633 from vbgl/alt-ergo-2.3.0
alt-ergo: 2.2.0 -> 2.3.0
2019-02-19 09:53:57 +01:00
Frederik Rietdijk 815b77cbe6 Merge master into staging-next 2019-02-18 14:18:04 +01:00
Vladimír Čunát f7f1a2f54e
Merge branch 'master' into staging-next
A mass darwin rebuild from master (#55784).
2019-02-17 08:05:24 +01:00
Vincent Laporte e4a8af06d1
alt-ergo: 2.2.0 -> 2.3.0 2019-02-12 09:19:06 +00:00
Jan Malakhovski 4bc66b1994 cntk: move defaults to package file 2019-02-03 15:32:16 +00:00
Jan Malakhovski 31aa884b7f caffe: move defaults to package file 2019-02-03 15:32:15 +00:00
Jan Malakhovski 49148a3ea2 mxnet: move defaults to package file 2019-02-03 15:32:14 +00:00
Jan Malakhovski 88ca6dd78a cplex: move defaults to package file 2019-02-03 15:30:47 +00:00
Jan Malakhovski ec2452dac1 scilab: move defaults to package file 2019-02-03 15:30:45 +00:00
Sebastien Bourdeauducq 3b03b901fb rink: init at 0.4.4 2019-02-03 13:29:18 +08:00
Timo Kaufmann 33db01e6d9
sage: add compatibility for sphinx 1.8.3 (#55078)
Since https://github.com/NixOS/nixpkgs/pull/48841 was replaced by
https://github.com/NixOS/nixpkgs/pull/54186, this needs to be done
separately.
2019-02-02 13:02:07 +01:00
Sébastien Maret cb72eec530
gildas: 20190101_b -> 20190201_a 2019-02-01 16:29:30 +01:00
Vladimír Čunát 8ba516664b
Merge branch 'staging-next' into staging 2019-02-01 09:42:53 +01:00
Florian Franzen 337babae4c sc2-headless: 3.17 -> 4.7.1 2019-01-31 15:21:58 +01:00
markuskowa e27e114803
Merge pull request #53677 from jbedo/snpeff-4.3T
snpeff: 4.3q -> 4.3t
2019-01-31 10:36:32 +01:00
Robert Schütz 052acfe930 sage: python-openid: move django and twill to checkInputs (#54949)
A search through the source code
(https://github.com/openid/python-openid/search?q=django and
https://github.com/openid/python-openid/search?q=twill) reveals
that they are only used in examples and tests.
2019-01-31 10:14:36 +01:00
Justin Bedo 75dd587793
snpeff: 4.3q -> 4.3t 2019-01-31 15:15:05 +11:00
markuskowa ca13dc163b
Merge pull request #49871 from wucke13/getdp
getdp: init at 3.0.4
2019-01-31 00:43:08 +01:00
markuskowa a98cebbc35
Merge pull request #54828 from r-ryantm/auto-update/gmsh
gmsh: 4.1.0 -> 4.1.3
2019-01-29 12:39:06 +01:00
Sébastien Maret d5f4b2b63e gildas: 20181201_a -> 20190101_b 2019-01-29 11:00:45 +00:00
R. RyanTM 2b39f17d08 minimap2: 2.14 -> 2.15
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minimap2/versions
2019-01-28 20:01:47 +00:00
R. RyanTM 2b03ef0521 gmsh: 4.1.0 -> 4.1.3
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions
2019-01-28 10:33:36 -08:00
R. RyanTM 00cdff318a picard-tools: 2.18.23 -> 2.18.25
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
2019-01-28 17:17:30 +00:00
wucke13 4f40b5e00e getdp: init at 3.0.4 2019-01-28 16:45:13 +01:00
Dmitry Kalinkin b8d6cc8157
Merge pull request #54520 from veprbl/pr/sherpa_2.2.6
sherpa: 2.2.5 -> 2.2.6
2019-01-27 22:01:53 -05:00
Matthew Bauer 92f0f8dd68 Merge remote-tracking branch 'NixOS/master' into staging 2019-01-27 00:01:13 -05:00
Michael Raskin cc74c0399e leo3: init at 1.2 2019-01-27 01:57:11 +01:00
Artemis Tosini 51a2a08d6e
mathematica: 11.2.0 -> 11.3.0
Note that this only affects the English version, as I do not have access
to the hash for the Japanese version.
2019-01-25 15:29:02 +00:00
Dmitry Kalinkin d28bce307e
sherpa: 2.2.5 -> 2.2.6 2019-01-24 18:46:15 -05:00
worldofpeace 78da8d668b pantheon: init a 5.0 2019-01-24 20:54:14 +00:00
Vincent Laporte b76961124d coq_8_9: 8.9+beta1 -> 8.9.0 2019-01-24 09:08:51 +00:00
Michael Raskin ebb370f680 z3-tptp: init
Z3 ships a TPTP-supporting wrapper as an example; allow building it
2019-01-22 16:51:18 +01:00
Vladimír Čunát 3fe32b675e
Merge branch 'master' into staging 2019-01-22 15:59:42 +01:00
Dmitry Kalinkin 958201a98f
Merge pull request #48675 from veprbl/pr/xfitter_fix
xfitter: runtime fixes
2019-01-20 20:00:02 -05:00
Mario Rodas 9a18d9356d
lean: 3.4.1 -> 3.4.2 2019-01-20 06:46:37 -05:00
Austin Seipp 5069fa0a30 nixpkgs: remove sapic-0.9
SAPIC is bundled with Tamarin and doesn't have separate releases
anymore; add an appropriate 'throw' clause to the alias so people know
where to find it.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-19 18:54:38 -06:00
Austin Seipp fc159594a7 tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic
With this, we can drop the old 1.4.0 patches for 8.4 support, since
those are now upstream.

Furthermore, SAPIC Is now bundled inside Tamarin, so we can drop the
external dependency. (This includes a patch that compiles SAPIC to
native code, much like the original, to reduce closure size.)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-19 18:54:38 -06:00
Dmitry Kalinkin 0f3758b5e6
Merge pull request #53839 from fusion809/marvin
marvin: init at 19.1.0
2019-01-19 15:50:49 -05:00
Frederik Rietdijk d531da6f8a
Merge pull request #54094 from rnhmjoj/shell
treewide: use ${stdenv.shell} instead of /bin/sh where possible
2019-01-19 14:15:51 +01:00
Timo Kaufmann d34f44db45
sage: fix transient ecl error (#54285)
Sometimes the doctests fail because ecl races to create a directory.
This should fix that by making sure each process has its own directory.
2019-01-18 23:02:03 +01:00
markuskowa 4545aaa671
Merge pull request #54209 from r-ryantm/auto-update/gmsh
gmsh: 4.0.7 -> 4.1.0
2019-01-18 11:40:48 +01:00
worldofpeace ce69fadb36
Merge pull request #54153 from r-ryantm/auto-update/picard-tools
picard-tools: 2.18.21 -> 2.18.23
2019-01-18 01:51:04 +00:00
R. RyanTM 55ea7b1bbe gmsh: 4.0.7 -> 4.1.0
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions
2019-01-17 12:55:54 -08:00
Timo Kaufmann e379ee67c3 sage: 8.5 -> 8.6 2019-01-17 20:39:02 +01:00
Timo Kaufmann 29e150d85f
Merge pull request #54127 from timokau/gap-improvements
gap: install libgap, add packageSet option
2019-01-17 20:38:38 +01:00
Timo Kaufmann cf63a8c94c gap: add packageSet option
Two reasons for this:

- more fine-grained space/functionality tradeoff

- preparation for the sage 8.6 update, which finally doesn't need a
  downgraded gap anymore but does break when unexpected (non-standard)
  packages are installed. Details: https://trac.sagemath.org/ticket/26983

The proper way to deal with gap packages would be to create a package
set, package each one individually and have something like gap
equivalent of `python.withPackages`. I am not willing to do that
however.
2019-01-17 10:10:24 +01:00
Timo Kaufmann bb173ec8e3 gap: install libgap
There are some starts of a `make install`, but nothing complete yet.
Upstream now ships a `libgap` as a replacement of the custom one used by
sagemath.
2019-01-17 10:10:21 +01:00
R. RyanTM b2a7ef628a picard-tools: 2.18.21 -> 2.18.23
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
2019-01-16 21:43:19 -08:00
Timo Kaufmann 6bbd0596dd gap: add timokau as maintainer
So that I'll be notified on changes which likely impact sage.
2019-01-16 23:41:31 +01:00
Timo Kaufmann a8dbc5e313
python.pkgs.cypari2: 1.3.1 -> 2.0.3 (#54093)
Upstream issues should be fixed now, see https://trac.sagemath.org/ticket/26442.
Sage needs a patch to adapt.
2019-01-16 22:15:40 +01:00
rnhmjoj bcf54ce5bb
treewide: use ${stdenv.shell} instead of /bin/sh where possible 2019-01-16 20:37:15 +01:00
Gabriel Ebner 49db581e8c elan: 0.7.1 -> 0.7.2 2019-01-15 10:05:45 +01:00
Brenton Horne 6be5e679b1 marvin: init at 19.1.0
Also adding myself (fusion809) as a maintainer.
The marvin Nix file in this commit is largely thanks to @msteen.
2019-01-15 00:23:38 +10:00
Johannes Frankenau bebf305c1b gurobi: 8.0.1 -> 8.1 (#53884) 2019-01-13 23:22:55 +01:00
R. RyanTM 26b492b207 minimap2: 2.10 -> 2.14 (#52845)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minimap2/versions
2019-01-13 22:34:45 +01:00
Vladimír Čunát bde8efe792
Merge branch 'master' into staging-next
A couple thousand rebuilds have accumulated on master.
2019-01-12 12:19:34 +01:00
Dmitry Kalinkin 73625f2522 root5: mark as broken on Linux 2019-01-11 20:45:37 -05:00
Dmitry Kalinkin 0c9335fb1c root, root5: fix build on darwin 2019-01-11 20:45:37 -05:00
tbenst d34f2b9b96 bftools: init at 5.9.2 (#53769) 2019-01-10 18:28:28 -05:00
markuskowa b70a4b2b98
Merge pull request #53478 from bgamari/bump-ngspice
ngspice: 29 -> 30
2019-01-10 20:17:54 +01:00
Vladimír Čunát 287144e342
Merge branch 'master' into staging-next 2019-01-10 13:07:21 +01:00
Austin Seipp c10650760d yices: s/fetchurl/fetchFromGitHub/
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Austin Seipp 38aa0a3df4 z3: 4.8.3 -> 4.8.4
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Austin Seipp d77f381055 symbiyosys: 2018.09.12 -> 2018.12.09
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-01-08 19:15:24 -06:00
Simon Lackerbauer f7367cbf1c abella: 2.0.5 -> 2.0.6 2019-01-08 17:05:30 +00:00
R. RyanTM bd7eec5d9c pynac: 0.7.22 -> 0.7.23 (#53559)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pynac/versions
2019-01-07 14:52:18 +01:00
Vladimír Čunát 10a12194e3
Merge #53490: fix treewide linking errors after #51770
Issue #53001.  This might not be all of them, but let's not wait.
2019-01-06 12:14:52 +01:00
Frederik Rietdijk a4250d1478 Merge staging-next into staging 2019-01-06 09:48:31 +01:00
Frederik Rietdijk e5381cdece Merge master into staging-next 2019-01-06 09:36:23 +01:00
Jörg Thalheim 37fe593d48
cryptominisat: switch to python3 2019-01-05 16:38:10 +01:00
Jörg Thalheim 4a4d1d6497
cryptominisat: 5.0.1 -> 5.6.6 2019-01-05 12:45:44 +01:00
Frederik Rietdijk 60a3973a55 Merge staging-next into staging 2019-01-05 10:15:00 +01:00
Piotr Bogdan 71f216b7e6 golly-beta: link with lib{dl,GL} explicitly 2019-01-04 21:44:19 +00:00
Piotr Bogdan ae7557c4cb avogadro: fix libX11 underlinking 2019-01-04 21:13:57 +00:00
Frederik Rietdijk 9618abe87c Merge master into staging-next 2019-01-04 21:13:19 +01:00
Lengyel Balazs f4a53ff3bc treewide/xorg: replace *proto with xorgproto 2019-01-04 14:38:57 +01:00
Frederik Rietdijk 0a2caa41fe Python: drop python.majorVersion
Drop `python.majorVersion`. For Python language version, use `python.pythonVersion`.
For implementation version, use `python.sourceVersion`.

Some expressions were broken. Those that were identified were fixed.

fixup major
2019-01-04 10:45:22 +01:00
R. RyanTM c7afdaf5cd gtkwave: 3.3.97 -> 3.3.98
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gtkwave/versions
2019-01-03 16:44:01 -05:00
Ben Gamari 537b0ac9be ngspice: 29 -> 30
Just a simple bump.
2019-01-03 16:16:51 -05:00
Frederik Rietdijk 2da31b80bb Merge master into staging-next 2019-01-03 20:07:35 +01:00
markuskowa d38f103586
Merge pull request #53312 from r-ryantm/auto-update/gromacs
gromacs: 2018.4 -> 2019
2019-01-03 18:52:49 +01:00
R. RyanTM 344fd2319b gromacs: 2018.4 -> 2019
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gromacs/versions
2019-01-03 05:58:09 -08:00
R. RyanTM c00dbcb7c4 picard-tools: 2.18.20 -> 2.18.21
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
2019-01-03 08:39:10 +01:00
Frederik Rietdijk 092e3b50a8 Merge master into staging-next 2019-01-02 21:08:27 +01:00
Vladimír Čunát 70bff06140
Merge branch 'master' into staging 2019-01-02 17:19:23 +01:00
R. RyanTM e6d8d29f30 kicad: 5.0.1 -> 5.0.2 (#52866)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/kicad/versions
2019-01-01 20:02:29 +01:00
Frederik Rietdijk 070290bda7 Merge master into staging-next 2018-12-31 12:00:36 +01:00
Vincent Laporte ea92816c74 why3: 1.1.0 -> 1.1.1 (#52980) 2018-12-29 21:05:23 +01:00
Timo Kaufmann 7abdacc4f2
Merge pull request #51039 from timokau/sage-8.5
sage: 8.4 -> 8.5
2018-12-29 16:15:38 +01:00
Timo Kaufmann 8cd7b5aab3
gap: 4r8p10 -> 4.10.0 (#53037)
This new version also has a libgap replacement, so after the next sage
update gap-libgap-compatible and libgap won't be necessary anymore.
2018-12-29 16:05:56 +01:00
Timo Kaufmann 22c16ed300 Merge remote-tracking branch 'upstream/master' into sage-8.5 2018-12-29 12:16:02 +01:00
Timo Kaufmann 95909d4fb6 Revert "sage: preload openblasCompat"
This reverts commit 4900bbee17.

The issue that was supposed to fix is now fixed by lazy-loading rpy2 and
makign sure scipy is loaded before that.
That is not quite as nice, but preloading is now causing its own issues
with openblas 0.3.4:
https://github.com/xianyi/OpenBLAS/issues/1936
2018-12-28 23:06:05 +01:00
Timo Kaufmann 360eddd3a3 sage: remove outdated patch files 2018-12-28 23:06:05 +01:00
Timo Kaufmann 6f0f06ec89 sage: 8.5.rc1 -> 8.5 2018-12-28 23:06:05 +01:00
Andrey Komarov bc7aa5d202 iverilog: 2017.08.12 -> 2018.12.15 2018-12-28 07:53:36 -06:00
Frederik Rietdijk 10afccf145 Merge staging-next into staging 2018-12-27 18:11:34 +01:00
R. RyanTM 338cf1a7fc igv: 2.4.15 -> 2.4.16
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions
2018-12-26 10:44:01 +01:00
Jan Tojnar c45e9d0fac
Merge branch 'master' into staging 2018-12-25 17:03:57 +01:00
Alexey Shmalko a5306b311b
Merge pull request #52768 from r-ryantm/auto-update/stellarium
stellarium: 0.18.2 -> 0.18.3
2018-12-24 16:38:24 +02:00
Jan Tojnar ef935fa101
Merge branch 'master' into staging 2018-12-24 15:02:29 +01:00
R. RyanTM c6cc68a510 stellarium: 0.18.2 -> 0.18.3
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/stellarium/versions
2018-12-24 04:42:47 -08:00
Jörg Thalheim 5bae6dea20
Merge pull request #52669 from r-ryantm/auto-update/verilator
verilator: 4.006 -> 4.008
2018-12-22 12:51:50 +01:00
R. RyanTM d4021ad9e4 verilator: 4.006 -> 4.008
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/verilator/versions
2018-12-22 03:33:41 -08:00
Dmitry Kalinkin 62aea9510c
Merge pull request #51796 from bachp/dsview-0.99
dsview: init at 0.99
2018-12-21 17:40:40 -05:00
Alex Branham a5fc513079 R: 3.5.1 -> 3.5.2
Closes https://github.com/NixOS/nixpkgs/pull/52571.
2018-12-21 13:59:36 +01:00
Pascal Bach 3facb3bf79 dsview: init at 0.99 2018-12-21 10:24:16 +01:00
Samuel Dionne-Riel 3c38cc8058
Merge pull request #51813 from samueldr/aarch64/disable-non-arm-builds-part-1
aarch64: ZHF for aarch64 (1/??)
2018-12-20 21:06:52 -05:00
Renaud 6f5ec9d889
Merge pull request #52134 from r-ryantm/auto-update/picard-tools
picard-tools: 2.18.17 -> 2.18.20
2018-12-19 17:53:47 +01:00
Frederik Rietdijk 9ab61ab8e2 Merge staging-next into staging 2018-12-19 09:00:36 +01:00
volth fed7914539
Merge branch 'staging' into make-perl-pathd 2018-12-18 17:13:27 +00:00
Renaud 921caad16d
Merge pull request #52284 from r-ryantm/auto-update/gtkwave
gtkwave: 3.3.95 -> 3.3.97
2018-12-17 16:23:56 +01:00
Gabriel Ebner 21597583f9
Merge pull request #52067 from r-ryantm/auto-update/qalculate-gtk
qalculate-gtk: 2.8.1 -> 2.8.2
2018-12-17 09:46:32 +01:00
markuskowa 96b0a38f07
Merge pull request #52015 from r-ryantm/auto-update/star
star: 2.6.1c -> 2.6.1d
2018-12-16 23:38:37 +01:00
Timo Kaufmann b09967d812 sage: 8.5.rc0 -> 8.5.rc1 2018-12-16 21:33:28 +01:00
Jörg Thalheim 33c227c23b
Merge pull request #52392 from r-ryantm/auto-update/calc
calc: 2.12.7.1 -> 2.12.7.2
2018-12-16 17:33:43 +00:00
R. RyanTM ae22d3dc85 cubicle: 1.1.1 -> 1.1.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cubicle/versions
2018-12-16 17:24:47 +01:00
R. RyanTM 67536060ac calc: 2.12.7.1 -> 2.12.7.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/calc/versions
2018-12-16 07:44:09 -08:00
R. RyanTM b26ba90c34 jmol: 14.29.28 -> 14.29.29 (#52275)
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/jmol/versions
2018-12-16 09:22:07 +01:00
R. RyanTM 54ece098fd gtkwave: 3.3.95 -> 3.3.97
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gtkwave/versions
2018-12-15 18:07:39 -08:00
Michael Raskin 2f0cbb34cf
Merge pull request #52171 from r-ryantm/auto-update/pari
pari: 2.11.0 -> 2.11.1
2018-12-15 12:08:50 +00:00
markuskowa feb0aba969
Merge pull request #52153 from r-ryantm/auto-update/octopus
octopus: 8.2 -> 8.3
2018-12-15 11:46:44 +01:00
R. RyanTM 943e6fa283 pari: 2.11.0 -> 2.11.1
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pari/versions
2018-12-14 22:17:15 -08:00
volth bb9557eb7c lib.makePerlPath -> perlPackages.makePerlPath 2018-12-15 03:50:31 +00:00
R. RyanTM b8e09ad0b5 octopus: 8.2 -> 8.3
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/octopus/versions
2018-12-14 19:45:56 -08:00
R. RyanTM b261fb0474 picard-tools: 2.18.17 -> 2.18.20
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
2018-12-14 16:27:07 -08:00
R. RyanTM a7e1717d4b qalculate-gtk: 2.8.1 -> 2.8.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/qalculate-gtk/versions
2018-12-14 07:37:22 -08:00
luz.paz ab9532b1fe gmsh: 4.0.5 -> 4.0.7 2018-12-14 08:01:20 -05:00
R. RyanTM 87481c2ff1 star: 2.6.1c -> 2.6.1d
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/star/versions
2018-12-14 01:07:34 -08:00
Samuel Dionne-Riel 5e1dfd3025 avy: Disable build on aarch64-linux 2018-12-10 14:55:20 -05:00
Samuel Dionne-Riel 7aabdea1ca aspino: Disable build on aarch64-linux
This is due to glucose not building.
2018-12-10 14:55:20 -05:00
Samuel Dionne-Riel 516f436614 glucose: Disable build on aarch64-linux 2018-12-10 14:55:20 -05:00
Timo Kaufmann 90bc5ce04d sage: 8.5.beta5 -> 8.5.beta6 2018-12-10 19:36:24 +01:00
Timo Kaufmann f0ea741a9a
Merge pull request #51786 from symphorien/giac-1.5
giac: 1.4.9 -> 1.5.0
2018-12-10 13:40:03 +01:00
Maximilian Bosch de02111a51
Merge pull request #51534 from jbedo/bowtie2
bowtie2: fix missing dependencies
2018-12-10 00:58:51 +01:00
Symphorien Gibol 29242e472e giac: build with nauty support 2018-12-09 23:18:58 +01:00
Symphorien Gibol 2253b3e760 nauty: also install libs 2018-12-09 23:18:53 +01:00
Symphorien Gibol 8b4f885264 giac: add missing optional dependencies 2018-12-09 23:18:53 +01:00
Symphorien Gibol e7801461e0 giac: don't split in multiple outputs for when gui enabled
This breaks the Phys and Turtle menu, among other things.
2018-12-09 23:18:53 +01:00
Symphorien Gibol b5435d0551 giac: 1.4.9 -> 1.5.0 2018-12-09 23:18:46 +01:00
Frederik Rietdijk e0950ae9ad Merge master into staging-next 2018-12-08 12:40:13 +01:00
Sebastien Maret da314a44ea gildas: 20181101_a -> 20181201_a 2018-12-06 12:02:05 +01:00
Justin Bedo 8c5251e3c0
bowtie2: fix missing dependencies 2018-12-05 10:51:30 +11:00
Frederik Rietdijk a510aa2672 Merge master into staging-next 2018-12-03 12:18:43 +01:00
Timo Kaufmann 5f2b8de75c
Revert "pythonPackages.cypari2: 1.3.1 -> 2.0.1 (#49446)" (#51414)
This reverts commit d9b650f4cc.

The update is causing segfaults. See
https://trac.sagemath.org/ticket/26442.
2018-12-03 00:44:33 +01:00
markuskowa 506d4c7e44
Merge pull request #51329 from c0bw3b/cleanup/gnu-https
Favor HTTPS URLs - the GNU edition
2018-12-02 16:52:33 +01:00
c0bw3b 0498ccd076 Treewide: use HTTPS on GNU domains
HTTP -> HTTPS for :
- http://gnu.org/
- http://www.gnu.org/
- http://elpa.gnu.org/
- http://lists.gnu.org/
- http://gcc.gnu.org/
- http://ftp.gnu.org/ (except in fetchurl mirrors)
- http://bugs.gnu.org/
2018-12-02 15:51:59 +01:00
c0bw3b 0f868d8116 Treewide: use HTTPS on SourceForge 2018-12-02 15:33:08 +01:00
Jan Tojnar a51a99c690
gobject-introspection: rename package
camelCase package name was a huge inconsistency in GNOME package set.
2018-12-02 12:42:29 +01:00
Brenton Horne 10f40f3ac6 scilab-bin: adding application launchers
Moving the desktop configuration files from
opt/scilab-$ver/share/applications to share/applications, making the
required changes, and moving the icons in opt/scilab-$ver/share/icons to
share/icons. Moving locales, appdata and mime out of there
opt/scilab-${ver} too. Also removing unneeded scilab-${ver} and
scilab-${majorVer} symlinks from bin/.
2018-12-02 17:53:40 +10:00
Brenton Horne 7041972128 scilab-bin: adding bin/scilab symlink (#51346)
Should fix #51343, merely adding a scilab symlink within the bin/ directory, so that it can be detected by SageMath.
2018-12-01 23:25:40 +01:00
Timo Kaufmann 88b69a0d40
Merge pull request #51337 from timokau/sagenb-matplotlib-fix
sage: misc fixes
2018-12-01 22:04:48 +01:00
Timo Kaufmann 0e570199de sage: fix jmol integration 2018-12-01 21:31:29 +01:00
Timo Kaufmann cb73495f02 sagenb: fix matplotlib path 2018-12-01 20:41:40 +01:00
Timo Kaufmann d9b650f4cc
pythonPackages.cypari2: 1.3.1 -> 2.0.1 (#49446) 2018-12-01 12:57:55 +01:00
Jan Tojnar c5881ec2c9
Merge remote-tracking branch 'upstream/master' into staging 2018-11-30 20:09:45 +01:00
Frederik Rietdijk 1828a5c5ba Merge master into staging-next 2018-11-30 17:46:21 +01:00
Matthew Bauer 76c7a8bac0
Merge pull request #51205 from matthewbauer/more-setup-hooks
Add premake & imake setup hook
2018-11-29 19:36:25 -06:00
Frederik Rietdijk 9b81c7e455 Merge staging-next into staging 2018-11-29 09:18:35 +01:00
Frederik Rietdijk 9db2421d1f Merge master into staging-next 2018-11-29 08:12:56 +01:00
Matthew Bauer c0a804c747 treewide: add dontUseImakeConfigure where needed
We need to set dontUseImakeConfigure in a few places to prevent imake
from overriding the default configure phase. This packages all have a
configure script that needs to get run:

- Xaw3d
- R
- tkgate
- ssvnc
2018-11-28 20:14:45 -06:00
Matthew Bauer 8a4da41849 xearth: use imake setup hook 2018-11-28 20:14:36 -06:00
Will Dietz d7a0e03cfa
Merge pull request #51162 from dtzWill/update/z3-4.8.3
z3: 4.8.1 -> 4.8.3
2018-11-28 18:15:31 -06:00
Timo Kaufmann aa053197de
Merge pull request #51191 from timokau/sage-fixes
sage: fix test timeout and downgraded R tests
2018-11-28 23:10:32 +01:00
Timo Kaufmann d6376bca6d sage: don't test the downgraded R
Fails transiently. See https://github.com/NixOS/nixpkgs/pull/49249. The
failures look harmless and are fixed with R 3.5 which will be used in
sage 8.5.
2018-11-28 22:52:15 +01:00
Timo Kaufmann 359bf7f1e3 sage: disable test timeout
Hydra build failed due to timeout:
https://hydra.nixos.org/build/84870983
2018-11-28 22:37:24 +01:00
Timo Kaufmann 4900bbee17 sage: preload openblasCompat 2018-11-28 20:44:09 +01:00
Renaud d209180c78
Merge pull request #51087 from Luz/librepcb
librepcb: 20181031 -> 0.1.0
2018-11-28 08:19:13 +01:00
Will Dietz a034d90e3b z3: 4.8.1 -> 4.8.3
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
2018-11-27 22:00:19 -06:00
Timo Kaufmann 7ca2915a50 sage: 8.5.beta4 -> 8.5.beta5 2018-11-27 18:26:16 +01:00
Timo Kaufmann 2dd9a0ed72 Merge remote-tracking branch 'upstream/master' into sage-8.5 2018-11-27 18:25:39 +01:00
R. RyanTM 36a0335d02 picard-tools: 2.18.14 -> 2.18.17 (#50647)
* picard-tools: 2.18.14 -> 2.18.16

Changelog: https://github.com/broadinstitute/picard/releases/tag/2.18.16
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions

* picard-tools: 2.18.16 -> 2.18.17

Changelog: https://github.com/broadinstitute/picard/releases/tag/2.18.17
2018-11-27 14:31:09 +01:00
Nick Hu 583911a0b2 quantomatic: init at 0.7 2018-11-26 21:51:58 +00:00
Luz 021b6e86fa librepcb: 20181031 -> 0.1.0 2018-11-26 22:33:39 +01:00
Vladimír Čunát a5de78b7d7
Merge branch 'master' into staging-next 2018-11-26 10:28:00 +01:00
Timo Kaufmann 90cebaf828 sage: 8.5.beta3 -> 8.5.beta4 2018-11-25 19:39:18 +01:00
Timo Kaufmann 2a87caa892 sage: 8.5.beta2 -> 8.5.beta3 2018-11-25 19:39:17 +01:00
Timo Kaufmann 3370247f7f sage: 8.5.beta1 -> 8.5.beta2 2018-11-25 19:39:17 +01:00
Timo Kaufmann 883aa99226 sage: add short tests 2018-11-25 19:39:13 +01:00
Timo Kaufmann 8e7da1b8a4 sage: 8.5.beta0 -> 8.5.beta1 2018-11-25 19:36:21 +01:00
Timo Kaufmann 6138f5d5eb sage: 8.4 -> 8.5.beta0 2018-11-25 19:36:21 +01:00
Timo Kaufmann 2fbde72556
sage: add tkinter as matplotlib backend (#51032)
Fixes #50959.
2018-11-25 17:38:45 +01:00
Timo Kaufmann 98c94d3d7d sage: add jupyter notebook support
Fixes #48544.
2018-11-25 15:54:31 +01:00
Timo Kaufmann 0c23fa9aaf
Merge pull request #50998 from timokau/sage-refactor
Sage refactor
2018-11-24 23:59:28 +01:00
Timo Kaufmann a0723f1285 sage: don't fix node version 2018-11-24 23:14:38 +01:00
Timo Kaufmann e28a8ed287 sage: add some flexibility to the test runner
Make it possible to run individual tests. This is very useful while
git-bisecting.
2018-11-24 23:14:38 +01:00
Timo Kaufmann 21f9123ea6 sage: remove openblas hack
The pc files have since been included into the openblas package.
2018-11-24 23:14:38 +01:00
Timo Kaufmann 3832ddedb9 sage: refactor 2018-11-24 23:14:33 +01:00
c0bw3b 0ea604ac1d Treewide: use https for SourceForge 2018-11-24 19:58:03 +01:00
Timo Kaufmann 9b4a518465 sage: drop known-padics-failure patch
The failure was not observed for a while and is probably fixed now.
2018-11-24 19:01:57 +01:00
Timo Kaufmann ca6475b5e8 sage: drop unused patches 2018-11-24 19:01:57 +01:00
Frederik Rietdijk c1792242ef Merge staging-next into staging 2018-11-24 10:44:50 +01:00
Frederik Rietdijk e41154d1ab Merge master into staging-next 2018-11-24 10:43:33 +01:00
Gabriel Ebner 4e1323a0cf vampire: fix nondeterministic hash
Probably related to #8567
2018-11-22 14:15:55 +01:00
Michael Raskin 6fe39605df polymake: init at 3.2r4 2018-11-22 12:29:14 +03:00
Frederik Rietdijk 2219e2578e Merge staging-next into staging 2018-11-22 10:10:40 +01:00
Frederik Rietdijk c31cb577ae Merge master into staging-next 2018-11-22 09:57:08 +01:00
worldofpeace 2e70b40f58
Merge pull request #49376 from dpaetzel/package-netlogo
NetLogo: init 6.0.4
2018-11-21 21:37:01 -05:00
Frederik Rietdijk fed881e510 Merge staging-next into staging 2018-11-21 12:39:46 +01:00
Frederik Rietdijk 701375662b Merge master into staging-next 2018-11-21 12:39:20 +01:00
Gabriel Ebner f505340252 iprover: 2.5 -> 2018_Jul_24_11h 2018-11-21 12:15:48 +01:00
David Pätzel fa623ad828 netlogo: init 6.0.4 2018-11-21 09:38:22 +01:00
Matthew Bauer d492f53faf
Merge pull request #50527 from matthewbauer/ninja-check-phase
Add check phase to ninja setup hook
2018-11-20 16:55:12 -06:00
markuskowa 0e98312b72
Merge pull request #50734 from r-ryantm/auto-update/gromacs
gromacs: 2018.3 -> 2018.4
2018-11-20 22:14:05 +01:00
Frederik Rietdijk aabf1a93bc Merge staging-next into staging 2018-11-20 11:51:11 +01:00
Frederik Rietdijk fd26e7be2a Merge master into staging-next 2018-11-20 11:47:26 +01:00
Renaud 6550c0275e
Merge pull request #50703 from r-ryantm/auto-update/ltl2ba
ltl2ba: 1.2b1 -> 1.2
2018-11-19 22:21:52 +01:00
luzpaz 0ec2af3736
gmsh: 4.0.4 -> 4.0.5
Manually updated
2018-11-19 11:12:38 -05:00
R. RyanTM 08a0192340 gromacs: 2018.3 -> 2018.4
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gromacs/versions
2018-11-19 06:47:47 -08:00
R. RyanTM 5648699f6c ltl2ba: 1.2b1 -> 1.2
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ltl2ba/versions
2018-11-19 02:28:38 -08:00
Frederik Rietdijk e343a85cfb Merge master into staging-next 2018-11-19 09:55:32 +01:00
Matthew Bauer 2c47a4229f treewide: remove ctest usages
These are already in the generated makefiles!
2018-11-18 19:31:02 -06:00
Matthew Bauer 2c1d3a9a82 Merge remote-tracking branch 'upstream/master' into staging 2018-11-18 19:02:09 -06:00
Jörg Thalheim 1282ba6ac4
Merge pull request #50554 from r-ryantm/auto-update/verilator
verilator: 4.004 -> 4.006
2018-11-18 12:18:45 +00:00
Frederik Rietdijk 0d0d7dcd06 Merge staging-next into staging 2018-11-18 10:41:34 +01:00
Frederik Rietdijk 63c6875f26 Merge master into staging-next 2018-11-18 10:32:12 +01:00
R. RyanTM ee521455da verilator: 4.004 -> 4.006
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/verilator/versions
2018-11-18 00:14:21 -08:00
Renaud 44f24a1b8c
Merge pull request #50474 from Pneumaticat/boinc-update
boinc: 7.8.0 -> 7.14.2
2018-11-17 12:03:09 +01:00
Jörg Thalheim 131f2e93b6
sage: unpin nodePackage version 2018-11-16 21:24:25 +00:00
Kevin Liu c93b16829c
boinc: 7.8.0 -> 7.14.2 2018-11-16 15:52:22 -05:00
Ben Darwin cb6d819b93 niftyseg: init at 1.0.0 2018-11-16 12:29:29 -05:00
Ben Darwin 6aa3deeb50 niftyreg: init at 1.3.9 2018-11-16 12:24:53 -05:00
Jörg Thalheim 218f12db70
Merge pull request #50324 from asymmetric/solc
solc: 0.4.25 -> 0.5.0
2018-11-15 21:26:32 +00:00
Jörg Thalheim abb0c81190
z3: restrict to x86_64
it uses x86-only header:

include <immintrin.h>
          ^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
2018-11-15 21:25:53 +00:00
Piotr Bogdan 5d0eeeee38 coq2html: switch to default make 2018-11-15 17:41:25 +00:00
Gabriel Ebner b1c149d47a tptp: use urls instead of url
nix-prefetch-url breaks if the url argument to fetchurl is a list.
2018-11-15 15:56:18 +01:00
Gabriel Ebner b3844d00f6 tptp: 7.1.0 -> 7.2.0 2018-11-15 15:50:48 +01:00
Renaud 650036f022
Merge pull request #50359 from jfrankenau/gurobi-java
gurobi: install Java library files
2018-11-15 14:13:47 +01:00
Johannes Frankenau b4e13e6257 gurobi: install Java library files 2018-11-14 19:38:18 +01:00
Jörg Thalheim 987bd62232
Merge pull request #50232 from wucke13/master
qgroundcontrol: fixes #49870
2018-11-14 17:10:05 +00:00
Renaud 7ca9d67948
Merge pull request #50102 from r-ryantm/auto-update/gp2c
gp2c: 0.0.11 -> 0.0.11pl1
2018-11-14 16:07:49 +01:00
wucke13 c26b42be74 qgroundcontrol: fixes #49870
The `.desktop` referenced a non existent script to run `QGroundControl`. This commits adds a `sed` command, which replaces the non existent script by the name of the `QGroundControl` binary in the relevant `.desktop` file.
2018-11-14 13:12:20 +01:00
markuskowa f597a88542
Merge pull request #50101 from r-ryantm/auto-update/gmsh
gmsh: 4.0.2 -> 4.0.4
2018-11-14 12:46:48 +01:00
Markus Kowalewski 644ab709e7
gmsh: restrict platform to x86_64-linux 2018-11-14 12:33:37 +01:00