Gabriel Ebner
ac24901d17
libqalculate: 3.4.0 -> 3.5.0 ( #72550 )
...
libqalculate: 3.4.0 -> 3.5.0
2019-11-02 10:59:06 +01:00
Gabriel Ebner
a4f0bfdc87
qalculate-gtk: 3.4.0 -> 3.5.0
2019-11-02 10:54:10 +01:00
Jörg Thalheim
04a079082c
Merge pull request #72539 from r-ryantm/auto-update/jmol
...
jmol: 14.29.54 -> 14.29.55
2019-11-02 07:49:50 +00:00
R. RyanTM
b3799c5627
jmol: 14.29.54 -> 14.29.55
2019-11-02 00:16:58 -07:00
R. RyanTM
7f919914bf
eprover: 2.3 -> 2.4
2019-11-01 14:00:31 -07:00
Timo Kaufmann
f7c1e8f274
Merge pull request #72328 from timokau/sage-ignore-cmp-deprecation
...
sage: ignore attrs deprecation warning
2019-10-30 23:14:07 +01:00
Timo Kaufmann
32827e35d8
sage: ignore attrs deprecation warning
...
cmp is deprecated since attrs 19.2.0:
http://www.attrs.org/en/19.2.0/changelog.html
The deprecation warning breaks the doctests. Fortunately they have a
rather long deprecation window, so we can just wait until upstream(s)
fix this.
2019-10-30 22:27:00 +01:00
Peter Simons
3bc76218a3
Merge pull request #72058 from nh2/r-static-library
...
R: Add enableShared/enableStatic arguments
2019-10-30 13:31:52 +01:00
Niklas Hambüchen
edbe2d8145
R: Add static argument.
...
R's autoconf does not use the normal configure flags for that.
2019-10-30 11:44:02 +01:00
Ben Darwin
ddc2955ad9
EZminc: 2017-08-29 -> 2019-07-25; mark unbroken
2019-10-26 09:55:30 -07:00
Alexey Shmalko
140d402cb5
Merge pull request #71991 from iimog/dcmtk
...
DCMTK: init at 3.6.4
2019-10-26 15:15:50 +03:00
Markus Ankenbrand
905245b32c
dcmtk: init at 3.6.4
2019-10-26 13:02:50 +02:00
Vincent Laporte
a8892b0d76
coq_8_10: 8.10.0 → 8.10.1
2019-10-25 07:58:47 +00:00
Vincent Laporte
d56582eb2b
coq_8_10: enable CoqIDE
2019-10-25 07:58:02 +00:00
scalavision
535a7006ea
truvari: init at 1.3.2 ( #70877 )
...
pythonPackages.pyvcf: init at 0.6.8
2019-10-24 17:06:42 -04:00
R. RyanTM
c6af1f6e03
verilator: 4.018 -> 4.020
...
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-24 14:02:00 -05:00
R. RyanTM
c300055e11
ott: 0.28 -> 0.29
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ott/versions
2019-10-23 11:44:13 -07:00
R. RyanTM
b8acb48b24
picard-tools: 2.20.8 -> 2.21.1 ( #71748 )
...
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-10-23 09:34:40 +02:00
R. RyanTM
a9551de99a
dcm2niix: 1.0.20190410 -> 1.0.20190902
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/dcm2niix/versions
2019-10-22 16:31:19 -07:00
Timo Kaufmann
ed145e8f22
Merge pull request #71694 from r-ryantm/auto-update/nauty
...
nauty: 26r11 -> 26r12
2019-10-22 23:33:48 +02:00
R. RyanTM
d93659ffa0
nauty: 26r11 -> 26r12
...
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/nauty/versions
2019-10-22 10:14:36 -07:00
R. RyanTM
dbab6b7994
jmol: 14.29.53 -> 14.29.54
...
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-10-22 10:06:52 +02:00
Mario Rodas
e8e1f42499
Merge pull request #71590 from r-ryantm/auto-update/ginac
...
ginac: 1.7.7 -> 1.7.8
2019-10-21 20:21:31 -05:00
R. RyanTM
bf30d5d6f6
ginac: 1.7.7 -> 1.7.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/ginac/versions
2019-10-21 15:21:33 -07:00
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