Commit graph

3008 commits

Author SHA1 Message Date
Michael Raskin a35022aa80
Merge pull request #71566 from r-ryantm/auto-update/golly
golly: 3.2 -> 3.3
2019-10-21 19:41:50 +00:00
R. RyanTM b73b9399ba golly: 3.2 -> 3.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/golly/versions
2019-10-21 11:24:52 -07:00
Renaud 410d794f05
Merge pull request #71073 from nyanloutre/betaflight_configurator_10_6_0
betaflight-configurator: 10.5.1 -> 10.6.0
2019-10-20 20:01:00 +02:00
Ben Wolsieffer 8d04355d87 qgroundcontrol: 3.3.0 -> 3.5.5, fix build (#71308)
* qgroundcontrol: 3.3.0 -> 3.5.4, fix build

* qgroundcontrol: 3.5.4 -> 3.5.5
2019-10-20 19:27:23 +02:00
Emily fecfbe18bd symbiyosys: 2019.08.13 -> 2019.10.11 2019-10-19 12:26:49 -05:00
Daniel Frank b4136a8f5b kicad: 5.1.2 -> 5.1.4, fix ngspice, mark broken on aarch64 (#69584) 2019-10-16 02:02:49 -04:00
Vincent Laporte b4db381443 coq_8_10: 8.10+β3 → 8.10.0
coqPackages.coq-elpi: master → 1.1.0
2019-10-16 02:43:46 +00:00
Vincent Laporte 0cc70b5697 coq: do not build CoqIDE for Coq 8.10
GTK3 at version 3.24.11 has broken pkg-config files
2019-10-16 02:43:46 +00:00
Vincent Laporte 1292f49a37 coq_8_10: do not take “camlp5” as input 2019-10-16 02:43:46 +00:00
Vincent Laporte 325f89ef19 coq_8_10: fix CoqIDE on darwin 2019-10-16 02:43:46 +00:00
worldofpeace 4bcef38f24
Merge pull request #63827 from acairncross/fix-monosat
monosat: Fix Linux build
2019-10-15 20:55:28 +00:00
Aiken Cairncross 15dbd8de7c monosat: 60528a3 -> 1.8.0
This fixes the broken Linux build by only building the dynamic library/
executable (an option that was only added in the latest tagged version).
2019-10-15 16:52:25 -04:00
Aiken Cairncross b4da391ade monosat: Add self as maintainer 2019-10-15 12:20:55 +01:00
Millian Poquet 5b9cbeb75c simgrid: 3.23 -> 3.24 2019-10-14 16:08:43 +02:00
Renaud e6f99fa3b1
Merge pull request #69961 from r-ryantm/auto-update/star
star: 2.7.1a -> 2.7.2b
2019-10-13 17:10:23 +02:00
nyanloutre d849c213ba
betaflight-configurator: 10.5.1 -> 10.6.0 2019-10-13 11:58:00 +02:00
Renaud 94500c93dc
Merge pull request #69515 from r-ryantm/auto-update/eagle
eagle: 9.4.2 -> 9.5.0
2019-10-12 15:09:07 +02:00
Renaud a12f3ebee7
Merge pull request #69488 from r-ryantm/auto-update/clp
clp: 1.17.2 -> 1.17.3
2019-10-12 14:15:31 +02:00
scalavision 3d860972ee delly: init at 0.8.1 (#70871) 2019-10-10 22:08:45 -04:00
worldofpeace dfe338e464
Merge pull request #70890 from worldofpeace/pantheon-no-lts-vala
pantheon: use latest vala
2019-10-10 15:18:38 +00:00
Marek Mahut 19610dce34
Merge pull request #70790 from r-ryantm/auto-update/stellarium
stellarium: 0.19.1 -> 0.19.2
2019-10-10 11:21:55 +02:00
worldofpeace bdb851ee2d pantheon: use latest vala
elementary OS's ecosystem is curated around Ubuntu's LTS releases.
This means the development platform for their curated applications
always includes a LTS version of vala (in 18.04 it's 0.40).
Because of how vala development works it suspect some of these
applications to have serious issues if complied with the latest vala.
However in the past year or so, for Pantheon at least, I don't think
their applications will have much issues with latest vala, and if there
is I don't think they'd be difficult to fix. In this single regard they've
become more responsive since their preferred language is vala.

As for the curated applications I have less of this confidence in.
So I'd have to be accept less applications, but that's something
I'm willing to compromise on. And this is easily reversible or
could be done on a per-application basis. And nix already makes
this trivial.
2019-10-09 22:47:37 -04:00
Robin Gloster d6d4a6b456
Merge pull request #70845 from BenBals/master
Geogebra: 5.0.535 -> 5.0.560
2019-10-09 17:36:35 +02:00
Luz ec13398cdf librepcb: 0.1.0 -> 0.1.2 (#70538)
* Update to new source

* Fix message 'xcb plugin not found'
2019-10-09 14:59:48 +02:00
Ben Justus Bals 911d5d59ec
Geogebra: 5.0.535 -> 5.0.560 2019-10-09 11:59:46 +02:00
Marco Maggesi bf56c15695
hol_light: 2019-03-27 -> 2019-10-06 2019-10-09 06:13:48 +00:00
R. RyanTM a174411c3c stellarium: 0.19.1 -> 0.19.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/stellarium/versions
2019-10-08 14:17:20 -07:00
Linus Heckemann 5aa4b19946 treewide: mark some broken packages as broken
Refs:
e6754980264fe927320d5ff2dbd24ca4fac9a160
1e9cc5b9844ef603fe160e9f671178f96200774f
793a2fe1e8bb886ca2096c5904e1193dc3268b6d
c19cf65261639f749012454932a532aa7c681e4b
f6544d618f30fae0bc4798c4387a8c7c9c047a7c
2019-10-08 17:14:26 +02:00
R. RyanTM 9ac905e03f gtkwave: 3.3.101 -> 3.3.102
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-10-07 12:18:42 -05:00
markuskowa 86d97bb02c
Merge pull request #70602 from r-ryantm/auto-update/gromacs
gromacs: 2019.3 -> 2019.4
2019-10-07 14:43:39 +02:00
Markus Kowalewski ea45dc1053
gromacs: add perl to buildInputs 2019-10-07 13:03:13 +02:00
R. RyanTM 8c6ee4fe16 gromacs: 2019.3 -> 2019.4
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/gromacs/versions
2019-10-07 02:48:46 -07:00
Dmitry Kalinkin cfd881dce0
Merge pull request #70161 from smaret/gildas-20191001_a
gildas: 20190901_a -> 20191001_a
2019-10-06 17:46:41 -04:00
Nikolay Amiantov de171ba0c6 cntk: partially unbreak
* Use GCC 7 to unbreak the build;
* Mark CUDA build as broken due to cub incompatibility.
2019-10-05 16:18:20 +03:00
Orivej Desh 3dc70841d3 cbc: 2.10.2 -> 2.10.3 2019-10-04 05:17:48 +00:00
Bruno Bzeznik 1ba3f3f00f SPAdes: init at 3.13.1 (#63082) 2019-10-03 09:18:48 +00:00
R. RyanTM eca416c469 verilator: 4.016 -> 4.018
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/verilator/versions
2019-10-01 21:09:12 -05:00
Sébastien Maret b444b2e956
gildas: 20190901_a -> 20191001_a 2019-10-01 10:52:50 +02:00
Timo Kaufmann 7a7e9c1b27
Merge pull request #64193 from timokau/sage-8.9
sage: 8.8 -> 8.9
2019-09-30 11:13:46 +00:00
Timo Kaufmann d9176bee70 sage: 8.9.rc1 -> 8.9 2019-09-30 11:10:10 +02:00
Ryan Mulligan 8519cd1aa0
Merge pull request #69735 from r-ryantm/auto-update/picard-tools
picard-tools: 2.20.5 -> 2.20.8
2019-09-29 15:44:33 -07:00
R. RyanTM de95a92384 star: 2.7.1a -> 2.7.2b
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-09-28 21:09:40 -07:00
Emily b2c482b700 verilog: extend platforms 2019-09-28 16:55:21 -05:00
Vladimír Čunát fda4a08d4a
Merge branch 'staging-next'
There are several security fixes - again, as it consists mainly of the
previously reverted staging-next merge.
2019-09-28 07:43:04 +02:00
R. RyanTM 8c397c2bc2 picard-tools: 2.20.5 -> 2.20.8
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-09-27 18:25:22 -07:00
Aaron Andersen af5176b430
Merge pull request #63117 from bzizou/macse
macse: init at 2.03
2019-09-27 17:26:07 -04:00
Vladimír Čunát 217cf982c7
Merge branch 'master' into staging-next 2019-09-27 22:13:02 +02:00
Marek Mahut 5c116916d6
Merge pull request #69575 from r-ryantm/auto-update/ginac
ginac: 1.7.6 -> 1.7.7
2019-09-27 22:04:49 +02:00
Michael Raskin 2213e53fcf
Merge pull request #69477 from r-ryantm/auto-update/clingo
clingo: 5.3.0 -> 5.4.0
2019-09-27 10:12:24 +00:00
Timo Kaufmann 6181a20ab2
Merge pull request #69609 from r-ryantm/auto-update/jmol
jmol: 14.29.49 -> 14.29.53
2019-09-27 09:22:11 +00:00