Jörg Thalheim
9cff865230
Merge pull request #44122 from bgamari/kicad-0.5
...
kicad: 4.0.7 -> 5.0.0
2018-07-31 15:12:27 +01:00
Jörg Thalheim
71b579f9d4
kicad: remove scripting flag for simplicity
2018-07-31 14:44:49 +01:00
Jörg Thalheim
611f0ed188
kicad: properly wrap wxPython
2018-07-31 14:37:59 +01:00
R. RyanTM
38c8be3726
gp2c: 0.0.10pl1 -> 0.0.11 ( #43941 )
...
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/gp2c/versions .
2018-07-31 00:30:21 +02:00
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
Ben Gamari
a4c932fa51
kicad: 4.0.7 -> 5.0.0
2018-07-26 12:27:27 -04: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