swendel/nixpkgs
1
0
Fork 0
mirror of https://github.com/SebastianWendel/nixpkgs.git synced 2024-09-28 16:10:17 +02:00
Code Issues Packages Projects Releases Wiki Activity
147190 commits 5 branches 0 tags 31 GiB
Commit graph

1927 commits

Author SHA1 Message Date
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 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
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
Timo Kaufmann 35896e3506 sage: replace flask-babel version pin by patch 2018-07-12 22:55:16 +02:00
Austin Seipp 54e9f7dcbe z3: move to multiple output packages 
The Z3 source code is effectively compiled into two completely separate
objects: the z3 binary file, and the libz3.so library -- but the binary is not
linked against the shared library, it simply incorporates all of the object
files. The Z3 code base results in an ~25MB object on x86_64-linux. As a
result, splitting bin/ and lib/ results in a 50% reduction in closure size.

(The include/ directory is also surprisingly large at .5MB...)

This also splits the python API into a completely separate .python attribute,
as well.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-07-12 15:48:48 -05:00
Timo Kaufmann d37c23c699 jmol: 14.29.12 -> 14.29.17 (#43429) 2018-07-12 22:31:52 +02:00
Frederik Rietdijk 04cae0e5fb
Merge pull request #43333 from r-ryantm/auto-update/libpoly 
libpoly: 0.1.4 -> 0.1.5
 2018-07-11 19:01:02 +02:00
R. RyanTM 40e648b7ab yices: 2.5.4 -> 2.6.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/yices/versions.
 2018-07-11 08:45:45 -05:00
R. RyanTM a89b538f0b libpoly: 0.1.4 -> 0.1.5 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/libpoly/versions.
 2018-07-11 02:29:13 -07:00