NixOS/nixpkgs
NixOS/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs synced 2024-10-19 03:47:13 -04:00
Code Activity
112975 commits 216 branches 122 tags 7.8 GiB
Commit graph

1292 commits

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