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