Commit graph

1647 commits

Author SHA1 Message Date
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
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,
so ensure meta.priority is always set to an integer.

This fixes evaluation of `linuxPackages_latest.virtualbox`
(the impetus for this commit)
and other packages that use lowPrio or hiPrio.
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
Bjørn Forsman c49533a494 qt-gstreamer1: align attrname with pkgname 2017-02-27 12:16:26 +01:00
Christopher League 242f6caac6 logisim: use better jar wrapper, closes #23068 2017-02-26 10:19:32 +01:00
Gabriel Ebner cc647804f1 lean: 3.0.0 -> 3.1.0 2017-02-26 08:50:15 +01:00
Thomas Tuegel 0ed156a216 Merge pull request #22977 from ttuegel/triage-kde4
Remove KDE 4 desktop packages
2017-02-25 12:21:44 -06:00
Peter Hoeg e564a399d9 Merge pull request #22770 from NickHu/master
fdr: init at 4.2.0
2017-02-25 14:50:04 +08:00
Thomas Tuegel b4ba042924
qt4: Don't pass top-level attribute through kde4 2017-02-24 16:49:06 -06:00
Nick Hu cbe765043f fdr: init at 4.2.0 2017-02-24 11:00:02 +00:00
Justin Bedo 4bb8727284
R: 3.2.4 -> 3.3.2 2017-02-24 15:22:12 +11:00
Franz Pletz 67018e7759
pymol: fix evaluation
cc #23007 @Mounium @Mic92
2017-02-22 08:48:42 +01:00
Mounium eb688ac0a7 pymol: init at 1.8.4 (#23007) 2017-02-22 01:35:09 +01:00
Maximilian Bosch 10a453c61b
geogebra: add ma27 as maintainer 2017-02-19 16:51:01 +01:00
Maximilian Bosch 5d62724e27
geogebra: 5-0-328-0 -> 5-0-331-0 2017-02-19 16:44:49 +01:00
Maximilian Bosch d95868e980
geogebra: 5-0-320-0 -> 5-0-328-0 2017-02-14 17:43:58 +01:00
Rongcui Dong acce1d9ad2 ngspice: Add XSpice and Cider support 2017-02-13 15:23:38 -08:00
Frederik Rietdijk 2832472da0 golly: use python2 2017-02-10 09:35:10 +01:00
Celine Mercier 78c052e91a
ecopcr: init at 0.8.0 2017-02-06 16:01:08 +01:00
Ian Lancaster 5f67b7b30a emboss: 6.0.1 -> 6.6.0 2017-02-04 19:05:48 -05:00
Joachim F 2b961075ae Merge pull request #22231 from Ma27/hotfix/update-geogebra
geogebra: 5.0.271.0 -> 5-0-320-0
2017-02-03 01:13:07 +01:00
Gabriel Ebner 311ec6abd5 Merge pull request #22361 from peterhoeg/u/crunch
speedcrunch: 0.11 -> 0.12.0
2017-02-02 07:54:06 +01:00
Rongcui Dong 7ea20c9e27 ngspice: 25 -> 26 2017-02-02 07:42:26 +01:00
Peter Hoeg 58a5d0783e speedcrunch: 0.11 -> 0.12.0
Also:
  - build against qt5 instead of qt4
2017-02-02 09:13:54 +08:00
Gabriel Ebner ac10c19746 veriT: 201506 -> 2016 2017-02-01 19:43:02 +01:00
Damien Cassou 58dc8e3024
Remove myself from maintainers 2017-01-31 11:00:14 +01:00
Maximilian Bosch eda5bca00a geogebra: 5.0.271.0 -> 5-0-320-0 2017-01-28 17:33:20 +01:00
Vincent Laporte d40b680101 coq-8.4: fix build of ssreflect and mathcomp 2017-01-25 13:14:31 +00:00
Vincent Laporte 798a87159b Coq: propagates the findlib package
So that Coq libraries that need it can easyly use it
2017-01-25 10:29:13 +00:00
Vincent Laporte 9b949be617 coq: minor refactoring 2017-01-25 10:29:13 +00:00
Vincent Laporte a30e8db9f0 coq: merge files 8.5.nix and 8.6.nix into default.nix 2017-01-25 10:29:13 +00:00
Vincent Laporte 86b74fb76b alt-ergo: 0.99.1 -> 1.30 2017-01-21 13:44:41 +00:00
Vincent Laporte 8c928cd55a why3: 0.87.1 -> 0.87.3 2017-01-21 13:31:10 +00:00
Gabriel Ebner 6c9f4a61be lean: 2017-01-14 -> 3.0.0 2017-01-20 10:59:54 +01:00
Gabriel Ebner 5ad75554b6 lean: 2017-01-06 -> 2017-01-14 2017-01-14 09:37:48 +01:00
Pascal Wittmann 89dfe67f81 Merge pull request #21819 from AtnNn/isabelle
isabelle: 2016 -> 2016-1
2017-01-13 21:58:57 +01:00
Etienne Laurin 3d301e384e isabelle: 2016 -> 2016-1 2017-01-11 17:33:04 -05:00
Michael Raskin 39ed261c4c Merge pull request #21632 from veprbl/sherpa_fix
sherpa: fix sqlite dependency
2017-01-09 09:58:22 +00:00
Dmitry Kalinkin 0f71012fe6
sherpa: add useful dependencies 2017-01-07 01:36:51 -05:00
Vladimír Čunát 07bf828bd9
Merge branch 'staging'; security /cc #21642 2017-01-06 16:32:47 +01:00
Gabriel Ebner 74a97421ce lean: 2016-12-30 -> 2017-01-06 2017-01-06 11:57:40 +01:00
Dmitry Kalinkin 2f23d60323 sherpa: fix sqlite dependency 2017-01-04 04:59:06 +00:00
Daiderd Jordan 27660cfdc0
Merge branch 'master' into staging 2017-01-04 01:42:26 +01:00
Domen Kožar af2cfc076f haskellPackages.z3: fix #16357 2017-01-03 23:10:24 +01:00
Michael Raskin 7c5784d1f0 maxima: 5.38.1 -> 5.39.0 2017-01-02 21:53:21 +01:00
Daiderd Jordan 5a67b130b9
Merge branch 'master' into staging 2017-01-02 00:54:17 +01:00
Dmitry Kalinkin c7bcb99ff2
root: 6.04.18 -> 6.08.02
This relies on
e9d60c56 ('libc++3.7: fix to use with modern compilers')
2017-01-01 17:52:03 -05:00
Pascal Wittmann 039e90c9d3
fityk: 1.3.0 -> 1.3.1 2017-01-01 18:19:39 +01:00
Gabriel Ebner 68b2d43c88 lean: 2016-12-08 -> 2016-12-30 2016-12-31 13:51:10 +01:00
Dmitry Kalinkin 8fb6895614
sherpa: init at 2.2.1 2016-12-30 14:27:55 -05:00
Michael Raskin e65cccb776 Merge pull request #21221 from rardiol/gplates
gplates: init at 2.0.0
2016-12-28 10:21:23 +00:00
mimadrid 29cb10c021
igv: 2.3.77 -> 2.3.89 2016-12-23 19:37:10 -05:00
John Wiegley 4888bfecc2
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect
Addresses #14829
2016-12-22 10:35:56 -08:00
Jason Daniel Augustine Gilliland 59ca5d213f freebayes: init at 1.1.0
Signed-off-by: zimbatm <zimbatm@zimbatm.com>
2016-12-22 14:10:37 +00:00
ft@zeus 1b8aec421b
stellarium: 0.14.3 -> 0.15.0
close #21271
2016-12-21 20:22:44 -05:00
Ricardo Ardissone 662aa495df gplates: init at 2.0.0 2016-12-16 22:29:53 -02:00
John Wiegley 838a3b4294
coq_8_6: 8.6rc1 -> 8.6 2016-12-14 13:46:07 -08:00
John Wiegley 62934023c3
coq_HEAD: Update to the latest commit as of 2016-12-13 2016-12-13 08:09:23 -08:00
John Wiegley 360234dab6
coq_8_6: new package, based on Coq 8.6rc1 2016-12-13 07:27:15 -08:00
Eelco Dolstra c5b96ca801 minisat: Fix build on Darwin 2016-12-09 19:57:07 +01:00
Gabriel Ebner a2210a9efd lean: init at 2016-12-08 2016-12-08 10:30:28 -05:00
Gabriel Ebner ce2a9a8f9b lean2: 2016-07-05 -> 2016-11-29
Renamed from lean since upstream renamed it as well.  The lean attribute
in nixpkgs will now refer to the new lean 3 version.
2016-12-08 10:30:28 -05:00
Michael Raskin 3a98749bd1 pari: 2.9.0 -> 2.9.1 2016-12-08 16:15:18 +01:00
Vincent Laporte 431c564993 hol_light: fix build with Camlp5-6.17 2016-11-29 18:34:21 +00:00
Nicolò Balzarotti f390d68b75 yarp: 2.3.66.1 -> 2.3.68 2016-11-28 17:03:19 +01:00
Michael Raskin fcc5a4d3b8 Merge pull request #20672 from AndersonTorres/pari
pari/gp: 2.7.6 -> 2.9.0
2016-11-26 13:34:15 +00:00
Ole Krüger a31c37c759 [mathematica] 10.0.2 -> 11.0.1 2016-11-25 12:13:41 +01:00
AndersonTorres d395439a10 pari/gp: 2.7.6 -> 2.9.0
Adding gp2c compiler, too.
2016-11-24 22:44:56 -02:00
Vladimír Čunát 4c19651108
Merge #20264: root: fix environment setup 2016-11-14 22:27:09 +01:00
Justin Bedo a6d6a3972f
plink-ng: init at 1.90b3 2016-11-14 20:28:39 +11:00
Shea Levy 2ded9f3f7b coq: Improve emacs buffer handling 2016-11-13 14:01:01 -05:00
Austin Seipp 0bdc0143fe nixpkgs: proverif 1.94 -> 1.95
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-11-10 03:45:51 +00:00
Frederik Rietdijk 3b5d5041ef Merge pull request #20267 from jbedo/master
Fix bcftools installation prefix
2016-11-09 21:57:46 +01:00
Gabriel Ebner 8c4aee4c79 z3: 4.4.1 -> 4.5.0 2016-11-08 16:14:16 -05:00
Justin Bedo ec31e2cc27
Fix bcftools installation prefix 2016-11-09 08:03:04 +11:00
Tim Steinbach 6d11e8ed4c
Remove pal2nal
No longer build/exists
2016-11-03 21:58:47 -04:00
Tim Steinbach c36a1d6502
paml: 4.2a -> 4.9c 2016-11-03 21:33:19 -04:00
Vincent Laporte b028b5f4ef coq-8.5: ease the selection of an older (patch level) version 2016-11-02 19:39:22 +01:00
Vincent Laporte b840da02cd coq: build and install the votour utility 2016-11-02 19:23:15 +01:00
Vincent Laporte da68cc24f0 coq: 8.5pl2 -> 8.5pl3 2016-11-02 19:23:15 +01:00
vbgl 7f241baaaf Merge pull request #19902 from dtzWill/update/yices
yices: 2.3.1 -> 2.5.1
2016-10-31 09:35:21 +01:00
Will Dietz 0443affe17 yices: Add darwin to meta.platforms 2016-10-30 13:38:07 -05:00
Dmitry Kalinkin 9434ec5441
root: fix environment setup
1) s/envHook/postHook/
2) patch to not set $p that fixes nested ```nix-shell -p root``` calls
2016-10-29 14:47:32 -04:00
Ertugrul Söylemez 9c8f6fb4fb pari-unstable: 2.8.0 -> 2.8.1, "alpha" -> "unstable". 2016-10-27 14:48:03 +02:00
Michael Raskin f9f23084d9 pari_alpha: fix source link 2016-10-27 12:17:16 +02:00
Will Dietz 3cf27a654a yices: Build in parallel, run tests, fix test shebang. 2016-10-26 13:01:21 -05:00
Will Dietz 8584ec97ed yices: fix install target by using 'true' as ldconfig 2016-10-26 12:59:34 -05:00
Will Dietz 1f89121551 yices: 2.3.1 -> 2.5.1 2016-10-26 12:59:06 -05:00
Frederik Rietdijk 7077a270bf Merge remote-tracking branch 'upstream/master' into HEAD 2016-10-26 13:06:43 +02:00
Michael Raskin 28aa92de64 maxima: support building with ECL; optionally support building maxima.fas when building with ECL 2016-10-26 11:06:41 +02:00
Michael Raskin 36804c75e4 singular: Wrap executables instead of symlinking
This way config scripts can fidn out their own location
2016-10-26 11:06:40 +02:00
Michael Raskin 2bed05d8e1 singular: add an option to install as libsingular 2016-10-26 11:06:40 +02:00
Michael Raskin 8e9ad9bfdc pari_alpha: use perl to generate function descriptions 2016-10-26 11:06:40 +02:00
Michael Raskin 5af1b7ad02 singular: 3-1-2 -> 3-1-7 2016-10-26 11:06:39 +02:00
Michael Raskin 93bea1ecb0 R: 3.2.3 -> 3.2.4 2016-10-26 11:06:37 +02:00
Michael Raskin 5f418b75d6 nauty: init at 26r7 2016-10-26 11:06:36 +02:00
Michael Raskin a67a50895c gfan: init at 0.5 2016-10-26 11:06:36 +02:00
Michael Raskin 71f659d86d pari_alpha: init at 2.8.0.alpha: planning to use for Sage 2016-10-26 11:06:34 +02:00
Michael Raskin 411d5742ca symmetrica: init at 2.0 2016-10-26 11:06:33 +02:00
Michael Raskin c450d7b0a8 ratpoints: init at 2.1.3 2016-10-26 11:06:33 +02:00
Frederik Rietdijk e56832d730 Merge remote-tracking branch 'upstream/master' into HEAD 2016-10-22 17:23:24 +02:00
Vladimír Čunát 4328629bf8 treewide: fix meta evaluation
There is no `stdenv.maintainers`. /cc @veprbl.
2016-10-22 12:05:23 +02:00
Jörg Thalheim 9c0b5e4b22 Merge pull request #19666 from veprbl/hep_for_upstream
Add fastjet, hepmc, yoda, rivet, lhapdf, herwig, pythia, sacrifice, nlojet++
2016-10-21 21:58:45 +02:00
Dmitry Kalinkin ef96b48659
root: s/python/python2/ 2016-10-21 15:47:38 -04:00
Dmitry Kalinkin 59a8aff8e6
root: add veprbl to maintainers 2016-10-21 13:30:30 -04:00
Dmitry Kalinkin b4e3e7b752
add veprbl to maintainers 2016-10-21 13:29:57 -04:00
= d6880b210c
yarp: 2.3.65 -> 2.3.66.1 2016-10-20 19:34:03 +02:00
Dmitry Kalinkin 3324d8dc72
sacrifice: init at 1.0.0 2016-10-19 02:17:16 -04:00
Frederik Rietdijk 8963dae343 z3: use python2 2016-10-18 23:16:07 +02:00
Shea Levy eca0f17ad2 nix-buffer support improvements.
Use inherit-local, add per-package elisp hooks.
2016-10-07 10:31:37 -04:00
Kirill Boltaev 3e646865f4 treewide: use ocaml.version (#19192) 2016-10-05 09:32:30 +02:00
Aneesh Agrawal fcee1d0b28
Remove redundant -DCMAKE_BUILD_TYPE=Release flags
Since commit 183d05a0 in 2012, this is the default.

fixes #18000
2016-10-01 16:13:41 +02:00
Brian McKenna 57e1250d89 redprl: remove explicit builder
patchPhase wasn't being called for me so I've switched out the explicit
builder for the generic form. I can now build RedPRL on locally on
NixOS.
2016-09-29 10:52:29 +10:00
Anthony Cowley a523351314 redprl: patch install script shebangs 2016-09-27 18:24:06 -04:00
Joachim F 19d3b1aa5f Merge pull request #19004 from nico202/fix-gazebo-cmake
gazebo7: Fix gazebo-config.cmake output file
2016-09-27 16:32:32 +02:00
= efb56cec43
gazebo7: Fix gazebo-config.cmake output file 2016-09-27 10:30:27 +02:00
Kirill Boltaev 2bc87d48f1 scilab: mark as broken 2016-09-26 02:36:49 +03:00
Kirill Boltaev 06ecea00e5 glsurf: mark as broken 2016-09-26 02:36:49 +03:00
Kirill Boltaev e61663a233 treewide: move to ocaml-ng system 2016-09-26 02:36:49 +03:00
Anthony Cowley a3c26fec32 redprl: init at 2016-09-22 2016-09-23 20:37:20 -04:00
Vincent Laporte c78c2b98c4 ecm: set meta.platforms to linux only 2016-09-21 19:14:11 +02:00
Gabriel Ebner dd4a015aa8 eprover: 1.9 -> 1.9.1 2016-09-20 11:57:14 -04:00
Joachim F e22dd2f6c5 Merge pull request #18740 from chris-martin/tulip-4-9
Tulip: 4.1.0 -> 4.9.0
2016-09-20 14:34:17 +02:00
Ram Kromberg a729d6ee55 calc: remove redundant groff dependency 2016-09-19 01:37:45 +03:00
Chris Martin 08e5949235 tulip: 4.1.0 -> 4.9.0 2016-09-18 15:24:29 -04:00
Dmitry Kalinkin 7b9deaba81 root: add setup-hook 2016-09-18 04:45:18 -04:00
Nikolay Amiantov 4748709926 Merge commit 'refs/pull/18498/head' of git://github.com/NixOS/nixpkgs 2016-09-13 12:51:34 +03:00
Franz Pletz fb9117efa6 Merge pull request #18488 from chris-martin/md5-2
Miscellaneous packages: Use sha256 instead of md5 (part 2)
2016-09-13 07:11:43 +02:00
Kirill Boltaev bccd75094f treewide: explicitly specify gtk and related package versions 2016-09-12 18:26:06 +03:00
Dmitry Kalinkin 5646c2aba6 root: add support for x86_64-darwin
1) add pcre dependency (for some reason builtin_pcre doesn't work)
2) Disable dependencies that are currently not supported by the
expression.  Most users should not need those. These are disabled to
prevent cmake from picking them up from system and causing impurities.
Once there is a user who needs these they will have to update the
expression.
3) disable some OSX detection code that relies on /usr/bin/sw_vers
that chooses c++ library, silences warnings and sets macosx-version-min.
macosx-version-min is already set by nix using MACOSX_DEPLOYMENT_TARGET
environment variable.
2016-09-11 17:29:13 -04:00
Chris Martin e417a63e61 scilab: md5->sha256 2016-09-10 13:50:10 -04:00
Dan Peebles f285ce8fed twelf: fix emacs mode 2016-09-08 23:12:32 -04:00
Michael Raskin b924cdefa5 tptp: take into account upstream tarball hash change; one file got renamed and some statistics in the documentation got regenerated 2016-09-08 16:49:22 +02:00
obadz 2919375c91 minc_tools: don't run tests which have been failing since first pkged 2016-09-05 17:26:12 +01:00
Domen Kožar 9e363a752f openmodelica: enable parallel building
(cherry picked from commit 261d51971a352cbcdc8d70dc74f8971ac202a43d)
Signed-off-by: Domen Kožar <domen@dev.si>
2016-09-05 18:06:28 +02:00
Joachim F 3d852770db Merge pull request #18164 from moyamo/geogebra
geogebra: 5.0.265.0 -> 5.0.271.0
2016-09-03 17:06:54 +02:00
Tuomas Tynkkynen 3364230d56 Disable bunch of non-compiling packages on Darwin
These ones have a "Last successful build" timestamp in the 2014s or
2015s. Presumably no one will notice if we now stop building them.

softether_4_18              2015-09-20  http://hydra.nixos.org/build/39418483
lensfun                     2014-09-30  http://hydra.nixos.org/build/39394104
net_snmp                    2015-09-20  http://hydra.nixos.org/build/39410553
djview                      2015-08-11  http://hydra.nixos.org/build/39413233
libmusicbrainz2             2015-09-20  http://hydra.nixos.org/build/39410106
fox_1_6                     2014-05-07  http://hydra.nixos.org/build/39410858
libofx                      2015-09-24  http://hydra.nixos.org/build/39423507
yacas                       2014-09-30  http://hydra.nixos.org/build/39393150
iomelt                      2014-09-30  http://hydra.nixos.org/build/39408486
softether                   2015-09-20  http://hydra.nixos.org/build/39425800
mp4v2                       2014-09-30  http://hydra.nixos.org/build/39421899
virtuoso7                   2014-09-21  http://hydra.nixos.org/build/39415206
man_db                      2015-04-23  http://hydra.nixos.org/build/39404236
libdiscid                   2014-09-30  http://hydra.nixos.org/build/39412202
zabbix22.agent              2014-09-21  http://hydra.nixos.org/build/39412149
vidalia                     2015-08-06  http://hydra.nixos.org/build/39411500
libmtp                      2015-09-20  http://hydra.nixos.org/build/39419199
wxGTK29                     2015-09-20  http://hydra.nixos.org/build/39415296
ncmpcpp                     2015-11-06  http://hydra.nixos.org/build/39404455
libtorrent                  2014-09-21  http://hydra.nixos.org/build/39394646
shishi                      2014-03-21  http://hydra.nixos.org/build/39418874
ocaml_3_12_1                2014-09-30  http://hydra.nixos.org/build/39392996
djview4                     2015-08-11  http://hydra.nixos.org/build/39427799
vimNox                      2014-05-23  http://hydra.nixos.org/build/39397012
ttfautohint                 2015-08-06  http://hydra.nixos.org/build/39398330
libraw                      2015-09-24  http://hydra.nixos.org/build/39402271
wxGTK30                     2015-09-20  http://hydra.nixos.org/build/39401871
sbcl_1_2_5                  2015-09-20  http://hydra.nixos.org/build/39426091
prover9                     2014-09-30  http://hydra.nixos.org/build/39406476
rcs                         2015-08-25  http://hydra.nixos.org/build/39392037
gpac                        2015-09-24  http://hydra.nixos.org/build/39399470
virtuoso6                   2014-09-30  http://hydra.nixos.org/build/39398651
xlslib                      2015-09-24  http://hydra.nixos.org/build/39410387
ucommon                     2015-03-27  http://hydra.nixos.org/build/39414040
commoncpp2                  2014-09-30  http://hydra.nixos.org/build/39420117
virtuoso                    2014-09-21  http://hydra.nixos.org/build/39399978
miniHttpd                   2014-09-30  http://hydra.nixos.org/build/39392925
mpack                       2014-09-26  http://hydra.nixos.org/build/39399535
nbd                         2014-09-26  http://hydra.nixos.org/build/39401367
newsbeuter-dev              2014-07-29  http://hydra.nixos.org/build/39406259
gimp_2_8                    2015-09-20  http://hydra.nixos.org/build/39436271
gimp                        2015-09-20  http://hydra.nixos.org/build/39435976
zabbix20.agent              2014-09-30  http://hydra.nixos.org/build/39393242
gst_all_1.gst-plugins-good  2015-09-20  http://hydra.nixos.org/build/39408506
ocaml_4_00_1                2014-09-30  http://hydra.nixos.org/build/39399526
inadyn                      2014-09-30  http://hydra.nixos.org/build/39426389
gst_all_1.gst-plugins-bad   2015-09-20  http://hydra.nixos.org/build/39392970
zabbix.agent                2014-09-30  http://hydra.nixos.org/build/39421412
cmake-2_8                   2015-09-24  http://hydra.nixos.org/build/39399443
liblastfm                   2015-08-06  http://hydra.nixos.org/build/39421812
newsbeuter                  2014-07-29  http://hydra.nixos.org/build/39396605
sdcv                        2014-09-26  http://hydra.nixos.org/build/39412928
2016-09-01 20:39:33 +03:00