mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-24 06:31:02 +00:00
Code Issues Wiki Activity
168019 commits 262 branches 124 tags 6.9 GiB
Commit graph

2428 commits

Author SHA1 Message Date
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
worldofpeace ce69fadb36
Merge pull request #54153 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.18.21 -> 2.18.23
 2019-01-18 01:51:04 +00:00
R. RyanTM 55ea7b1bbe gmsh: 4.0.7 -> 4.1.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/gmsh/versions
 2019-01-17 12:55:54 -08:00
Timo Kaufmann e379ee67c3 sage: 8.5 -> 8.6 2019-01-17 20:39:02 +01:00
Timo Kaufmann 29e150d85f
Merge pull request #54127 from timokau/gap-improvements 
gap: install libgap, add packageSet option
 2019-01-17 20:38:38 +01:00
Timo Kaufmann cf63a8c94c gap: add packageSet option 
Two reasons for this:

- more fine-grained space/functionality tradeoff

- preparation for the sage 8.6 update, which finally doesn't need a
  downgraded gap anymore but does break when unexpected (non-standard)
  packages are installed. Details: https://trac.sagemath.org/ticket/26983

The proper way to deal with gap packages would be to create a package
set, package each one individually and have something like gap
equivalent of `python.withPackages`. I am not willing to do that
however.
 2019-01-17 10:10:24 +01:00
Timo Kaufmann bb173ec8e3 gap: install libgap 
There are some starts of a `make install`, but nothing complete yet.
Upstream now ships a `libgap` as a replacement of the custom one used by
sagemath.
 2019-01-17 10:10:21 +01:00
R. RyanTM b2a7ef628a picard-tools: 2.18.21 -> 2.18.23 
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-16 21:43:19 -08:00
Timo Kaufmann 6bbd0596dd gap: add timokau as maintainer 
So that I'll be notified on changes which likely impact sage.
 2019-01-16 23:41:31 +01:00
Timo Kaufmann a8dbc5e313
python.pkgs.cypari2: 1.3.1 -> 2.0.3 (#54093) 
Upstream issues should be fixed now, see https://trac.sagemath.org/ticket/26442.
Sage needs a patch to adapt.
 2019-01-16 22:15:40 +01:00
Gabriel Ebner 49db581e8c elan: 0.7.1 -> 0.7.2 2019-01-15 10:05:45 +01:00
Brenton Horne 6be5e679b1 marvin: init at 19.1.0 
Also adding myself (fusion809) as a maintainer.
The marvin Nix file in this commit is largely thanks to @msteen.
 2019-01-15 00:23:38 +10:00
Johannes Frankenau bebf305c1b gurobi: 8.0.1 -> 8.1 (#53884) 2019-01-13 23:22:55 +01:00
R. RyanTM 26b492b207 minimap2: 2.10 -> 2.14 (#52845) 
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-13 22:34:45 +01:00
Vladimír Čunát bde8efe792
Merge branch 'master' into staging-next 
A couple thousand rebuilds have accumulated on master.
 2019-01-12 12:19:34 +01:00
Dmitry Kalinkin 73625f2522 root5: mark as broken on Linux 2019-01-11 20:45:37 -05:00
Dmitry Kalinkin 0c9335fb1c root, root5: fix build on darwin 2019-01-11 20:45:37 -05:00
tbenst d34f2b9b96 bftools: init at 5.9.2 (#53769) 2019-01-10 18:28:28 -05:00
markuskowa b70a4b2b98
Merge pull request #53478 from bgamari/bump-ngspice 
ngspice: 29 -> 30
 2019-01-10 20:17:54 +01:00
Vladimír Čunát 287144e342
Merge branch 'master' into staging-next 2019-01-10 13:07:21 +01:00
Austin Seipp c10650760d yices: s/fetchurl/fetchFromGitHub/ 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Austin Seipp 38aa0a3df4 z3: 4.8.3 -> 4.8.4 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Austin Seipp d77f381055 symbiyosys: 2018.09.12 -> 2018.12.09 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Simon Lackerbauer f7367cbf1c abella: 2.0.5 -> 2.0.6 2019-01-08 17:05:30 +00:00
R. RyanTM bd7eec5d9c pynac: 0.7.22 -> 0.7.23 (#53559) 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/pynac/versions
 2019-01-07 14:52:18 +01:00
Vladimír Čunát 10a12194e3
Merge #53490: fix treewide linking errors after #51770 
Issue #53001.  This might not be all of them, but let's not wait.
 2019-01-06 12:14:52 +01:00
Frederik Rietdijk a4250d1478 Merge staging-next into staging 2019-01-06 09:48:31 +01:00
Frederik Rietdijk e5381cdece Merge master into staging-next 2019-01-06 09:36:23 +01:00