Commit graph

2649 commits

Author SHA1 Message Date
Ryan Mulligan
14965968bd
Merge pull request #60550 from r-ryantm/auto-update/ginac
ginac: 1.7.5 -> 1.7.6
2019-04-30 19:27:22 -07:00
R. RyanTM
1d663a6b2e ginac: 1.7.5 -> 1.7.6
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ginac/versions
2019-04-30 15:56:23 -07:00
Michael Raskin
9d807a768a
Merge pull request #60520 from r-ryantm/auto-update/eprover
eprover: 2.2 -> 2.3
2019-04-30 19:16:59 +00:00
R. RyanTM
62cd9ccca4 eprover: 2.2 -> 2.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/eprover/versions
2019-04-30 10:05:27 -07:00
Gabriel Ebner
a35df16d5f
kicad: fix #49089 by adding libraries files (#57452)
kicad: fix #49089 by adding libraries files
2019-04-30 17:38:16 +02:00
Mario Rodas
7a965dcdab cedille: 1.0.0 -> 1.1.1 (#60307) 2019-04-29 21:02:44 +02:00
Timo Kaufmann
6dabc28cd0 sage: add compatibility for R 3.6.0
The random number generator seems to have changed. Because of this, a
trivial test adjustment is needed.
2019-04-29 13:37:07 +02:00
Alex Branham
4264ad4c2b R: 3.5.3 -> 3.6.0
The patch is necessary for the test suite to pass without errors. The
fix has already been made upstream but didn't make it into the 3.6.0
release.

Closes https://github.com/NixOS/nixpkgs/pull/60273.
2019-04-29 13:35:21 +02:00
Bruno Bzeznik
83886b3d91 aragorn: init at 1.2.38 (#58354) 2019-04-29 07:18:03 -04:00
Ben
535c38dd73 GeoGebra: 472 -> 535 (#60272)
* Update GeoGebra

* Update default.nix
2019-04-29 11:25:37 +02:00
Timo Kaufmann
31709b611f R: add timokau as a maintainer
I'm interested in R as a dependency for sage. R changes are likely to
impact sage, so I'd like to get notified on those changes.
2019-04-28 13:20:47 +02:00
Renaud
5560607988
Merge pull request #59484 from r-ryantm/auto-update/eagle
eagle: 9.3.1 -> 9.3.2
2019-04-25 23:32:25 +02:00
Renaud
71c6157fd7
Merge pull request #58534 from bzizou/sumatools.dev
sumatools: init at 1.0.34
2019-04-24 22:34:35 +02:00
Renaud
9f26d537e8
Merge pull request #59516 from r-ryantm/auto-update/gmsh
gmsh: 4.2.2 -> 4.2.3
2019-04-24 20:40:56 +02:00
worldofpeace
c8c0bd1fea
Merge pull request #51285 from expipiplus1/fped
fped: init at unstable-2017-05-11
2019-04-23 06:52:50 -04:00
markuskowa
d0e70ac2d3
Merge pull request #60010 from JohnAZoidberg/https-urls
HTTPS urls
2019-04-22 23:37:07 +02:00
Austin Seipp
b0fea1dc9c
verilog: 2018.12.15 -> 2019.03.27, parallel build
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-22 14:27:45 -05:00
Austin Seipp
fe8eb566b5
symbiyosys: 2019.03.28 -> 2019.04.18
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-22 14:27:45 -05:00
Daniel Schaefer
bac4d95aa2 treewide: Change URLs to HTTPS
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
2019-04-22 10:19:54 +02:00
Timo Kaufmann
512097dece
Merge pull request #59921 from timokau/gap-update
gap: 4.10.0 -> 4.10.1
2019-04-20 13:17:04 +02:00
R. RyanTM
0dc3184871 picard-tools: 2.18.27 -> 2.19.0 (#59634)
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-04-20 13:15:40 +02:00
Timo Kaufmann
9c7f774a39 gap: mark as broken on darwin
Has been failing to build for a while.
2019-04-20 12:36:11 +02:00
Timo Kaufmann
af6739fdd7 gap: 4.10.0 -> 4.10.1 2019-04-20 09:54:27 +02:00
Aaron Andersen
77dbfa3a55
Merge pull request #53803 from jfrankenau/init-groove
groove: init at 5.7.4
2019-04-19 20:27:18 -04:00
Aaron Andersen
11cf1a282d
Merge pull request #58377 from bzizou/exonerate
exonerate: init at 2.4.0
2019-04-19 13:25:49 -04:00
Mario Rodas
f84a7b3828
Merge pull request #59834 from luispedro/add_prodigal
Prodigal: init at 2.6.3
2019-04-19 09:50:03 -05:00
Bruno Bzeznik
6a8c9bff8f exonerate: init at 2.4.0 2019-04-19 14:58:57 +02:00
Bruno Bzeznik
90b4796c60 sumatools: init at 1.0.34 2019-04-19 14:43:40 +02:00
Johannes Frankenau
e7f021ca93 groove: init at 5.7.4 2019-04-19 13:34:30 +02:00
Luis Pedro Coelho
3fc55eec05 Prodigal: init at 2.6.3 2019-04-19 08:38:14 +02:00
Timo Kaufmann
49b8efcb84 sage: 8.6 -> 8.7
https://groups.google.com/forum/#!topic/sage-release/3m8PV9JkFro
2019-04-17 22:44:32 +02:00
Timo Kaufmann
e0e5445667 sage: fix another transient sig_on bug
Caused a test failure on hydra, backporting upstream fix.
2019-04-17 19:58:07 +02:00
R. RyanTM
d11731130d star: 2.7.0c -> 2.7.0f
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-04-16 18:30:49 +02:00
Michael Raskin
3d3a415f24 petrinizer: init at 0.9.1.1 2019-04-16 15:11:03 +02:00
Austin Seipp
bb27856a5c
Merge pull request #59522 from r-ryantm/auto-update/gtkwave
gtkwave: 3.3.99 -> 3.3.100
2019-04-16 02:12:25 -05:00
Matthew Bauer
f475aeaf29
Merge pull request #59535 from matthewbauer/homepage-fixes
treewide: update homepages to https where available
2019-04-15 20:47:30 -04:00
Matthew Bauer
290a5d916e treewide: update homepages to https where available
Based on "problems" from repology:

https://repology.org/repository/nix_unstable/problems

Mostly simple changes to reflect redirects.
2019-04-15 10:10:05 -04:00
R. RyanTM
c906798997 jmol: 14.29.32 -> 14.29.36 (#59546)
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-04-15 12:02:41 +02:00
Austin Seipp
a5add1e623
symbiyosys: 2018.12.09 -> 2019.03.28
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-04-15 00:17:54 -05:00
Luis Pedro Coelho
13a1f2c296 eggnog-mapper: init at 1.0.3 (#58905) 2019-04-14 17:22:47 -07:00
R. RyanTM
8a4ad20ed0 gtkwave: 3.3.99 -> 3.3.100
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
2019-04-14 14:47:32 -07:00
R. RyanTM
00d17e36ea gmsh: 4.2.2 -> 4.2.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-04-14 13:15:32 -07:00
Timo Kaufmann
62c288ec20
python.pkgs.sympy: 1.3 -> 1.4 (#59482) 2019-04-14 17:52:03 +02:00
Michael Raskin
796050fedd openmvs: mark as broken 2019-04-14 17:45:21 +02:00
R. RyanTM
c3a9b4e1fd eagle: 9.3.1 -> 9.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/eagle/versions
2019-04-14 07:47:26 -07:00
markuskowa
87f595a1f0
Merge pull request #56615 from r-ryantm/auto-update/clp
clp: 1.16.11 -> 1.17.0
2019-04-14 12:05:32 +02:00
Markus Kowalewski
19dfffff3c
clp: restrict to x86_64-linux + darwin 2019-04-14 00:17:25 +02:00
Markus Kowalewski
e879991e1b
clp: 1.17.0 -> 1.17.11 2019-04-14 00:04:06 +02:00
Joe Hermaszewski
0e2d27f5af fped: init at 2017-05-11 2019-04-13 13:36:46 +08:00
Julien Dehos
a13f5d0da1 mxnet: fix cuda support enabled build (#48781) 2019-04-12 10:31:22 +00:00