Renaud
71c6157fd7
Merge pull request #58534 from bzizou/sumatools.dev
...
sumatools: init at 1.0.34
2019-04-24 22:34:35 +02:00
Renaud
9f26d537e8
Merge pull request #59516 from r-ryantm/auto-update/gmsh
...
gmsh: 4.2.2 -> 4.2.3
2019-04-24 20:40:56 +02:00
worldofpeace
c8c0bd1fea
Merge pull request #51285 from expipiplus1/fped
...
fped: init at unstable-2017-05-11
2019-04-23 06:52:50 -04:00
markuskowa
d0e70ac2d3
Merge pull request #60010 from JohnAZoidberg/https-urls
...
HTTPS urls
2019-04-22 23:37:07 +02:00
Austin Seipp
b0fea1dc9c
verilog: 2018.12.15 -> 2019.03.27, parallel build
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-22 14:27:45 -05:00
Austin Seipp
fe8eb566b5
symbiyosys: 2019.03.28 -> 2019.04.18
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-22 14:27:45 -05:00
Daniel Schaefer
bac4d95aa2
treewide: Change URLs to HTTPS
...
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
2019-04-22 10:19:54 +02:00
Timo Kaufmann
512097dece
Merge pull request #59921 from timokau/gap-update
...
gap: 4.10.0 -> 4.10.1
2019-04-20 13:17:04 +02:00
R. RyanTM
0dc3184871
picard-tools: 2.18.27 -> 2.19.0 ( #59634 )
...
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-04-20 13:15:40 +02:00
Timo Kaufmann
9c7f774a39
gap: mark as broken on darwin
...
Has been failing to build for a while.
2019-04-20 12:36:11 +02:00
Timo Kaufmann
af6739fdd7
gap: 4.10.0 -> 4.10.1
2019-04-20 09:54:27 +02:00
Aaron Andersen
77dbfa3a55
Merge pull request #53803 from jfrankenau/init-groove
...
groove: init at 5.7.4
2019-04-19 20:27:18 -04:00
Aaron Andersen
11cf1a282d
Merge pull request #58377 from bzizou/exonerate
...
exonerate: init at 2.4.0
2019-04-19 13:25:49 -04:00
Mario Rodas
f84a7b3828
Merge pull request #59834 from luispedro/add_prodigal
...
Prodigal: init at 2.6.3
2019-04-19 09:50:03 -05:00
Bruno Bzeznik
6a8c9bff8f
exonerate: init at 2.4.0
2019-04-19 14:58:57 +02:00
Bruno Bzeznik
90b4796c60
sumatools: init at 1.0.34
2019-04-19 14:43:40 +02:00
Johannes Frankenau
e7f021ca93
groove: init at 5.7.4
2019-04-19 13:34:30 +02:00
Luis Pedro Coelho
3fc55eec05
Prodigal: init at 2.6.3
2019-04-19 08:38:14 +02:00
Timo Kaufmann
49b8efcb84
sage: 8.6 -> 8.7
...
https://groups.google.com/forum/#!topic/sage-release/3m8PV9JkFro
2019-04-17 22:44:32 +02:00
Timo Kaufmann
e0e5445667
sage: fix another transient sig_on bug
...
Caused a test failure on hydra, backporting upstream fix.
2019-04-17 19:58:07 +02:00
R. RyanTM
d11731130d
star: 2.7.0c -> 2.7.0f
...
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-04-16 18:30:49 +02:00
Michael Raskin
3d3a415f24
petrinizer: init at 0.9.1.1
2019-04-16 15:11:03 +02:00
Austin Seipp
bb27856a5c
Merge pull request #59522 from r-ryantm/auto-update/gtkwave
...
gtkwave: 3.3.99 -> 3.3.100
2019-04-16 02:12:25 -05:00
Matthew Bauer
f475aeaf29
Merge pull request #59535 from matthewbauer/homepage-fixes
...
treewide: update homepages to https where available
2019-04-15 20:47:30 -04:00
Matthew Bauer
290a5d916e
treewide: update homepages to https where available
...
Based on "problems" from repology:
https://repology.org/repository/nix_unstable/problems
Mostly simple changes to reflect redirects.
2019-04-15 10:10:05 -04:00
R. RyanTM
c906798997
jmol: 14.29.32 -> 14.29.36 ( #59546 )
...
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-04-15 12:02:41 +02:00
Austin Seipp
a5add1e623
symbiyosys: 2018.12.09 -> 2019.03.28
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-15 00:17:54 -05:00
Luis Pedro Coelho
13a1f2c296
eggnog-mapper: init at 1.0.3 ( #58905 )
2019-04-14 17:22:47 -07:00
R. RyanTM
8a4ad20ed0
gtkwave: 3.3.99 -> 3.3.100
...
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-04-14 14:47:32 -07:00
R. RyanTM
00d17e36ea
gmsh: 4.2.2 -> 4.2.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-04-14 13:15:32 -07:00
Timo Kaufmann
62c288ec20
python.pkgs.sympy: 1.3 -> 1.4 ( #59482 )
2019-04-14 17:52:03 +02:00
Michael Raskin
796050fedd
openmvs: mark as broken
2019-04-14 17:45:21 +02:00
R. RyanTM
c3a9b4e1fd
eagle: 9.3.1 -> 9.3.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/eagle/versions
2019-04-14 07:47:26 -07:00
markuskowa
87f595a1f0
Merge pull request #56615 from r-ryantm/auto-update/clp
...
clp: 1.16.11 -> 1.17.0
2019-04-14 12:05:32 +02:00
Markus Kowalewski
19dfffff3c
clp: restrict to x86_64-linux + darwin
2019-04-14 00:17:25 +02:00
Markus Kowalewski
e879991e1b
clp: 1.17.0 -> 1.17.11
2019-04-14 00:04:06 +02:00
Joe Hermaszewski
0e2d27f5af
fped: init at 2017-05-11
2019-04-13 13:36:46 +08:00
Julien Dehos
a13f5d0da1
mxnet: fix cuda support enabled build ( #48781 )
2019-04-12 10:31:22 +00:00
Frederik Rietdijk
993e2b4ec2
Merge pull request #59098 from NixOS/staging-next
...
Staging next
2019-04-11 18:23:14 +02:00
Frederik Rietdijk
230c67f43b
Merge master into staging-next
2019-04-11 07:50:23 +02:00
Dmitry Kalinkin
c321b64b3f
snakemake: 5.2.2 -> 5.4.4
2019-04-10 14:18:26 -04:00
xeji
cc118b4426
Merge pull request #58676 from smaret/gildas-update
...
gildas: update to 20190401_a
2019-04-10 14:30:50 +02:00
Frederik Rietdijk
d108b49168
Merge master into staging-next
2019-04-09 16:38:35 +02:00
Vladimír Čunát
f7ddff5c6d
R: fix regression from commit cbade453
#58989
...
Normally the directory is created in fixup phase.
2019-04-07 17:38:45 +02:00
Frederik Rietdijk
7f7da0a16f
Merge master into staging-next
2019-04-07 15:14:52 +02:00
rhokue
cbade453ac
R: explicitly declare which
as a run-time dependency
...
Fixes https://github.com/NixOS/nixpkgs/issues/58963 .
Closes https://github.com/NixOS/nixpkgs/pull/58989 .
2019-04-07 11:12:43 +02:00
Frederik Rietdijk
4a125f6b20
Merge master into staging-next
2019-04-07 08:33:41 +02:00
Timo Kaufmann
ceede33ddf
python.pkgs.cypari2: 2.0.3 -> 2.1.0 ( #59085 )
2019-04-06 21:46:13 +00:00
Pascal Wittmann
cfb6ade58c
Merge pull request #58931 from bzizou/migrate
...
migrate: init at 3.7.2
2019-04-06 14:23:50 +02:00
Vincent Laporte
50a03f8632
hol_light: 2018-09-30 -> 2019-03-27
2019-04-06 11:03:29 +02:00
Timo Kaufmann
6662fbc822
Merge pull request #58961 from timokau/nauty-features
...
nauty: disable cpu feature detection
2019-04-05 13:12:05 +00:00
Jan Tojnar
cb1a20499a
Merge branch 'master' into staging
2019-04-05 11:37:15 +02:00
Bruno Bzeznik
0b03f44c2f
migrate: init at 3.7.2
2019-04-05 09:01:36 +02:00
Timo Kaufmann
7f22a42976
nauty: disable cpu feature detection
2019-04-04 14:54:55 +02:00
Timo Kaufmann
15045e6233
nauty: add timokau as a maintainer
...
I'm interested in this package as a sage dependency.
2019-04-04 14:54:31 +02:00
Timo Kaufmann
5880c449dd
nauty: small refactoring
2019-04-04 14:54:05 +02:00
R. RyanTM
9f68f2a7dc
verilator: 4.010 -> 4.012
...
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-04-03 13:43:11 -05:00
markuskowa
e2ce5fd7fe
Merge pull request #58860 from r-ryantm/auto-update/quantum-espresso
...
quantum-espresso: 6.3 -> 6.4
2019-04-03 15:42:40 +02:00
Markus Kowalewski
c109aaa5cb
quantum-espresso: remove outdated makefile fix
2019-04-03 15:00:17 +02:00
markuskowa
126e1f8fd0
Merge pull request #58538 from bzizou/stacks
...
stacks: init at 2.3e
2019-04-03 14:41:00 +02:00
Bruno Bzeznik
e7899d2a00
stacks: init at 2.3e
2019-04-03 14:01:32 +02:00
R. RyanTM
882247fc3f
quantum-espresso: 6.3 -> 6.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/quantum-espresso/versions
2019-04-02 15:30:36 -07:00
Timo Kaufmann
69555825f8
eclib: 20180815 -> 20190226 ( #58801 )
...
Needs a sage patch, see
https://trac.sagemath.org/ticket/27360 .
2019-04-02 15:39:20 +00:00
Sébastien Maret
806a3fa2e6
gildas: 20190301_b -> 20190401_a
2019-04-02 09:04:39 +02:00
R. RyanTM
5f4e5553bc
jmol: 14.29.31 -> 14.29.32 ( #58698 )
...
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-04-01 20:12:53 +00:00
John Ericson
4ccb74011f
Merge commit '18aa59b0f26fc707e7313f8467e67159e61600c2' from master into staging
...
There was one conflict in the NixOS manual; I checked that it still
built after resolving it.
2019-04-01 00:40:03 -04:00
markuskowa
c637aeff19
Merge pull request #58541 from luispedro/add_megahit
...
megahit: init at 1.1.4
2019-03-31 12:51:59 +02:00
Luis Pedro Coelho
bf48451959
megahit: init at 1.1.4
...
This is widely used in bioinformatics for assembling genomes &
metagenomes
2019-03-31 05:56:14 +02:00
Dmitry Kalinkin
ea757ac59f
Merge pull request #58108 from veprbl/pr/root5_fix
...
root5: fix build
2019-03-30 22:36:23 -04:00
R. RyanTM
893abe12e8
bowtie2: 2.3.4.3 -> 2.3.5 ( #58014 )
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/bowtie2/versions
2019-03-31 00:37:38 +01:00
Silvan Mosberger
aadb1cbe26
Merge pull request #58494 from markuskowa/upd-octopus
...
octopus: 8.3 -> 8.4
2019-03-29 20:43:28 +01:00
markuskowa
7701fd7603
Merge pull request #58097 from r-ryantm/auto-update/ginac
...
ginac: 1.7.4 -> 1.7.5
2019-03-29 20:27:39 +01:00
Silvan Mosberger
030b845413
Merge pull request #58492 from markuskowa/upd-molden
...
molden: 5.9.3 -> 5.9.5
2019-03-29 20:16:08 +01:00
geistesk
5e6273df68
stellarium: 0.18.3 -> 0.19.0
2019-03-28 21:21:54 +01:00
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
Markus Kowalewski
ced40eabfd
gmsh: use openblas instead of atlas/lapack
...
* openblas is properly recognized by cmake
* the cmake patch is no longer neccessary
2018-11-14 11:41:46 +01:00
Matthew Bauer
2e18ba6c5a
Merge pull request #49776 from matthewbauer/atlas-remove
...
atlas: remove
2018-11-13 19:18:35 -06:00
markuskowa
2823b5e698
Merge pull request #46667 from costrouc/costrouc/lammps-update
...
lammps: update, hoomd-blue, dl_poly: init
2018-11-13 21:00:02 +01:00
Markus J. Ankenbrand
bf05da0967
hmmer: 3.1b2 -> 3.2.1 ( #50284 )
...
This version was released in June 2018 and has many bug fixes
and improvements compared to the previous version from 2015.
See: https://cryptogenomicon.org/2018/06/07/hmmer-3-2-release/
2018-11-13 15:43:44 +01:00
Frederik Rietdijk
3b052406ea
Merge staging-next into staging
2018-11-12 19:01:36 +01:00
Frederik Rietdijk
daf3297cb4
Merge master into staging-next
2018-11-12 18:59:08 +01:00
Peter Simons
22a802584f
Merge pull request #50179 from Thra11/r-without-jdk
...
R: Remove jdk dependency on aarch32/64
2018-11-12 12:42:39 +01:00
Frederik Rietdijk
1d3bff25db
Merge staging-next into staging
2018-11-11 14:28:08 +01:00
Frederik Rietdijk
7863aae5b2
Merge master into staging-next
2018-11-11 08:59:44 +01:00
markuskowa
45a4adb1b3
Merge branch 'master' into atlas-remove
2018-11-11 02:22:04 +01:00
Markus Kowalewski
6533d7588d
colpack: set platform to linux
2018-11-11 02:17:49 +01:00
Tom Hall
b51018ed2e
R: Remove jdk dependency on aarch32/64
...
Add javaSupport as an argument for R. Default to false on arm as there is no free jdk on arm.
2018-11-10 20:53:26 +00:00
R. RyanTM
2fd0c31673
calc: 2.12.6.8 -> 2.12.7.1 ( #50173 )
...
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-11-10 15:32:06 +01:00
Gabriel Ebner
698ad2dd4d
nasc: 0.5.0 -> 0.5.1
2018-11-10 14:18:31 +01:00
Gabriel Ebner
5f2a7607fa
qalculate-gtk: 2.6.2 -> 2.8.1
2018-11-10 13:17:17 +01:00
Frederik Rietdijk
53d00c3351
Merge master into staging-next
2018-11-10 11:08:54 +01:00
Timo Kaufmann
ea8d794026
Merge pull request #50092 from r-ryantm/auto-update/jmol
...
jmol: 14.29.26 -> 14.29.28
2018-11-10 10:13:35 +01:00
R. RyanTM
37f01d5bf8
igv: 2.4.14 -> 2.4.15 ( #50087 )
...
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-11-09 22:42:04 -05:00
R. RyanTM
f5b4eb63f3
gp2c: 0.0.11 -> 0.0.11pl1
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gp2c/versions
2018-11-09 17:56:17 -08:00
R. RyanTM
6f2bb3c275
gmsh: 4.0.2 -> 4.0.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/gmsh/versions
2018-11-09 17:41:49 -08:00
R. RyanTM
3902a47bed
jmol: 14.29.26 -> 14.29.28
...
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-11-09 16:17:35 -08:00
Jörg Thalheim
c44e7b2e1c
Merge pull request #50024 from r-ryantm/auto-update/ngspice
...
ngspice: 28 -> 29
2018-11-09 14:35:44 +00:00
R. RyanTM
791286efd9
ngspice: 28 -> 29
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ngspice/versions
2018-11-09 06:07:46 -08:00
Renaud
5810df24a7
Merge pull request #49834 from smaret/gildas-update
...
gildas: 20181001_b -> 20181101_a
2018-11-09 10:20:32 +01:00
Matthew Bauer
3dcb8c10f5
shogun: remove liblapack
...
not needed anymore
2018-11-08 14:42:29 -06:00
Gabriel Ebner
155595b0c7
eprover: 2.1 -> 2.2
2018-11-07 22:33:25 +01:00