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
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
Joachim F
ad773d31e2
Merge pull request #69345 from joachifm/feat/split-version
...
Replace uses of splitString for splitting version strings
2019-09-27 06:19:18 +00:00
R. RyanTM
0826d695de
jmol: 14.29.49 -> 14.29.53
...
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-09-26 16:35:12 -07:00
R. RyanTM
b7f156625e
ginac: 1.7.6 -> 1.7.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/ginac/versions
2019-09-26 12:09:29 -07:00
Timo Kaufmann
4a863fa567
Merge pull request #69519 from r-ryantm/auto-update/eclib
...
eclib: 20190226 -> 20190909
2019-09-26 17:27:41 +00:00
Joachim Fasting
bad07dfac5
tree-wide: replace uses of splitString "." with lib.versions
...
Quoting from the splitString docstring:
NOTE: this function is not performant and should never be used.
This replaces trivial uses of splitString for splitting version
strings with the (potentially builtin) splitVersion.
2019-09-26 17:42:49 +02:00
R. RyanTM
faf9a73e2f
eclib: 20190226 -> 20190909
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/eclib/versions
Relevant sage upstream ticket: https://trac.sagemath.org/ticket/28472
2019-09-26 16:41:50 +02:00