Maxime Dénès
d1e1ee7b09
coq: 8.7+beta1 -> 8.7+beta2
2017-10-11 03:02:01 +02:00
Gabriel Ebner
79ae9be220
libqalculate, qalculate-gtk: 2.0.0 -> 2.1.0
2017-10-10 13:28:38 +02:00
Gabriel Ebner
a936d9d6dc
isabelle: 2016-1 -> 2017
2017-10-10 11:18:57 +02:00
Orivej Desh
66d4941afe
Merge branch 'master' into staging
...
* master: (48 commits)
Mathematica: 11.0.1 -> 11.2.0
kbfs: 20170922.f76290 -> 20171004.40555d
packer: 1.0.3 -> 1.1.0
libxdg-basedir: 1.0.2 -> 1.2.0
fscrypt: 0.2.1 -> 0.2.2
devtodo: init at 0.1.20
keybase: 1.0.30 -> 1.0.33
elixir: Fix locale problem on NixOS
keybase-gui: 1.0.25 -> 1.0.33
terraform: 0.10.2 -> 0.10.7 (#30055 )
emby: 3.2.32.0 -> 3.2.33.0
sbcl: 1.3.21 -> 1.4.0
ardour: 5.11 -> 5.12
axoloti: fix evaluation
axoloti: init at 1.0.12-1
melpa-packages: Add new lean packages
fastlane: init at 2.60.1
nixos/traefik: guard example path
go-ethereum: 1.7.0 -> 1.7.1
xzgv: 0.9.1 -> 0.9.2
...
2017-10-05 07:41:39 +00:00
Guanpeng Xu
2eeb00441d
Mathematica: 11.0.1 -> 11.2.0
2017-10-05 07:54:16 +02:00
Will Dietz
5bf645cde5
caneda: git-2012-02-16 -> 0.3.1
...
cc #15558
Components are now part of the base install
(previously it seems no components were included),
which I believe mostly removes the need for the srcComponents bit.
Debian is only other distro packaging this according
to repology, and they don't include additional libraries
which further suggests they're at least non-essential :).
As for the Caneda/Libraries repository, copying these
into the "libraries" directory with similar files
does not cause them to be auto-registered anyway,
as far as I can tell the application has a static
list of components (in the source) and additional
components need to be added using the GUI
making bundling them a bit useless and misleading.
caneda also now requires qt5 and doesn't appear to require
either libxml2 or libxslt.
2017-10-03 15:45:50 -05:00
Orivej Desh
f137004179
Merge branch 'master' into staging
...
* master: (81 commits)
Add NixOS 17.09 AMIs
gradle: 4.2 -> 4.2.1
maintainers.nix: use my GitHub handle as maintainer name
fcitx-engines.rime: init at 0.3.2
brise: init at 2017-09-16
librime: init at 1.2.9
marisa: init at 0.2.4
opencc: build shared library and programs
josm: 12712 -> 12914
exa: 0.7.0 -> 0.8.0
krb5: add deprecation date for old configuration
rustRegistry: 2017-09-10 -> 2017-10-03
go-ethereum: Fix libusb segmentation faults on Darwin
tor-browser-bundle-bin: 7.0.5 -> 7.0.6
libsodium: 1.0.13 -> 1.0.15
tor-browser-bundle: geoip support
tor-browser-bundle: support transports obfs2,obfs3
tor-browser-bundle: bump https-everywhere to 2017.9.12
tint2: limit platforms to Linux since macOS is not supported and fails the tests
eclipse-plugin-vrapper: init at 0.72.0
...
2017-10-03 17:46:39 +00:00
Gabriel Ebner
dcd5580909
tptp: 6.4.0 -> 7.0.0
2017-10-02 11:46:33 +02:00
Orivej Desh
047c576353
Merge pull request #29963 from mimadrid/update/samtools-1.6.0
...
samtools: 1.5.0 -> 1.6.0
2017-10-02 01:07:11 +00:00
Orivej Desh
fda26c8476
Merge branch 'master' into staging
...
* master: (271 commits)
pysmbc: clarify license
pysmbc: fix license
bazel: 0.5.4 -> 0.6.0 (#29990 )
googler: init at 3.3
go: declare support for aarch64
firefox-beta-bin: 56.0b5 -> 57.0b4
spotify: 1.0.64.401.g9d720389-21 -> 1.0.64.407.g9bd02c2d-26
gogs: 0.11.19 -> 0.11.29
grafana: 4.5.1 -> 4.5.2
mopidy-iris: 3.4.1 -> 3.4.9
nextcloud: 12.0.2 -> 12.0.3
haskell-json-autotype: jailbreak to fix build within LTS 9.x
kore: fix up
kore: init at 2.0.0
glusterfs service: fix issues with useRpcbind
tig: 2.2.2 -> 2.3.0
haskell-hspec-core: enable test suite again
hackage-packages.nix: automatic Haskell package set update
librsvg: fix thumbnailer path
awscli: 1.11.108 -> 1.11.162
...
2017-10-02 00:22:12 +00:00
Orivej Desh
eaf9e31f86
Merge pull request #29859 from pvgoran/fix-gmsh
...
gmsh: 2.12.0 -> 3.0.5
2017-10-01 08:52:42 +00:00
Pavel Goran
e57f8b67f3
gmsh: 2.12.0 -> 3.0.5
2017-10-01 08:51:56 +00:00
Orivej Desh
d73bd7f50a
bcftools: fix up
2017-10-01 07:45:19 +00:00
Orivej Desh
09a5396982
samtools: fix up
2017-10-01 07:36:30 +00:00
Orivej Desh
9592bf8c24
Merge pull request #29947 from symphorien/giac
...
giac, xcas: init at 1.4.9
2017-09-30 22:50:53 +00:00
Orivej Desh
0c14753a4a
giac: refactor
2017-09-30 22:48:03 +00:00
Robin Gloster
40ed226507
treewide: mark a bunch of failing builds as broken
...
(cherry picked from commit 23fdbaa375
2017-10-01 00:26:52 +03:00
mimadrid
bebccf176e
bcftools: 1.5.0 -> 1.6.0
2017-09-30 22:22:25 +02:00
mimadrid
ee2c76693e
samtools: 1.5.0 -> 1.6.0
2017-09-30 22:20:02 +02:00
Franz Pletz
d7d774deea
gplates: mark as broken
...
(cherry picked from commit 5b09ca07b8
2017-09-30 22:55:29 +03:00
Franz Pletz
1b56f7cbb4
openmodelica: mark as broken, unmaintained
...
(cherry picked from commit d9298e3a00
2017-09-30 22:55:27 +03:00
Symphorien Gibol
10a612120f
xcas, giac: add myself as maintainer
2017-09-30 21:40:50 +02:00
Symphorien Gibol
79df9105ba
giac, xcas: init at 1.4.9
2017-09-30 12:29:31 +02:00
Peter Simons
4239d3bcba
R: update to version 3.4.2
2017-09-29 15:21:09 +02:00
Franz Pletz
0dc882e3d4
kicad: don't try to build on hydra
2017-09-29 01:52:15 +02:00
John Ericson
f037625f87
Merge remote-tracking branch 'upstream/staging' into deps-reorg
2017-09-28 12:32:57 -04:00
Vincent Laporte
b831b243ff
clp: init at 1.16.11
2017-09-28 13:33:36 +00:00
Robin Gloster
7cbf3a27de
freebayes: clean up build
2017-09-28 00:54:01 +02:00
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 5e5e57b57bedd94f5fcd
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
mimadrid
9073e67568
samtools: 1.3.1 -> 1.4
2017-05-07 23:15:48 +02:00
mimadrid
0ed5b1c867
cytoscape: 3.4.0 -> 3.5.1
2017-05-07 23:05:59 +02:00
mimadrid
bfc3d976f3
weka: 3.8.0 -> 3.8.1
2017-05-07 22:54:09 +02:00
Michael Raskin
587ed894a4
Merge pull request #25480 from mdaiter/openmvg
...
openmvg: init at v1.1
2017-05-05 15:58:17 +02:00
Matthew Daiter
c6385eb0f5
openmvg: init at v1.1
2017-05-05 15:51:32 +02:00
Daniel Frank
f3f38eccbb
kicad: update to 4.0.6
2017-05-04 20:39:20 +02:00
Peter Simons
5e5d16f425
R: import upstream patch to fix broken "R CMD Sweave" command
...
The command "R CMD Sweave" always exits with error code "1", even if the
command was successful. This upstream patch remedies this issue.
2017-05-03 14:20:41 +02:00
Aneesh Agrawal
bd9246b009
treewide: Always use integers for meta.priority
...
Meta attributes types are now enforce as of commit
90b9719f4f
2017-05-02 01:43:22 -04:00
Dmitry Kalinkin
a7b4b84048
sherpa: fix for llvm 4
2017-05-02 00:54:42 -04:00
Michael Raskin
41475012eb
Merge pull request #25164 from marsam/master
...
Homogenize abc-verifier, dwm, osmctools homepages
2017-05-01 15:47:15 +02:00
Michael Raskin
49c419cf3e
Merge pull request #25117 from lucas8/cubicle
...
cubicle: init at 1.0.2
2017-05-01 14:26:52 +02:00
Michael Raskin
7ef99bf054
Merge pull request #24085 from bcdarwin/ants
...
ants: set $ANTSPATH variable in shell scripts
2017-04-30 23:03:06 +02:00
Daiderd Jordan
5e3de3938e
Merge pull request #25217 from LnL7/darwin-csdp
...
csdp: fix darwin build
2017-04-30 14:33:30 +02:00
Michael Raskin
ce9c7dd0d6
Merge pull request #21822 from rht/master
...
coq_HEAD: Update to the latest commit
2017-04-30 12:49:20 +02:00
Maximilian Bosch
b12f76ddd3
geogebra: 5-0-350-0 -> 5-0-355-0 ( #25324 )
2017-04-29 14:34:57 +01:00
Peter Hoeg
bf4710fa80
speedcrunch: allow building with qt 5.8
2017-04-28 08:41:58 +08:00
Daiderd Jordan
2bd39ab013
csdp: fix darwin build
...
the build sets CC=clang causing it to essentially ignore the cc wrapper
2017-04-27 20:55:09 +02:00
Dmitry Kalinkin
be9c0e8b7e
root: 6.08.02 -> 6.09.02
...
This also fixes breakage on darwin due to LLVM4.0 migration.
I had to enable opengl because otherwise macOS build is broken.
See root commit 23f8871c7 ('Do not include OpenGL directly but use our
TGLIncludes for that purpose.')
I've enabled xml because TUnfold depends on it.
2017-04-26 16:34:14 -04:00
lucas8
eedc6799b6
cubicle: init at 1.0.2
2017-04-25 22:02:42 +02:00
Peter Simons
d16c38a260
R: update to version 3.4.0
...
The new version needs TZ configured to a value other than "UTC" for the test
suite to succeed. Otherwise, an assumption in "reg-tests-1d.R" won't hold that
expects
d <- as.POSIXlt("2016-12-06"); d$zone <- 1; format(d)
to throw an error about an invalid time zone.
2017-04-24 15:39:08 +02:00
Mario Rodas
0e7b608ab0
abc-verifier: Add http url scheme to abc homepage
2017-04-23 18:45:36 -05:00
Nikolay Amiantov
13162b9ddb
fritzing: 0.9.0b -> 0.9.3b
...
Fixes #24943 .
2017-04-23 17:53:11 +03:00
Vladimír Čunát
9fc61d0db5
simgrid: fixup sandboxed build after update #24915
2017-04-16 14:15:32 +02:00
Sophia Gold
76b8ce3023
simgrid: 3.11.1 -> 3.15
2017-04-15 08:22:02 +02:00
Matthias Beyer
6239da6ade
diamond: init at 0.8.36
2017-04-12 13:05:57 +02:00
Justin Bedő
c5015b77af
platypus: fix platforms metadata ( #24666 )
2017-04-06 10:10:54 +01:00
Maximilian Bosch
1e295260e2
geogebra: 5-0-346-0 -> 5-0-350-0
2017-03-30 21:55:05 +02:00
Robin Gloster
b9948fedc6
ncbi_tools: mark as broken and remove -fPIC
...
PIC is used by default since 16.09
2017-03-30 16:23:34 +02:00
Robin Gloster
13ab07d95a
maxima-ecl: mark as broken
2017-03-30 16:23:34 +02:00
Robin Gloster
536b782450
libsingular: does not build on i686
2017-03-30 16:23:34 +02:00
Joachim F
e15b666f79
Merge pull request #24416 from Twey/redprl-2017-03-28
...
redprl: 2016-09-22 -> 2017-03-28
2017-03-30 14:02:10 +01:00
Robin Gloster
f87de53883
sage: mark as broken
2017-03-30 12:06:08 +02:00
James ‘Twey’ Kay
c54588d250
redprl: 2016-09-22 -> 2017-03-28
2017-03-28 21:02:30 +01:00
Vladimír Čunát
96d41e393d
treewide: purge maintainers.urkud
...
It's sad, but he's been inactive for the last five years.
Keeping such people in meta.maintainers is counter-productive.
2017-03-27 19:52:29 +02:00
Thomas Tuegel
299c842df2
qgroundcontrol: broken on Qt 5.6
2017-03-25 08:49:39 -05:00
Maximilian Bosch
9787b2b808
geogebra: 5-0-338-0 -> 5-0-346-0
2017-03-24 22:16:57 +01:00
Peter Hoeg
317734f99c
speedcrunch: stick to qt 5.7 as 5.8 is broken
2017-03-25 00:39:30 +08:00
Ben Darwin
fbc9a4d7dc
ants: set $ANTSPATH variable in shell scripts
2017-03-22 16:01:05 -04:00
Michael Raskin
47183c813e
golly-beta: init at 2.9b2 to test GL issues
2017-03-22 17:02:55 +01:00
Franz Pletz
bfb7890fa0
Merge pull request #24191 from jbedo/bedtools
...
bedtools: fix clang build
2017-03-22 15:30:19 +01:00
Justin Bedo
56aeb271c9
bedtools: fix clang build
2017-03-22 12:00:24 +11:00
Dan Peebles
7ad3fd7ca7
neuron: fix on clang 3.8 and above
...
This is in preparation for upgrading Darwin stdenv to LLVM 4
2017-03-21 01:00:18 -04:00
Michael Raskin
4d5f33deff
Merge pull request #23376 from bcdarwin/ants
...
ANTs: init at 2.1.0 (0gyys1lf) and update ITK accordingly
2017-03-18 18:42:24 +01:00
rht
bbd1c3d58a
coq_HEAD: Update once more
2017-03-18 01:51:38 +03:00
rht
7264efb5cb
Fold in specific ocaml version choice into let
2017-03-18 01:51:37 +03:00
rht
975d040f07
coq_HEAD: Update to the latest commit
2017-03-18 01:50:26 +03:00
Robin Gloster
f70a896094
hol: mark as broken
2017-03-14 15:36:06 +01:00
Arseniy Seroka
320a8a5a94
Merge pull request #23842 from volhovM/fix/sage_68_sed
...
sage: fix build at 6.8
2017-03-13 16:51:55 +03:00
Robin Gloster
e2a13af49c
emboss: fix build
2017-03-13 13:15:51 +01:00
Mikhail Volkhov
78c0cecc5f
sage: fix build at 6.8
2017-03-13 10:34:55 +03:00
Maximilian Bosch
2df3b5ca7f
geogebra: 5-0-331-0 -> 5-0-338-0 ( #23593 )
2017-03-12 21:37:10 +00:00
Jörg Thalheim
4d13b5d201
Merge pull request #23631 from edef1c/verilator-shebang
...
verilator: fix Perl shebangs
2017-03-09 15:05:40 +01:00
Justin Bedo
1ac797861b
SnpEff: init at 4.3i
2017-03-08 22:43:50 +01:00
Justin Bedo
076e513b94
varscan: init at 2.4.2
2017-03-08 22:43:49 +01:00
Justin Bedo
4bb50fd08c
picard-tools: init at 2.7.1
2017-03-08 22:43:45 +01:00
Justin Bedo
7f214e6410
bedtools: init at 2.26.0
2017-03-08 22:36:29 +01:00
Justin Bedo
661048c803
platypus: init at 2017-03-07
2017-03-08 22:36:03 +01:00
Ricardo Ardissone
e17d3d4ef1
gplates: use boost 160
...
update 161 changed reference parameters for optional
https://hydra.nixos.org/build/49707856/nixlog/1
http://www.boost.org/doc/libs/1_61_0/libs/optional/doc/html/boost_ooptional/relnotes.html
2017-03-08 13:04:34 +02:00
edef
2c02c84cdc
verilator: fix Perl shebangs
2017-03-08 11:38:48 +01:00
Peter Simons
c5563b48ba
R: set TZDIR properly to fix test suite
2017-03-07 14:56:46 +01:00
Peter Simons
6b3eec627e
R: include output of sessionInfo() in the "make check" log
...
The R developers would like that information to be included in bug
reports.
2017-03-07 14:56:46 +01:00
Peter Simons
fac139e723
R: update to version 3.3.3
2017-03-07 14:56:46 +01:00
Jörg Thalheim
99e74e9509
alliance: mark as broken
...
there is no maintainer for this package and even debian looks
for a new maintainer.
2017-03-06 08:27:10 +01:00
Thomas Tuegel
494dc2af2e
Merge pull request #23423 from ttuegel/fricas
...
fricas: 1.2.2 -> 1.3.1
2017-03-03 09:49:47 -06:00
Robin Gloster
bb9a37a2a5
ikarus: remove
...
unmaintained, only works on 32 bit
2017-03-03 13:43:04 +01:00
Benno Fünfstück
253d736398
boinc: fix location of /etc in $out
...
Looks like the latest version no longer requires the patch, and the patch instead resulted in
/etc files being installed to `$out/$out/etc` instead of `$out/etc`
2017-03-03 12:58:43 +01:00
Thomas Tuegel
28cb067600
fricas: 1.2.2 -> 1.3.1
2017-03-02 19:39:55 -06:00
Robin Gloster
c1866cade9
libsForQt5.qmltermwidget: fix build
2017-03-02 14:13:35 +01:00
Ben Darwin
05359c327b
ANTs: init at 2.1.0 (0gyys1lf)
2017-03-01 21:06:30 -05:00
Katona László
085502dd80
cytoscape: fixed issue with startup script
2017-03-01 21:46:49 +01:00
Robin Gloster
4df663a9a2
verilator: 3.884 -> 3.900
2017-02-27 15:22:50 +01:00
Domen Kožar
4ccb553b70
Merge pull request #22817 from jbedo/r
...
R: 3.2.4 -> 3.3.2
2017-02-27 14:02:13 +01:00
