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

1933 commits

Author SHA1 Message Date
R. RyanTM d7c3926352 bcftools: 1.8 -> 1.9 (#43950) 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/bcftools/versions.
 2018-07-30 22:36:27 +02:00
Timo Kaufmann ae821e09e7 glpk: adopt error recovery patch (#44201) 
This makes it possible to use "vanilla" glpk for sage and shouldn't
affect anything else.
 2018-07-29 20:53:56 +02:00
Frederik Rietdijk e46e7f44c2
Merge staging-next into master 2018-07-29 09:13:54 +02:00
Lluís Batlle i Rossell f54b387b63 Merge remote-tracking branch 'central/master' into viric_clean 2018-07-28 19:25:14 +02:00
Frederik Rietdijk 8db716d9f3 Merge master into staging-next 2018-07-28 12:31:35 +02:00
Frederik Rietdijk 1fe2a0f81e
Merge pull request #44129 from timokau/pari-2.11.0 
pari: 2.9.5 -> 2.11.0
 2018-07-27 11:57:57 +02:00
Timo Kaufmann 330c501be0 pari: 2.9.5 -> 2.11.0 
The pari update makes it necessary to disable a giac test that only
fails because it directly tests the pari interface.
 2018-07-26 18:42:17 +02:00
Frederik Rietdijk f59e6f4037 Merge master into staging 2018-07-26 16:18:53 +02:00
Robert Schütz daabcc3b9a spyder: use python3 
Dependency pylint is no longer supported on Python 2.
 2018-07-26 12:43:18 +02:00
Matthew Bauer 6d880d2d5b
Merge pull request #42149 from timjrd/openspace-rebase 
openspace: init at 0.11.1
 2018-07-23 11:38:06 -04:00
Timo Kaufmann 024c23503c singular: 4.1.1p1 -> 4.1.1p2 2018-07-23 12:17:25 +02:00
Lluís Batlle i Rossell 66d7126255 Take me (viric) out of most maintenance 
Since years I'm not maintaining anything of the list below other
than some updates when I needed them for some reason. Other people
is doing that maintenance on my behalf so I better take me out but
for very few packages. Finally!
 2018-07-22 21:50:19 +02:00
Frederik Rietdijk f3088832df
Merge pull request #43899 from r-ryantm/auto-update/tla-toolbox 
tlaplusToolbox: 1.5.6 -> 1.5.7
 2018-07-22 08:44:58 +02:00
Frederik Rietdijk 5dcb1febac
Merge pull request #43913 from r-ryantm/auto-update/picard-tools 
picard-tools: 2.18.9 -> 2.18.10
 2018-07-22 08:42:32 +02:00
Frederik Rietdijk 935a54f300
Merge pull request #43940 from r-ryantm/auto-update/gtkwave 
gtkwave: 3.3.91 -> 3.3.92
 2018-07-22 08:23:25 +02:00
R. RyanTM a7a3526f71 gtkwave: 3.3.91 -> 3.3.92 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/gtkwave/versions.
 2018-07-21 17:57:51 -07:00
Ricardo M. Correia 0cf09556eb
why3: 0.88.3 -> 1.0.0 2018-07-21 22:53:44 +00:00
R. RyanTM 668047ca55 picard-tools: 2.18.9 -> 2.18.10 
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.
 2018-07-21 12:28:41 -07:00
R. RyanTM 9882d5635c tlaplusToolbox: 1.5.6 -> 1.5.7 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/tla-toolbox/versions.
 2018-07-21 08:39:53 -07:00
Jörg Thalheim 218298b30f
Merge branch 'master' into unused5 2018-07-21 15:41:22 +01:00
volth 52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
volth 6d2857a311 [bot] treewide: remove unused 'inherit' in let blocks 2018-07-20 19:38:19 +00:00
Frederik Rietdijk 1a6af9f88e
Merge pull request #43857 from volth/unused 
[bot] treewide: remove unreferenced code
 2018-07-20 21:06:32 +02:00
volth 87f5930c3f [bot]: remove unreferenced code 2018-07-20 18:48:37 +00:00
Matthew Bauer fddd90e9ea
Merge pull request #43538 from timokau/fetchpatch-fix 
fetchpatch: quote excludes
 2018-07-19 00:35:09 -04:00
Matthew Bauer 76999cc40e treewide: remove aliases in nixpkgs 
This makes the command ‘nix-env -qa -f. --arg config '{skipAliases =
true;}'’ work in Nixpkgs.

Misc...

- qtikz: use libsForQt5.callPackage

  This ensures we get the right poppler.

- rewrites:

  docbook5_xsl -> docbook_xsl_ns
  docbook_xml_xslt -> docbook_xsl

diffpdf: fixup
 2018-07-18 23:25:20 -04:00
Michael Raskin 877899fdb9
Merge pull request #43679 from timokau/ntl-11.2.1 
ntl: 9.11.0 -> 11.2.1
 2018-07-18 15:08:43 +00:00
Jan Tojnar a4443ef859
nasc: 0.4.6 → 0.4.7 2018-07-18 15:38:52 +02:00
Timo Kaufmann cad446513e ntl: 9.11.0 -> 11.2.1 
ntl hasn't been updated in a while. So I'm doing that and adding myself
as the maintainer. I'm also adding some options and pinning the sage
dependency, since it is unfortunately not compatible with the latest ntl
yet.

I've also enabled the tests, since they don't take terribly long and are
worth the time in my opinion.
 2018-07-18 14:58:38 +02:00
Timo Kaufmann 3058513941 fetchpatch: add option to revert a patch 2018-07-16 22:46:54 +02:00
Jan Malakhovski e80ca2182c clp: cleanup expression 2018-07-16 16:33:14 +00:00
Gabriel Ebner 862e4e4fdb cvc4: fix homepage url 2018-07-16 15:58:22 +01:00
fragamus 794a60a2fb bliss: fix header location (#43170) 2018-07-16 04:12:07 +00:00
Shea Levy ed23255c5a
Merge branch 'init-gurobi' of git://github.com/jfrankenau/nixpkgs 2018-07-15 18:25:07 -04:00
Timo Kaufmann c77d1e5b31 eclib: 20171219 -> 20180710 
Also includes the necessary sage compatibility patch, borrowed from
ArchLinux.
 2018-07-15 14:59:28 +02:00
Johannes Frankenau d6874a7e1e gurobi: init at 8.0.1 2018-07-14 23:52:48 +02:00
Mario Rodas 1c88d0c6bd z3: fix darwin build (#43526) 2018-07-14 21:49:47 +02:00
markuskowa 7f1bcb1ebf octopus: 7.2 -> 8.1 (libxc 3.0.1 -> 4.2.3) (#43484) 2018-07-14 00:37:30 +02:00
Timo Kaufmann 85f7fa93bc pythonPackages.cypari2: 1.1.4 -> 1.2.1 (#43496) 2018-07-14 00:17:55 +02:00
Frederik Rietdijk d0446a5c76
Merge pull request #43436 from timokau/sage-new-flask 
sage: replace flask-babel version pin by patch
 2018-07-13 18:52:26 +02:00
Frederik Rietdijk 59163c9c1c
Merge pull request #43471 from r-ryantm/auto-update/igv 
igv: 2.4.11 -> 2.4.13
 2018-07-13 18:47:57 +02:00
Michael Raskin 9932071581
Merge pull request #43472 from r-ryantm/auto-update/golly 
golly: 3.1 -> 3.2
 2018-07-13 15:51:31 +00:00
Will Dietz efdf4711d8
Merge pull request #43445 from dtzWill/fix/yices-symlink 
yices: fix symlink created to match version
 2018-07-13 10:11:49 -05:00
R. RyanTM d25ec8df03 golly: 3.1 -> 3.2 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/golly/versions.
 2018-07-13 03:02:59 -07:00
R. RyanTM ab535c2757 igv: 2.4.11 -> 2.4.13 
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.
 2018-07-13 02:49:22 -07:00
Will Dietz f731c99e7d abc-verifier: 20160818 -> 2018-07-08 
Now hosted on github.
 2018-07-12 21:44:56 -05:00
Will Dietz 946a65ca5c yices: use lib.splitString, not everyone has builtins.splitVersion 2018-07-12 19:11:06 -05:00
Will Dietz 237c8f4148 yices: simplify ln command 2018-07-12 18:52:10 -05:00
Will Dietz 6ff8685057 yices: fix symlink to match version of package 
To help avoid this happening again, derive the string to use
from the version directly instead of embedding it in installPhase.
 2018-07-12 18:46:28 -05:00
Will Dietz d3a595f190 libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style 2018-07-12 17:06:57 -05:00