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
Adrien Devresse
28d2d78b55
neuron: fix issue with incorrectly prefixed python path
2016-09-01 13:41:26 +02:00
Tuomas Tynkkynen
8c4aeb1780
Merge staging into master
...
Brings in:
- changed output order for multiple outputs:
https://github.com/NixOS/nixpkgs/pull/14766
- audit disabled by default
https://github.com/NixOS/nixpkgs/pull/17916
Conflicts:
pkgs/development/libraries/openldap/default.nix
2016-09-01 13:27:27 +03:00
Frederik Rietdijk
684f08166c
fixup
2016-09-01 12:03:10 +02:00
Adrien Devresse
ae2800378f
neuron: fix issue #17914 -> Add python bindings to neuron derivation and minor fixes
...
- Add support for python bindings
- make neuron respect standard pythonpath prefix
- force exec_prefix == prefix to respect standard nix file hierarchy
- normalize indentation
- propagate dependencies necessary for nrniv_makefile usage
- Add support for darwin
2016-09-01 12:03:10 +02:00
Mohammed Yaseen Mowzer
921682a4d5
geogebra: 5.0.265.0 -> 5.0.271.0
2016-08-31 18:31:56 +02:00
Tuomas Tynkkynen
b87a2245b1
root: Fix libc dev reference
2016-08-31 12:54:28 +03:00
Tuomas Tynkkynen
d3dc3d4130
Merge remote-tracking branch 'dezgeg/shuffle-outputs' into staging
...
https://github.com/NixOS/nixpkgs/pull/14766
2016-08-30 12:43:37 +03:00
Tuomas Tynkkynen
aef35c52f0
treewide: Fix output references to libX11
2016-08-30 03:40:23 +03:00
Tuomas Tynkkynen
c3bcb4e1ce
treewide: Use explicit 'dev' references to glibc
2016-08-30 03:11:09 +03:00
Vincent Laporte
17af87323d
maxima: 5.36.1 -> 5.38.1
2016-08-29 15:52:05 +02:00
Robin Gloster
005a147f92
sage: fix build
...
closes #17842
2016-08-29 12:46:51 +00:00
obadz
57ddc155fc
Merge branch 'master' into staging
...
Conflicts:
pkgs/games/scummvm/default.nix
2016-08-28 12:20:59 +01:00
Gabriel Ebner
497b3cabcc
libqalculate, qalculate-gtk: 0.9.8 -> 0.9.9
2016-08-28 10:40:33 +02:00
obadz
3de6e5be50
Merge branch 'master' into staging
...
Conflicts:
pkgs/applications/misc/navit/default.nix
pkgs/applications/networking/mailreaders/alpine/default.nix
pkgs/applications/networking/mailreaders/realpine/default.nix
pkgs/development/compilers/ghc/head.nix
pkgs/development/libraries/openssl/default.nix
pkgs/games/liquidwar/default.nix
pkgs/games/spring/springlobby.nix
pkgs/os-specific/linux/kernel/perf.nix
pkgs/servers/sip/freeswitch/default.nix
pkgs/tools/archivers/cromfs/default.nix
pkgs/tools/graphics/plotutils/default.nix
2016-08-27 23:54:54 +01:00
Nikolay Amiantov
1db4cb750c
gravit: fix build
2016-08-28 01:04:18 +03:00
Robin Gloster
9f80e55428
openmodelica: disable format hardening
2016-08-27 21:54:17 +00:00
Robin Gloster
191896e63a
qfsm: disable format hardening
2016-08-27 21:53:49 +00:00
Robin Gloster
eddc0a5549
treewide: fix darwin builds by using getOutput
...
This fixes eval for pkgs referring to optional static output
2016-08-25 08:44:20 +00:00
Franz Pletz
df275f5b85
treewide: fix darwin builds by referring to stdenv's libc
2016-08-25 02:56:25 +02:00
Robin Gloster
f00c750014
qgroundcontrol: remove unused overrideCC and comment
2016-08-24 22:41:41 +00:00
Robin Gloster
13d7e83bf1
perseus: use default gcc
2016-08-24 22:41:41 +00:00
Robin Gloster
bd44c7fd70
boolector: fix build with multiple outputs
2016-08-24 18:19:40 +00:00
obadz
0e8d2725dc
Merge branch 'master' into staging
2016-08-23 18:50:06 +01:00
Tuomas Tynkkynen
282277dbc8
treewide: Use more makeBinPath
2016-08-23 01:18:10 +03:00
obadz
24a9183f90
Merge branch 'hardened-stdenv' into staging
...
Closes #12895
Amazing work by @globin & @fpletz getting hardened compiler flags by
enabled default on the whole package set
2016-08-22 01:19:35 +01:00
Michael Raskin
14736fcf4c
openmodelica: fix libgfortran.so search
2016-08-20 21:52:21 +02:00
Austin Seipp
cc7b072157
nixpkgs: abc-verifier 20160813 -> 20160818
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-08-19 01:55:13 +00:00
Robin Gloster
99cb230b47
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-08-14 09:09:20 +00:00
Austin Seipp
97e5b88d06
nixpkgs: abc-verifier 20150614 -> 20160813
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-08-13 17:48:42 +00:00
Franz Pletz
bd4490e277
Merge branch 'master' into hardened-stdenv
2016-08-13 16:59:55 +02:00
Luca Bruno
27f294f38d
Merge pull request #17589 from cmfwyp/sagemath
...
sagemath: update mirrors, fix TeX Live dependency
2016-08-12 21:58:41 +01:00
Robin Gloster
b7787d932e
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-08-12 09:46:53 +00:00
Robin Gloster
40d217b90e
Merge pull request #17657 from matthewbauer/darwin-misc
...
Darwin misc. fixes
2016-08-11 16:41:34 +00:00
Michael Raskin
d1951974df
golly: 2.7 -> 2.8
2016-08-11 17:57:35 +02:00
Michael Raskin
da4b7afea8
pari: 2.7.5 -> 2.7.6
2016-08-11 17:57:35 +02:00
Matthew Bauer
96322f6926
bcftools: fix darwin building
...
gcc not available
2016-08-10 22:48:19 -05:00
Matthew Bauer
ee63056476
aspino: patch to use c++ instead of g++
2016-08-10 22:29:18 -05:00
Matthew Bauer
b3cb07e130
lie: only build on linux
...
Darwin build fails from conflicts in libSystem:
In file included from altdom.c:1:
In file included from /private/var/folders/7t/4vz31njj37b8y_bg6z3t7tk00000gn/T/nix-build-LiE-2.2.2.drv-0/LiE/lie.h:34:
In file included from /nix/store/9ll4m9yx854hr64fn1w9ra3qimm3pzdk-Libsystem-osx-10.9.5/include/string.h:176:
/nix/store/9ll4m9yx854hr64fn1w9ra3qimm3pzdk-Libsystem-osx-10.9.5/include/strings.h:73:7: error: redefinition of 'index' as different kind of symbol
char *index(const char *, int) __POSIX_C_DEPRECATED(200112L);
^
/private/var/folders/7t/4vz31njj37b8y_bg6z3t7tk00000gn/T/nix-build-LiE-2.2.2.drv-0/LiE/lie.h:6:14: note: previous definition is here
typedef long index;
^
1 error generated.
2016-08-10 21:06:22 -05:00
Matthew Bauer
d4b1289592
lie: LiE -> lie
...
Attributes need to be lowercase, see https://nixos.org/nixpkgs/manual/#sec-package-naming .
2016-08-10 21:04:16 -05:00
obadz
8df7571bbc
geogebra: don't build on hydra since derivation just unpacks jars
2016-08-10 14:35:14 +01:00
Mohammed Yaseen Mowzer
04f0cb86d0
geogebra: init at 5.0.265.0
...
Closes #17400
2016-08-10 14:32:09 +01:00
cmfwyp
179d992427
sage: fix TeX Live input
...
The Sage derivation had texLive, the old TeX Live packaging which
is now marked as broken, as a build input. This replaces it by the
current TeX Live packaging.
However, the build remains broken. One of the problems can be
solved by patching the hashbangs at the beginning of build scripts,
but the build still gets stuck while building ncurses.
2016-08-07 23:18:47 -04:00
Tuomas Tynkkynen
fdde95e096
msieve: Broken on i686
...
http://hydra.nixos.org/build/38236222
2016-08-06 17:06:45 +03:00
Tuomas Tynkkynen
f87f37c1ee
bwa: Broken on i686
...
http://hydra.nixos.org/build/38236956
2016-08-06 17:06:45 +03:00
Erik Rybakken
37aff96daf
ripser: init at 1.0 ( #17481 )
2016-08-04 10:21:48 +02:00
Robin Gloster
1b979d8384
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-08-03 13:34:44 +00:00
Tuomas Tynkkynen
21f17d69f6
treewide: Add lots of meta.platforms
...
Build-tested on x86_64 Linux & Mac.
2016-08-02 21:42:43 +03:00
Tuomas Tynkkynen
102ffa6be7
treewide: Wrap some really long package descriptions
2016-08-02 21:17:44 +03:00
Tuomas Tynkkynen
59ce911810
treewide: Some EOF-whitespace fixes
2016-08-02 21:17:44 +03:00
Tuomas Tynkkynen
1bf5ded193
treewide: Lots of meta.hydraPlatforms -> meta.platforms
...
In all of these files, there is no meta.platforms but only
meta.hydraPlatforms, which doesn't seem to have any purpose except being
inconsistent.
2016-08-02 21:17:44 +03:00
Robin Gloster
63c7b4f9a7
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-07-31 20:51:34 +00:00
Robert Helgesson
8878e8ec05
leo2: remove use of builderDefsPackage
( #17398 )
2016-07-31 13:57:29 +02:00
Ram Kromberg
78d82f33ac
alliance: 5.0 -> 5.1.1 ( #17353 )
2016-07-30 15:35:51 +01:00
Dmitry Kalinkin
4449ecb617
root: 6.04.16 -> 6.04.18 ( #17265 )
...
root: compile against external gsl
Revert "Revert "root: enable parallel building""
This reverts commit ee1a10ee6b
.
ROOT has no problems with parallel build. The problems that caused the
original commit were not related to parallel building.
2016-07-30 01:41:37 +01:00
Robin Gloster
154af9e67d
Merge pull request #9499 from khumba/scilab-bin-5
...
scilab-bin: init at 5.5.2
2016-07-28 16:43:08 +02:00
Marco Maggesi
c28eb6c2ba
Update HOL Light to version 2016-07-23.
2016-07-28 15:56:20 +02:00
Bryan Gardiner
ed071594e5
scilab-bin: init at 5.5.2
...
A built-from-source Scilab 5 package looks to be a lot more work, and some
dependencies are missing from Nixpkgs, but the binary version with bundled
dependencies works.
2016-07-27 21:30:12 -07:00
Gabriel Ebner
f970bc67c7
lean: 20160117 -> 2016-07-05
...
Fixes #17260 .
2016-07-27 11:01:45 +02:00
Robin Gloster
f222d98746
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-07-25 12:47:13 +00:00
Gabriel Ebner
9082476478
cvc4: 1.4 -> 1.5pre-smtcomp2016
2016-07-24 13:11:17 +02:00
Robert Helgesson
1012508356
stellarium: 0.14.2 -> 0.14.3
2016-07-22 23:13:35 +02:00
Robert Helgesson
1bedecb4f9
stellarium: wrap binary using wrapQtProgram
...
Fixes #13582 where Stellarium segfaults when starting.
2016-07-22 22:21:17 +02:00
Gabriel Ebner
82f087944b
metis-prover: 2.3.20160102 -> 2.3.20160713
2016-07-21 18:41:26 +02:00
Robin Gloster
203846b9de
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
2016-07-19 10:37:02 +00:00
Gabriel Ebner
530a9ab981
Merge remote-tracking branch 'vbgl/why3-0.87.1'
2016-07-18 13:33:50 +02:00
Ben Darwin
a896233396
jags: 3.4.0 -> 4.1.0 ( #16804 )
...
* jags: 3.4.0 -> 4.1.0
* unbreak rjags and dependent packages
2016-07-18 13:11:18 +02:00
vbgl
d7cfdc581c
coq: 8.5pl1 -> 8.5pl2 ( #16863 )
2016-07-18 11:33:51 +02:00
Nikolay Amiantov
aefd8c420c
Merge pull request #17043 from womfoo/fix/qmake4Hook-builds
...
reintroduce qmake .pro files after qmake4Hook changes
2016-07-18 00:11:24 +04:00
Kranium Gikos Mendoza
dd778f1756
fritzing: fix qmake4Hook build
...
pass phoenix.pro and return unpack logic which were removed in 0b88755
2016-07-17 22:40:27 +08:00
Joachim F
d9701350f9
Merge pull request #16951 from heilkn/lie
...
LiE: include forgotten file INFO.a by installation
2016-07-16 19:54:23 +02:00
Michael Raskin
61a3610853
tptp: 6.3.0 -> 6.4.0
2016-07-16 11:34:32 +02:00