jolheiser/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
191,449 Commits 266 Branches 122 Tags 5.3 GiB
a29ca8750e
Commit Graph

2883 Commits

Author SHA1 Message Date
Badi Abdul-Wahid
40b53a5d0d
tla+ toolbox: 1.5.7 -> 1.6.0 
Bumps to new release of TLA+ Toolbox.

Main change:
- toolbox now includes JRE so those external dependencies are no
longer needed.

Testing:
- nix-build -A tlaplusToolbox
- ./result/bin/tla-toolbox
- pdf generation
- validation of a simple pluscal model
 2019-08-04 09:27:13 -05:00
markuskowa
ad0ad1dc71
Merge pull request #65929 from r-ryantm/auto-update/gmsh 
gmsh: 4.4.0 -> 4.4.1
 2019-08-04 15:14:29 +02:00
R. RyanTM
5f3787932f gmsh: 4.4.0 -> 4.4.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/gmsh/versions
 2019-08-04 04:16:21 -07:00
WilliButz
3d4942c731
Merge pull request #65906 from r-ryantm/auto-update/eagle 
eagle: 9.4.1 -> 9.4.2
 2019-08-04 12:51:29 +02:00
R. RyanTM
ea9bff4c0c eagle: 9.4.1 -> 9.4.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-08-03 22:38:20 -07:00
Jake Waksbaum
3ab32ee8f6 framac: 18 -> 19 and update why3 2019-08-03 14:03:22 +00:00
Frederik Rietdijk
d20a59d2e5 Merge master into staging-next 2019-08-02 23:27:18 +02:00
Timo Kaufmann
69d9700c61 sage: add list of past test failures 2019-08-02 18:09:18 +02:00
Timo Kaufmann
dac4719e0b sage: add patch to debug transient issue 2019-08-02 18:09:15 +02:00
Jörg Thalheim
eddd2f88bc
verilog: 2019.03.27 -> 2019.08.1 (#65730) 
verilog: 2019.03.27 -> 2019.08.1
 2019-08-02 11:20:17 +01:00
Daniel Schaefer
9c50ec6189 verilog: Add optional dependencies 
Increases the closure size by just 4MB.
 2019-08-02 10:34:39 +02:00
Daniel Schaefer
8b3274178f verilog: 2019.03.27 -> 2019.08.1 
Fixes the build, see: https://github.com/steveicarus/iverilog/issues/247
 2019-08-02 10:31:30 +02:00
Frederik Rietdijk
6f723b9bad Merge master into staging-next 2019-08-02 09:18:37 +02:00
Robin Gloster
c6f1c9044b
Merge pull request #63282 from jbedo/strelka 
strelka: 2.9.5 -> 2.9.10
 2019-08-01 23:44:58 +00:00
Orivej Desh
32fbbc6f9b Merge master into staging 2019-07-25 09:23:21 +00:00
Orivej Desh
b5d1d50aa9 google-gflags: move to aliases.nix 
google-gflags were renamed to gflags in 2012:
https://github.com/gflags/gflags/#25-january-2012

gflags.name will be updated in staging.
 2019-07-25 09:18:32 +00:00
R. RyanTM
a47962010d cryptoverif: 2.01 -> 2.01pl1 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptoverif/versions
 2019-07-23 19:32:45 -05:00
Guanpeng Xu
6988b0b929 mathematica: 11.3.0 -> 12.0.0 (#65031) 
* mathematica: archive version 11

* mathematica: 11.3.0 -> 12.0.0
 2019-07-23 22:23:00 +02:00
worldofpeace
b1bc0645ea gdk-pixbuf: rename from gdk_pixbuf 2019-07-22 18:50:57 -04:00
lewo
481bb449a2
Merge pull request #64897 from bzizou/est-sfs 
est-sfs: init at 2.03
 2019-07-22 22:52:16 +02:00
Robin Gloster
dbfcfe495e
Merge pull request #65183 from r-ryantm/auto-update/scilab-bin 
scilab-bin: 6.0.1 -> 6.0.2
 2019-07-22 17:49:05 +00:00
R. RyanTM
7251e3a2af scilab-bin: 6.0.1 -> 6.0.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/scilab-bin/versions
 2019-07-20 09:33:18 -07:00
Justin Bedo
11ed86d873 bedtools: 2.27.1 -> 2.28.0 2019-07-20 14:15:38 +02:00
avitex
44324bdd7c caffe: add python package requirements 2019-07-20 13:17:17 +02:00
avitex
955ed925e5 caffe: fix python build 2019-07-20 13:17:17 +02:00
R. RyanTM
9a6f0ca8b7 stacks: 2.4 -> 2.41 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/stacks/versions
 2019-07-17 09:34:10 +02:00
Ryan Mulligan
e7920cbcfc
Merge pull request #64862 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.20.2 -> 2.20.3
 2019-07-16 20:04:43 -07:00
Bruno Bzeznik
9a22c8c697 est-sfs: init at 2.03 2019-07-16 13:55:59 +02:00
Frederik Rietdijk
a28a9ac156 Merge master into staging-next 2019-07-16 11:15:46 +02:00
R. RyanTM
b7fc14d8e6 picard-tools: 2.20.2 -> 2.20.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/picard-tools/versions
 2019-07-15 21:46:51 -07:00
Frederik Rietdijk
800da69c8a
Merge pull request #64551 from jonringer/update-pyproj 
proj: 5.2.0 -> 6.1.1
 2019-07-15 21:14:04 +02:00
Ryan Mulligan
6e03fdd341
Merge pull request #64811 from r-ryantm/auto-update/gp2c 
gp2c: 0.0.11pl1 -> 0.0.11pl2
 2019-07-15 11:30:01 -05:00
R. RyanTM
3ef3712313 gp2c: 0.0.11pl1 -> 0.0.11pl2 
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
 2019-07-15 08:14:30 -07:00
Vladimír Čunát
3686036e02
Merge branch 'master' into staging-next 
Hydra nixpkgs: ?compare=1530372
 2019-07-15 09:39:03 +02:00
Jonathan Ringer
e6223c022b openspace: mark as broken 
Fails to build with GL error
 2019-07-14 09:59:31 -07:00
Théo Zimmermann
3bc04b576a coq: 8.10+beta1 -> 8.10+beta2 2019-07-14 14:58:49 +00:00
worldofpeace
7ce0cc0a6a
Merge pull request #64324 from jbedo/hisat2 
hisat2: fix missing perl dependency
 2019-07-13 13:21:11 -04:00
Frederik Rietdijk
54065ae20d Merge master into staging-next 2019-07-13 09:45:40 +02:00
Daniël de Kok
3a4ba91b4a fasttext: 0.2.0 -> 0.9.1 
Changes:

- Refactoring of internal classes.
- Better unicode handling.

https://github.com/facebookresearch/fastText/releases/tag/v0.9.1
 2019-07-12 02:13:23 +02:00
Frederik Rietdijk
22cb7f25f2 Merge master into staging-next 2019-07-11 09:40:10 +02:00
Ryan Mulligan
508ae42a0f treewide: fix redirect URLs 2019-07-10 12:52:51 -07:00
Frederik Rietdijk
79a03641d5 Merge staging-next into staging 2019-07-09 15:46:26 +02:00
Frederik Rietdijk
74c24385cb Merge master into staging-next 2019-07-09 15:46:00 +02:00
Frederik Rietdijk
7cf5909fad Merge staging-next into staging 2019-07-09 15:44:08 +02:00
Millian Poquet
0513ae77ff simgrid: 3.22.2 -> 3.23 2019-07-08 14:00:14 +02:00
Vladimír Čunát
0746c4dbb4
Merge branch 'master' into staging-next 
There are several thousand rebuilds from master already.
Hydra nixpkgs: ?compare=1528940
 2019-07-06 13:44:40 +02:00
Thomas Tuegel
56d5963382
Merge pull request #54525 from ttuegel/feature/qt-5/wrap-qt-apps 
Wrap Qt applications
 2019-07-05 14:38:10 -05:00
Thomas Tuegel
51d78034a1
wrapQtAppsHook: Remove ad hoc Qt wrappers 2019-07-05 10:42:08 -05:00
Peter Simons
ec662c5654 R: 3.6.0 -> 3.6.1 2019-07-05 09:05:22 +00:00
Justin Bedo
d2d449cea5
hisat2: fix missing perl dependency 2019-07-05 10:29:51 +10:00
markuskowa
8f34a8c368
Merge pull request #64291 from angus-g/gmsh-4.4.0 
gmsh: 4.3.0 -> 4.4.0
 2019-07-04 22:17:46 +02:00
Angus Gibson
8c26b71dc8 gmsh: 4.3.0 -> 4.4.0 2019-07-04 19:21:54 +10:00
Dmitry Kalinkin
3ff069d029
Merge pull request #64120 from smaret/gildas-201907a 
gildas: 20190601_b -> 20190701_a
 2019-07-03 17:28:54 -04:00
Daiderd Jordan
da7bcec42f
root: remove cf-private 2019-07-03 22:20:22 +02:00
Frederik Rietdijk
25a77b7210 Merge staging-next into staging 2019-07-03 08:59:42 +02:00
R. RyanTM
4bf65cf0fa verilator: 4.014 -> 4.016 
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-07-03 08:30:01 +02:00
Sébastien Maret
08ee08435e
gildas: 20190601_b -> 20190701_a 2019-07-02 11:04:40 +02:00
R. RyanTM
526f12b886 gap: 4.10.1 -> 4.10.2 (#64026) 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gap/versions
 2019-07-01 20:06:42 +02:00
worldofpeace
3f4a353737 treewide: use dontUnpack 2019-07-01 04:23:51 -04:00
Maximilian Bosch
1b019ba91d
stellarium: 0.19.0 -> 0.19.1 
https://github.com/Stellarium/stellarium/releases/tag/v0.19.1
 2019-06-28 23:24:11 +02:00
Timo Kaufmann
66fa457ba1
Merge pull request #59989 from timokau/sage-8.8 
sage: 8.7 -> 8.8
 2019-06-27 23:30:12 +02:00
Timo Kaufmann
5b2db39c49 sage: 8.8.rc2 -> 8.8 2019-06-27 22:05:30 +02:00
Timo Kaufmann
e7d4386e0e sage: 8.8.rc1 -> 8.8.rc2 2019-06-27 22:03:00 +02:00
Timo Kaufmann
218fd843a3 sage: 8.8.rc0 -> 8.8.rc1 2019-06-27 22:03:00 +02:00
Timo Kaufmann
409bee28b6 sage: 8.8.beta7 -> 8.8.rc0 2019-06-27 22:03:00 +02:00
Timo Kaufmann
c76e8fa86e sage: 8.8.beta6 -> 8.8.beta7 2019-06-27 22:02:57 +02:00
Timo Kaufmann
9f434d7080 sage: 8.8.beta5 -> 8.8.beta6 2019-06-27 22:01:40 +02:00
Timo Kaufmann
325a5037bf sage: 8.8.beta4 -> 8.8.beta5 2019-06-27 22:01:37 +02:00
Timo Kaufmann
240d4c31d2 sage: 8.8.beta3 -> 8.8.beta4 2019-06-27 21:57:33 +02:00
Timo Kaufmann
608948e3e9 sage: 8.8.beta2 -> 8.8.beta3 2019-06-27 21:57:33 +02:00
Timo Kaufmann
21c1ab6776 sage: 8.7 -> 8.8.beta2 2019-06-27 21:57:27 +02:00
markuskowa
a07d045b00
Merge pull request #63488 from jbedo/octopus 
octopus: init 0.6.3-beta
 2019-06-27 12:43:25 +02:00
Dmitry Kalinkin
bff22431b5
Merge pull request #62845 from royneary/nim-0.20.0 
nim: 0.19.4 -> 0.20.0
 2019-06-26 13:00:50 -04:00
Nikolay Amiantov
3dd7d72e43 fast-downward: init at 2019-05-13 2019-06-24 15:59:57 +03:00
Nikolay Amiantov
a92611508f cplex: add library info 2019-06-24 15:57:22 +03:00
Nikolay Amiantov
10e1475a79 gurobi: add library suffix 2019-06-24 15:57:22 +03:00
R. RyanTM
3e6ef3e9ef eagle: 9.3.2 -> 9.4.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-06-23 14:57:04 +02:00
royneary
d162165350
mosdepth: 0.2.3 -> 0.2.6 2019-06-22 22:41:59 +02:00
Timo Kaufmann
ac28607a03
Merge pull request #63560 from timokau/sage-threejs-r105 
sage: fix threejs r105
 2019-06-20 14:55:13 +02:00
markuskowa
3947441cb9
Merge pull request #63262 from r-ryantm/auto-update/gromacs 
gromacs: 2019.2 -> 2019.3
 2019-06-20 14:26:02 +02:00
Timo Kaufmann
9955657209 sage: fix online threejs 2019-06-20 12:50:00 +02:00
Timo Kaufmann
2d78d928cd sage: backport threejs r100 compatibility 
https://github.com/NixOS/nixpkgs/issues/62736#issuecomment-503757429
 2019-06-20 12:50:00 +02:00
Justin Bedo
b8b71aaaf9
octopus: init 0.6.3-beta 2019-06-19 23:09:33 +10:00
Linus Heckemann
32a992af8b
Merge pull request #63479 from lheckemann/dcm2niix 
dcm2niix: 1.0.20170130 -> 1.0.20190410
 2019-06-19 12:05:37 +02:00
Vincent Laporte
1f2a3a2df2 gappa: 1.2 -> 1.3.5 2019-06-19 09:24:34 +00:00
Linus Heckemann
2458209c3e dcm2niix: 1.0.20170130 -> 1.0.20190410 2019-06-18 22:12:40 +02:00
Timo Kaufmann
6e74109b13
sage: fix threejs integration (#63375) 
Before this it didn't find the correct files. Unfortunately, the
interactive parts of sage are hard to test automatically.
 2019-06-18 11:50:41 +02:00
R. RyanTM
3775ef0acd jmol: 14.29.42 -> 14.29.46 (#63277) 
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-06-17 20:56:11 +02:00
Justin Bedo
1be8ba08d3
strelka: 2.9.5 -> 2.9.10 2019-06-17 16:09:25 +10:00
R. RyanTM
0c54098340 gromacs: 2019.2 -> 2019.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/gromacs/versions
 2019-06-16 18:22:05 -07:00
volth
f3282c8d1e treewide: remove unused variables (#63177) 
* treewide: remove unused variables

* making ofborg happy
 2019-06-16 19:59:05 +00:00
Bruno Bzeznik
aafffb2614 trimal: init at 1.4.1 2019-06-14 16:31:39 +02:00
Aaron Andersen
4cb64dba39
Merge pull request #58362 from bzizou/cd-hit 
cd-hit: init at 4.8.1
 2019-06-13 20:39:54 -04:00
Bruno Bzeznik
9fbf8625f1 cd-hit: init at 4.8.1 2019-06-13 14:35:13 +02:00
markuskowa
ca099915f7
Merge pull request #62976 from markuskowa/upd-octopus 
octopus: 8.4 -> 9.0
 2019-06-12 09:36:42 +02:00
Markus Kowalewski
4df1e91b31
octopus: 8.4 -> 9.0 2019-06-11 13:02:54 +02:00
Will Dietz
e397f4716c z3: 4.8.4 -> 4.8.5 
* drop included patch
* pname-ify
 2019-06-10 17:55:26 -07:00
Will Dietz
94774dad00 pulseview: 0.4.0 -> 0.4.1 
https://sigrok.org/gitweb/?p=pulseview.git;a=blob;f=NEWS;h=69c7ac5d418bbae896906b8c6b64c6719b1912db;hb=05a4de8abd5810cf8219077259ffa44adb08043e
 2019-06-10 23:20:24 +02:00
Robert Scott
48c8756157 pythonPackages.neuron: restrict to x86 platforms 2019-06-09 12:18:58 +02:00
Robert Scott
e0aec554eb pythonPackages.neuron: fix for darwin 
un-compensate for some of the darwin quirks the neuron
source is expecting
 2019-06-09 12:18:58 +02:00