alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
169645 commits 217 branches 121 tags 4.5 GiB
Commit graph

2455 commits

Author SHA1 Message Date
Gabriel Ebner 7cbc76a3e6 Merge branch 'auto-update/qalculate-gtk' 2019-02-16 17:25:47 +01:00
R. RyanTM ef405c5b67 qalculate-gtk: 2.8.2 -> 2.9.0 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/qalculate-gtk/versions
 2019-02-15 11:39:04 -08:00
Timo Kaufmann 9243e85fbc
sage: fix fetchSageDiff (#55783) 
For some reason I changed it to use `cgit`s `rawdiff` instead of `patch`
in the update to sage 8.6. Probably commited that by accident, at least
I can't remember the reason. Also changed the excludes filter, the
leading slash prevented it from working.

As a result, the cypari2 patch changed. Only didn't notice because it
was cached.

Fixes #55780
 2019-02-14 21:48:03 +01:00
Samuel W. Flint 52a7c4e30e z3: Patch file to get rid of python error 
See #55591, Z3Prover/z3#2131
 2019-02-14 10:11:15 -06:00
Michael Bishop ac29d96d25
Merge pull request #55629 from spacekitteh/patch-30 
Add maps to SC2
 2019-02-13 19:13:14 -04:00
Michael Raskin 8384cfe455
Merge pull request #55129 from oxij/tree/move-defaults-to-package-files 
all-packages.nix: move defaults to package files
 2019-02-13 20:04:08 +00:00
Sophie Taylor 744e344171
Update maps.nix 2019-02-13 08:53:32 +10:00
Sophie Taylor ce1eb1ea79 Update and rename maps.nix to maps-replays.nix 2019-02-12 10:41:41 +00:00
Sarah Brofeldt c0cfe9bf50
Merge pull request #54991 from FlorianFranzen/sc2-headless 
sc2-headless: 3.17 -> 4.7.1
 2019-02-12 09:42:56 +01:00
Timo Kaufmann 5728028916 sage: add numpy 1.16 compatibility patch 
https://trac.sagemath.org/ticket/27000
 2019-02-11 21:43:56 +01:00
Timo Kaufmann 342333c0ab
sage: add compatibility for sphinx 1.8.3 (#55078) (#55560) 
Since https://github.com/NixOS/nixpkgs/pull/48841 was replaced by
https://github.com/NixOS/nixpkgs/pull/54186, this needs to be done
separately.

(cherry picked from commit 33db01e6d9)
 2019-02-11 13:18:16 +01:00
Vladimír Čunát d2c4b5777b
sagelib: fix missing pkgs.pkgconfig 
Again: eb3f0aef43 #54306
Apparently the derivation needs both pkgconfigs
(it fails when missing either).
 2019-02-09 10:36:47 +01:00
tbenst 1cb81a69a0 cmtk: init at 3.3.1 (#54016) 
* cmtk: init at 3.3.1
 2019-02-08 17:41:14 -05:00
Will Dietz dcfce974d9
Merge pull request #55077 from m-labs/for-upstream 
rink: init at 0.4.4
 2019-02-07 09:47:46 -06:00
Timo Kaufmann dbc771f2e1
Merge pull request #55299 from r-ryantm/auto-update/jmol 
jmol: 14.29.29 -> 14.29.31
 2019-02-06 13:15:46 +01:00
markuskowa 0496c08afd
Merge pull request #55298 from r-ryantm/auto-update/igv 
igv: 2.4.16 -> 2.4.17
 2019-02-06 12:50:24 +01:00
Markus Kowalewski 64e9f2ad65
jmol: remove redundant name attribute 
version and pname are alrady present
 2019-02-06 12:25:25 +01:00
R. RyanTM a1360faba7 jmol: 14.29.29 -> 14.29.31 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/jmol/versions
 2019-02-05 20:33:46 -08:00
R. RyanTM da628f0cbd igv: 2.4.16 -> 2.4.17 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/igv/versions
 2019-02-05 20:06:55 -08:00
markuskowa 9703765556 molden: 5.8.2 -> 5.9.3 (#55044) 2019-02-05 23:57:29 +02:00
markuskowa 5c7edec7a3
Merge pull request #55152 from r-ryantm/auto-update/star 
star: 2.6.1d -> 2.7.0a
 2019-02-04 22:53:49 +01:00
R. RyanTM b015c68def verilator: 4.008 -> 4.010 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/verilator/versions
 2019-02-04 11:54:29 -06:00
R. RyanTM e27eaf6111 star: 2.6.1d -> 2.7.0a 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/star/versions
 2019-02-03 17:20:27 -08:00
Jan Malakhovski 88ca6dd78a cplex: move defaults to package file 2019-02-03 15:30:47 +00:00
Jan Malakhovski ec2452dac1 scilab: move defaults to package file 2019-02-03 15:30:45 +00:00
Sebastien Bourdeauducq 3b03b901fb rink: init at 0.4.4 2019-02-03 13:29:18 +08:00
Florian Franzen 337babae4c sc2-headless: 3.17 -> 4.7.1 2019-01-31 15:21:58 +01:00
markuskowa e27e114803
Merge pull request #53677 from jbedo/snpeff-4.3T 
snpeff: 4.3q -> 4.3t
 2019-01-31 10:36:32 +01:00
Robert Schütz 052acfe930 sage: python-openid: move django and twill to checkInputs (#54949) 
A search through the source code
(https://github.com/openid/python-openid/search?q=django and
https://github.com/openid/python-openid/search?q=twill) reveals
that they are only used in examples and tests.
 2019-01-31 10:14:36 +01:00
Justin Bedo 75dd587793
snpeff: 4.3q -> 4.3t 2019-01-31 15:15:05 +11:00
markuskowa ca13dc163b
Merge pull request #49871 from wucke13/getdp 
getdp: init at 3.0.4
 2019-01-31 00:43:08 +01:00
markuskowa a98cebbc35
Merge pull request #54828 from r-ryantm/auto-update/gmsh 
gmsh: 4.1.0 -> 4.1.3
 2019-01-29 12:39:06 +01:00
Sébastien Maret d5f4b2b63e gildas: 20181201_a -> 20190101_b 2019-01-29 11:00:45 +00:00
R. RyanTM 2b39f17d08 minimap2: 2.14 -> 2.15 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/minimap2/versions
 2019-01-28 20:01:47 +00:00
R. RyanTM 2b03ef0521 gmsh: 4.1.0 -> 4.1.3 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gmsh/versions
 2019-01-28 10:33:36 -08:00
R. RyanTM 00cdff318a picard-tools: 2.18.23 -> 2.18.25 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/picard-tools/versions
 2019-01-28 17:17:30 +00:00
wucke13 4f40b5e00e getdp: init at 3.0.4 2019-01-28 16:45:13 +01:00
Dmitry Kalinkin b8d6cc8157
Merge pull request #54520 from veprbl/pr/sherpa_2.2.6 
sherpa: 2.2.5 -> 2.2.6
 2019-01-27 22:01:53 -05:00
Michael Raskin cc74c0399e leo3: init at 1.2 2019-01-27 01:57:11 +01:00
Artemis Tosini 51a2a08d6e
mathematica: 11.2.0 -> 11.3.0 
Note that this only affects the English version, as I do not have access
to the hash for the Japanese version.
 2019-01-25 15:29:02 +00:00
Dmitry Kalinkin d28bce307e
sherpa: 2.2.5 -> 2.2.6 2019-01-24 18:46:15 -05:00
Vincent Laporte b76961124d coq_8_9: 8.9+beta1 -> 8.9.0 2019-01-24 09:08:51 +00:00
Michael Raskin ebb370f680 z3-tptp: init 
Z3 ships a TPTP-supporting wrapper as an example; allow building it
 2019-01-22 16:51:18 +01:00
Dmitry Kalinkin 958201a98f
Merge pull request #48675 from veprbl/pr/xfitter_fix 
xfitter: runtime fixes
 2019-01-20 20:00:02 -05:00
Mario Rodas 9a18d9356d
lean: 3.4.1 -> 3.4.2 2019-01-20 06:46:37 -05:00
Austin Seipp 5069fa0a30 nixpkgs: remove sapic-0.9 
SAPIC is bundled with Tamarin and doesn't have separate releases
anymore; add an appropriate 'throw' clause to the alias so people know
where to find it.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-19 18:54:38 -06:00
Austin Seipp fc159594a7 tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic 
With this, we can drop the old 1.4.0 patches for 8.4 support, since
those are now upstream.

Furthermore, SAPIC Is now bundled inside Tamarin, so we can drop the
external dependency. (This includes a patch that compiles SAPIC to
native code, much like the original, to reduce closure size.)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-19 18:54:38 -06:00
Dmitry Kalinkin 0f3758b5e6
Merge pull request #53839 from fusion809/marvin 
marvin: init at 19.1.0
 2019-01-19 15:50:49 -05:00
Timo Kaufmann d34f44db45
sage: fix transient ecl error (#54285) 
Sometimes the doctests fail because ecl races to create a directory.
This should fix that by making sure each process has its own directory.
 2019-01-18 23:02:03 +01:00
markuskowa 4545aaa671
Merge pull request #54209 from r-ryantm/auto-update/gmsh 
gmsh: 4.0.7 -> 4.1.0
 2019-01-18 11:40:48 +01:00