Samuel Leathers
a3e2ecd7f7
freebayes: 1.1.0 -> 2017-08-23
2017-09-28 00:54:01 +02:00
Tuomas Tynkkynen
9824ca6975
caffe: Make 'bin' the first output
...
So ${caffe}/bin/foo always works in scripts.
2017-09-27 00:39:55 +03:00
Nikolay Amiantov
67bbe467a4
mxnet: disable GPU autodetection
2017-09-25 22:46:44 +03:00
Michael Raskin
f7d7c7bedf
singular: use gcc5
...
Progress on: #28643
Fixes : #29682
2017-09-23 10:16:47 +02:00
mimadrid
676db57c37
calc: 2.12.6.1 -> 2.12.6.3
2017-09-23 00:13:42 +02:00
Tuomas Tynkkynen
4acb425c39
darwin: Disable yet another bunch of packages never having built successfully
...
cjdns: https://hydra.nixos.org/build/61134279
jonprl: https://hydra.nixos.org/build/61123711
mate.libmatemixer: https://hydra.nixos.org/build/61126968
dirac: https://hydra.nixos.org/build/61132432
idnkit: https://hydra.nixos.org/build/61123544
trousers: https://hydra.nixos.org/build/61109766
packetdrill: https://hydra.nixos.org/build/61116190
osm2pgsql: https://hydra.nixos.org/build/61118017
nawk: https://hydra.nixos.org/build/61139000
2017-09-22 21:16:39 +03:00
Tuomas Tynkkynen
4b4bfbf3e5
darwin: Disable another bunch of packages never having built successfully
...
tecoc: https://hydra.nixos.org/build/61141995
shallot: https://hydra.nixos.org/build/61145497
plink-ng: https://hydra.nixos.org/build/61130149
tshark: https://hydra.nixos.org/build/61479600
2017-09-22 19:49:57 +03:00
Vincent Laporte
3b7c68615e
abella: fix build with OCaml ≥ 4.03
2017-09-22 03:32:06 +00:00
Joachim F
44d2eaab80
Merge pull request #29538 from bcdarwin/update-and-fix-ANTS
...
ants: bump version and fix sandboxed build
2017-09-21 22:08:40 +00:00
John Ericson
ed14223f8c
treewide: Manual fix more pkg-config build-inputs
2017-09-21 15:49:54 -04:00
John Ericson
531e4b80c9
misc pkgs: Basic sed to get fix pkgconfig
and autoreconfHook
buildInputs
...
Only acts on one-line dependency lists.
2017-09-21 15:49:53 -04:00
Ben Darwin
c7bbe471b0
ants: bump version and fix sandboxed build
2017-09-20 18:42:34 -04:00
Nikolay Amiantov
c71d8a1aeb
mxnet: init at 0.11.0
2017-09-16 04:40:55 +03:00
Franz Pletz
b19fa00e3e
Revert "mcrl2: force use of gcc5 to prevent compilation errors"
...
This reverts commit 5e5e57b57b
.
Already fixed with edd94f5fcd
.
2017-09-15 21:51:35 +02:00
Gabriel Ebner
aad00e35db
lean: 3.2.0 -> 3.3.0
2017-09-15 08:48:02 +02:00
Vincent Laporte
cc5491d02c
proverif: 1.95 -> 1.97pl1
2017-09-13 20:01:55 +02:00
timor
124b3c8ead
qfsm: fix build with gcc 6 ( #29245 )
2017-09-11 20:26:24 +02:00
Bjørn Forsman
28f780b320
eagle: 7.5 -> 7.7
...
This is the latest release from Cadsoft, before they were bought by
Autocad. Autocad has released 8.x, but
- it requires reworking the Nix expression (different packaging)
- the paid license version requires a monthly subscription fee, you never
"own" the software (AFAICT).
Due to the licensing change in 8.x, I think keeping Eagle 7.x around is
a good idea.
2017-09-11 14:44:43 +02:00
Maarten Hoogendoorn
5e5e57b57b
mcrl2: force use of gcc5 to prevent compilation errors
2017-09-10 15:09:46 +02:00
Bjørn Forsman
15c18cef3d
kicad: 4.0.6 -> 4.0.7
2017-09-09 13:05:07 +02:00
Bjørn Forsman
dfbb710375
kicad: put the full version string in name
2017-09-09 13:03:09 +02:00
Markus Mueller
edd94f5fcd
mcrl2: 201409 -> 201707
2017-09-08 18:26:25 +02:00
Nikolay Amiantov
c4bed3043d
caffe: add Python support
...
Move to CMake in the process.
2017-09-07 17:04:29 +03:00
Nikolay Amiantov
88641353d6
caffe: 2015-07-02 -> 1.0-rc5
2017-09-07 17:04:29 +03:00
Théo Zimmermann
9efd7a9b6e
coq_8_7: init at 8.7+beta1
2017-09-06 21:16:41 +02:00
Théo Zimmermann
a26bbe547e
coq: fetch source from GitHub
2017-09-06 21:16:41 +02:00
Michael Raskin
37392454f3
Merge pull request #28948 from disassembler/qucs
...
Qucs: version update and adms dependency
2017-09-06 20:24:55 +02:00
Robin Gloster
a0967948d9
bwa: 0.7.15 -> 0.7.16a
2017-09-05 14:42:45 +02:00
Gabriel Ebner
b2eff3c60d
eprover: 1.9.1 -> 2.0
2017-09-05 13:59:07 +02:00
Samuel Leathers
00753e078d
qucs: 0.0.18 -> 0.0.19
2017-09-03 14:21:52 -04:00
Samuel Leathers
df1d5a4827
adms: init at 2.3.6
2017-09-03 14:21:16 -04:00
Samuel Leathers
d9cd226a6d
neuron: 7.4 -> 7.5
2017-09-02 16:58:14 -04:00
Austin Seipp
54ae0aa1b0
z3_opt: remove and replace with z3
...
Z3 has supported optimization features since the 4.4.x release, so this can be
removed.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
583ebc086c
yices: now under GPLv3
...
This means Hydra can build it now!
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Austin Seipp
fc143bf1a3
iverilog: 2016.05.21 -> 2017.08.12
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-09-02 04:19:11 -05:00
Samuel Leathers
04b8a85739
caneda: fix build with gcc6
2017-08-31 22:59:37 -04:00
Jörg Thalheim
4acdb408c0
Merge pull request #28801 from veprbl/sherpa_2_2_4
...
sherpa: 2.2.1 -> 2.2.4
2017-08-31 21:07:54 +01:00
Dmitry Kalinkin
59b525e559
sherpa: 2.2.1 -> 2.2.4
2017-08-31 14:32:05 -04:00
Jörg Thalheim
ed997b153c
Merge pull request #28756 from disassembler/pulseview-sigrok
...
pulseview and sigrok updates
2017-08-31 09:28:44 +01:00
Dmitry Kalinkin
7c7ca7f017
root: add noSplash option
2017-08-30 19:56:53 -04:00
Samuel Leathers
b39462d0c3
pulseview: 0.3.0 -> 0.4.0
2017-08-30 13:52:17 -04:00
Michael Raskin
e36afa80e3
gfan: 0.5 -> 0.6; #28643
2017-08-30 18:19:14 +02:00
Samuel Leathers
029f40a552
xplanet: gcc6 patch
2017-08-30 11:04:26 -04:00
Lancelot SIX
e8e0cb193e
pspp: 0.8.3 -> 1.0.1
2017-08-30 10:01:32 +02:00
Will Dietz
c8f2e3f95f
cvc3: Add gcc6 patch from Gentoo.
...
https://gitweb.gentoo.org/repo/gentoo.git/plain/sci-mathematics/cvc3/files/cvc3-2.4.1-gccv6-fix.patch
2017-08-29 13:48:09 -05:00
Gabriel Ebner
393f1f53be
qalculate-gtk: 1.0.0 -> 2.0.0a
2017-08-29 10:30:26 +02:00
Lukas Werling
f0a1ab78b4
meson/ninja: add setup hooks ( #28444 )
...
* Add setupHook for meson/ninja build
* libhttpseverywhere: Use meson/ninja setupHooks
* jamomacore: Remove superfluous ninja buildInput
* Remove obsolete ninja buildPhases
These are all handled by ninja's setup hook.
* lean2, xcbuild: fix build with ninja setup hook
Ninja is a runtime dependency here. However, cmake can generate Ninja
build files as well to satisfy the setup hook.
* qtwebengine: fix build with ninja setup hook
2017-08-27 19:42:21 +02:00
Will Dietz
db66c996bf
yices: 2.5.2 -> 2.5.3
...
Move to github URL, homepage seems to be down currently.
2017-08-27 10:10:48 -05:00
Will Dietz
3ab85383a0
libpoly: 0.1.3 -> 0.1.4
2017-08-27 10:10:47 -05:00
Dmitry Kalinkin
fd22d671ec
root: 6.10.02 -> 6.10.04
2017-08-22 04:00:39 +02:00
Joachim F
aeb733c8d5
Merge pull request #28377 from Ma27/update/geogebra
...
geogebra: 5-0-377-0 -> 5-0-382-0
2017-08-20 20:15:37 +00:00
Frederik Rietdijk
5b8cd48e99
Merge pull request #28320 from rybern/add-poretools
...
poretools: init at 0.6.0
2017-08-20 17:44:05 +02:00
Gabriel Ebner
7da15a071d
open-wbo: init at 2.0
2017-08-20 10:19:46 +02:00
Gabriel Ebner
acf01cbc6c
lean2: 2016-11-29 -> 2017-07-22
...
This will also fix the build issues with GCC 6.
2017-08-19 15:24:35 +02:00
Maximilian Bosch
319dac82d1
geogebra: fallback to web.archive.org
2017-08-18 21:42:50 +02:00
Maximilian Bosch
242d950ab3
geogebra: 5-0-377-0 -> 5-0-382-0
2017-08-18 21:40:58 +02:00
Ryan Bernstein
749e702a46
poretools: version number to commit date
2017-08-18 09:59:26 -04:00
Matthew Bauer
b3d8c08a55
acgtk: fix homepage url
2017-08-17 15:04:37 -07:00
Matthew Bauer
59c5f52f67
caneda: use caneda.org for homepage
2017-08-17 15:04:37 -07:00
Matthew Bauer
99c868c010
use https://github.com for all homepages
...
GitHub does a redirect to https:// when you use http://
repology complains with:
“Homepage link "https://github.com/ …" is dead (HTTP error 404) for more than a month.”
This will fix some of them (not all though)
2017-08-17 14:53:40 -07:00
Ryan Bernstein
a13e4ad1f5
poretools: init at 0.6.0
2017-08-17 11:17:30 -04:00
Frederik Rietdijk
006edcc316
Merge pull request #27440 from mnacamura/mathematica11_fix_ldpath
...
mathematica: fix library paths
2017-08-13 22:55:18 +02:00
Frederik Rietdijk
b14efb6a6c
Merge pull request #28211 from mimadrid/update/samtools-1.5.0
...
samtools: 1.4.0 -> 1.5.0
2017-08-13 22:32:48 +02:00
Frederik Rietdijk
3f642af583
Merge pull request #28062 from lsix/update_motu-client
...
motu-client: 1.0.8 -> 1.4.0
2017-08-13 22:08:54 +02:00
Frederik Rietdijk
6e386925ac
Merge pull request #28229 from jpierre03/pr-alt-ergo
...
alt-ergo: use https instead of http to fetch archive
2017-08-13 22:01:59 +02:00
Frederik Rietdijk
13bbaee21d
Merge pull request #27881 from mimadrid/fix/http-https
...
Update homepage attributes: http -> https
2017-08-13 21:53:20 +02:00
Frederik Rietdijk
7ebcd39a0f
Merge commit '4c49205' into HEAD
2017-08-13 18:34:59 +02:00
Jean-Pierre PRUNARET
184d2e7977
alt-ergo: use https instead of http to fetch archive
2017-08-13 13:26:30 +02:00
mimadrid
15a99ae367
bcftools: 1.4.0 -> 1.5.0
2017-08-13 00:17:48 +02:00
mimadrid
ca45a26ec3
samtools: 1.4.0 -> 1.5.0
2017-08-13 00:17:25 +02:00
Will Dietz
fbb6b90ed0
yices: 2.5.1 -> 2.5.2
2017-08-12 13:02:33 -05:00
pe@pijul.org
443ac23336
Gwyddion: init at 2.48
2017-08-11 20:30:11 +02:00
Lancelot SIX
38f3153caa
motu-client: 1.0.8 -> 1.4.0
2017-08-09 10:08:14 +02:00
davidak
3270aa896b
replace "Mac OS X" and "OS X" with "macOS"
...
as it is the official name since 2016
https://en.wikipedia.org/wiki/Macintosh_operating_systems#Desktop
exception are parts refering to older versions of macOS like
"GUI support for Mac OS X 10.6 - 10.12. Note that Emacs 23 and later [...]"
2017-08-07 21:41:30 +02:00
Vincent Laporte
eb7312ca7d
maxima: 5.39.0 -> 5.40.0
2017-08-05 10:48:50 +02:00
Théo Zimmermann
057ffcf0dd
coq: adding myself to the maintainers
2017-08-04 19:52:55 +02:00
Théo Zimmermann
b25d65e051
coq: use camlp5_strict
...
The versions of Coq available through this expression do not actually
require camlp5_transitional. We drop this dependency to see if, in the
future, the package camlp5_transitional can be removed from nixpkgs.
2017-08-04 19:52:54 +02:00
Théo Zimmermann
c0dca2fb00
coq: 8.6 -> 8.6.1
2017-08-04 19:52:51 +02:00
mimadrid
09e0cc7cc7
Update homepage attributes: http -> https
...
Homepage link "http://.../ " is a permanent redirect to "https://.../ " and should be updated
https://repology.org/repository/nix_stable/problems
2017-08-03 11:56:15 +02:00
Silvan Mosberger
f5fa5fa4d6
pkgs: refactor needless quoting of homepage meta attribute ( #27809 )
...
* pkgs: refactor needless quoting of homepage meta attribute
A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.
* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit
* Fixed some instances
2017-08-01 22:03:30 +02:00
Frederik Rietdijk
3ed7975b65
Merge pull request #27844 from mimadrid/update/igv-2.3.98
...
igv: 2.3.89 -> 2.3.98
2017-08-01 21:52:33 +02:00
Frederik Rietdijk
d1af3b33aa
Merge pull request #27006 from Infinisil/scyther
...
scyther: init at 1.1.3
2017-08-01 21:48:47 +02:00
mimadrid
20fb18bdbc
igv: 2.3.89 -> 2.3.98
2017-08-01 20:46:31 +02:00
John Wiegley
ea8798acc6
coq2html: New expression
2017-08-01 09:30:20 -07:00
Frederik Rietdijk
903d9daf0f
Merge pull request #27816 from mimadrid/update/calc-2.12.6.1
...
calc: 2.12.5.3 -> 2.12.6.1
2017-08-01 09:19:29 +02:00
mimadrid
eaf1198f39
calc: 2.12.5.3 -> 2.12.6.1
2017-07-31 23:27:29 +02:00
Gabriel Ebner
b94da10c27
libqalculate, qalculate-gtk: 0.9.9 -> 1.0.0
2017-07-31 16:29:39 +01:00
Franz Pletz
5d2f5e374f
verilator: build with current flex
2017-07-29 19:51:16 +02:00
Maximilian Bosch
02ceec5343
geogebra: 5-0-369-0 -> 5-0-377-0
2017-07-26 23:06:30 +02:00
Peter Hoeg
45248be2aa
cryptominisat: use new xxd package instead of vim
2017-07-24 09:37:58 +08:00
Silvan Mosberger
313b8b7e4b
scyther: Separated into two derivations
2017-07-23 03:17:38 +02:00
Franz Pletz
e69dfc252a
Revert "coq2html: New expression"
...
This reverts commit 31437ccf7a
.
2017-07-20 19:36:50 +02:00
John Wiegley
31437ccf7a
coq2html: New expression
2017-07-20 11:51:25 -04:00
Mitsuhiro Nakamura
fb2302e115
Add missing 'math'
2017-07-19 17:39:36 +09:00
Mitsuhiro Nakamura
7aaea7297e
Simplify the sed script
2017-07-19 15:18:44 +09:00
Jörg Thalheim
699f8e2f65
Merge pull request #26352 from Mounium/aliza
...
aliza: init at 1.29.2
2017-07-19 07:03:01 +01:00
Jörg Thalheim
d945e3ccc4
Merge pull request #27366 from veprbl/version_bumps
...
bump rivet, yoda, lhapdf
2017-07-18 23:38:53 +01:00
Symphorien Gibol
d7103eadc8
boolector: 1.{5,6} -> 2.4.1
2017-07-18 23:50:31 +02:00
Mitsuhiro Nakamura
488db3d392
mathematica: fix library paths
2017-07-18 19:45:43 +09:00
Gabriel Ebner
7ba1c7a9fb
iprover: 0.8.1 -> 2.5
2017-07-17 22:45:27 +01:00
Silvan Mosberger
75fde4130d
scyther: init at 1.1.3
2017-07-16 23:38:05 +02:00
Vladimír Čunát
371ad29661
abc-verifier: fix typo in meta
2017-07-15 09:27:41 +02:00
Dmitry Kalinkin
459e3864d2
root: 6.10.00 -> 6.10.02
2017-07-14 04:40:27 -04:00
Vincent Laporte
8bafd3aaa4
ginac: 1.6.2 -> 1.7.2
2017-07-13 19:35:06 +02:00
Michael Raskin
dcbe96d260
Merge pull request #27197 from kquick/master
...
yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.
2017-07-08 22:37:12 +02:00
Vincent Laporte
eb2be6d97e
acgtk: 1.1 -> 1.3.1
2017-07-08 08:52:02 +02:00
Vincent Laporte
43b2b55743
hol_light: 2016-07-23 -> 2017-07-06
2017-07-08 06:14:43 +00:00
Kevin Quick
6cbd9ce8f9
Fix license reference for added libpoly library.
2017-07-07 12:54:32 -07:00
Kevin Quick
6387a7ec8b
Update yices to add libpoly/mcsat functionality and add soname target.
2017-07-06 21:31:38 -07:00
Kevin Quick
8ff05c85ee
Add poly library for manipulating polynomials.
2017-07-06 21:30:30 -07:00
Katona László
b86eb39a58
aliza: 1.28.10->1.29.2
2017-07-02 23:39:08 +02:00
Peter Simons
4c5577b504
R: update to version 3.4.1
2017-06-30 13:37:26 +02:00
Shea Levy
24c59a4452
neuron: enable GUI
2017-06-28 11:59:54 -04:00
Maximilian Bosch
9516bbf172
geogebra: make language
configurable
2017-06-27 09:51:06 +02:00
Vincent Laporte
ac83ef3994
glsurf: 3.3 -> 3.3.1
2017-06-26 19:24:33 +02:00
Joachim F
90d3a0314c
Merge pull request #26836 from Ma27/update/geogebra
...
geogebra: 5-0-361-0 -> 5-0-369-0
2017-06-25 16:35:13 +01:00
Maximilian Bosch
f5665e9ab4
geogebra: 5-0-361-0 -> 5-0-369-0
2017-06-25 12:39:30 +02:00
Jörg Thalheim
ad42e5f6e5
Merge pull request #26795 from veprbl/root_6.10.00
...
root: 6.09.02 -> 6.10.00
2017-06-25 09:14:30 +01:00
Dmitry Kalinkin
ada12f46dc
root: 6.09.02 -> 6.10.00
...
also workaround #26197
2017-06-24 13:38:25 -04:00
Frederik Rietdijk
4f0d812abc
python.pkgs.spyder: remove maintainers
...
since we both do not use this package anymore.
cc @bjornfor
2017-06-23 10:44:42 +02:00
Franz Pletz
b6cf652e08
boinc: 7.4.42 -> 7.8.0
2017-06-20 05:19:31 +02:00
Gabriel Ebner
89e02c7516
lean: 3.1.0 -> 3.2.0
2017-06-18 20:04:30 +02:00
Thomas Tuegel
c816bbc8a8
qt5: remove makeQtWrapper
2017-06-18 08:44:42 -05:00
Thomas Tuegel
210f688802
qt5: rename qmakeHook to qmake
2017-06-18 08:41:57 -05:00
Thomas Tuegel
3f3d33a078
qt5: use distinct lib/qt-5.x
prefix for each minor version
...
Using a distinct prefix for plugins and QML libraries allows multiple Qt 5 minor
versions to coexist in the same environment.
2017-06-18 08:41:57 -05:00
Katona László
5e528db0d9
aliza: init at 1.28.10
2017-06-15 19:53:01 +02:00
Justin Bedo
94ec54598c
snpeff: 4.3i -> 4.3p
2017-06-13 15:31:52 +10:00
Jörg Thalheim
c972f01e2d
pymol: set PYTHONPATH in a future way
2017-06-02 21:55:16 +01:00
Katona László
2a1c535b7e
pymol: added Pmw + python version bump
2017-06-02 19:58:00 +02:00
Maximilian Bosch
47e8665595
geogebra: 5-0-355-0 -> 5-0-361-0
2017-05-30 06:35:33 +02:00
Dan Peebles
594829ddfc
msieve: update and enable on Darwin
2017-05-26 18:18:39 -04:00
Dan Peebles
1df505fc36
ecm: enable on Darwin
2017-05-26 18:14:31 -04:00
Vladimír Čunát
8004e79415
Merge branch 'master' into staging
2017-05-24 03:24:06 +02:00
Samuel Leathers
fdbcee03fe
minisat: fix maintainer
2017-05-22 23:55:05 -04:00
Jörg Thalheim
2549be898d
stp: 2014.01.07 -> 2.2.0
2017-05-22 22:25:45 +01:00
Jörg Thalheim
893c7b6112
cryptominisat: init at 5.0.1
2017-05-22 22:25:14 +01:00
Jörg Thalheim
7786922240
minisatUnstable: init at 2013-09-25
2017-05-22 22:24:58 +01:00
Frederik Rietdijk
99cfab07b9
Merge remote-tracking branch 'upstream/master' into HEAD
2017-05-22 09:21:40 +02:00
Shea Levy
b1b61d0988
coq: nix-buffer: Inherit variables to PG shell
2017-05-22 00:45:54 -04:00
Jörg Thalheim
ea706bd98b
Merge pull request #25231 from veprbl/root_6.09.02
...
root: 6.08.02 -> 6.09.02
2017-05-20 17:37:43 +01:00
Joachim Fasting
874b81b31f
treewide: s,enableParallelBuild(s),enableParallelBuilding,g
2017-05-20 17:16:17 +02:00
marcnnn
e46ca1b95f
cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 ( #25808 )
...
* cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514
* cvc4: use stable url
upstream delete their tarballs
2017-05-20 14:00:39 +01:00
Shea Levy
b21540c4a6
coq: Add emacs buffer setup
2017-05-20 08:34:33 -04:00
Vladimír Čunát
65ede052fa
treewide: fixup packages with RPATH problems
2017-05-16 18:30:58 +02:00
Matthew Daiter
093130f802
openmvs: init at current master ( #25672 )
...
* openmvs: init at current master
* openmvs: simplify expression
* openmvs: init at unstable-2017-05-01
2017-05-12 20:07:11 +01:00
Jörg Thalheim
be19ad150c
Merge pull request #25594 from mimadrid/update/htslib-1.4
...
Update/htslib 1.4
2017-05-11 07:08:56 +01:00
mimadrid
8d1bebf83c
bcftools: 1.3.1 -> 1.4
2017-05-11 07:04:33 +01:00
Peter Hoeg
32b57bec77
Merge pull request #25588 from mimadrid/update/weka-3.8.1
...
weka: 3.8.0 -> 3.8.1
2017-05-09 17:39:05 +08:00
mdaiter
fdd28b6fe0
openmvg: clarify Git version
...
fixes #25615
2017-05-09 09:39:41 +01:00
Frederik Rietdijk
183cada05a
Merge pull request #25590 from mimadrid/update/cytoscape-3.5.1
...
cytoscape: 3.4.0 -> 3.5.1
2017-05-09 10:03:20 +02:00