mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-12 07:34:36 +00:00
Code Issues Wiki Activity
121741 commits 186 branches 125 tags 8.2 GiB
Commit graph

1427 commits

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