mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-01 01:51:24 +00:00
Code Issues Wiki Activity
111273 commits 268 branches 125 tags 5.4 GiB
Commit graph

1258 commits

Author SHA1 Message Date
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