1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-11 15:08:33 +01:00
Commit graph

3125 commits

Author SHA1 Message Date
Jan Tojnar b1b26f8cf6
Merge pull request #76412 from jtojnar/pangox-compat-drop
pangox_compat: drop
2019-12-24 20:04:10 +01:00
Jan Tojnar aee453e5c9
openmodelica: remove pangox dependency
It was probably just a dependency of `gtkglext` since I cannot find any reference to `pangox` in the repo.

But cannot verify build since it is broken.
2019-12-24 16:13:13 +01:00
markuskowa 64b6fa927e
Merge pull request #76285 from r-ryantm/auto-update/jmol
jmol: 14.30.0 -> 14.30.1
2019-12-24 02:05:48 +01:00
R. RyanTM 398f11945e jmol: 14.30.0 -> 14.30.1 2019-12-23 09:16:44 -08:00
Maximilian Bosch 65061ab2ae
stellarium: 0.19.2 -> 0.19.3
https://github.com/Stellarium/stellarium/releases/tag/v0.19.3
2019-12-22 13:57:13 +01:00
Alyssa Ross 7887a81193
treewide: fix cargoSha256 (again)
cargo-vendor output was changed in a4fc84de44.
2019-12-20 20:08:53 +00:00
Jan Tojnar 048faed66a
pcb: 20140316 → 4.2.0
* Long overdue update
* Clean up the expression
* Drop unneeded pangox_compat – it was probably needed before gtkglext propagated it.
2019-12-19 00:47:20 +01:00
Justin Bedo 28a057a56b
bedtools: 2.29.1 -> 2.29.2 2019-12-18 10:39:25 +11:00
Mario Rodas 5e5ce79db4
Merge pull request #75807 from jbedo/strelka
strelka: fix broken build
2019-12-16 23:52:35 -05:00
Justin Bedo c3f09c33eb
strelka: fix broken build 2019-12-17 11:20:32 +11:00
Alex Branham 7af84afa2a R: 3.6.1 -> 3.6.2
Closes https://github.com/NixOS/nixpkgs/pull/75587.
2019-12-16 18:56:49 +01:00
Florian Klink 0380ed20db
Merge pull request #75657 from flokli/gtkwave-gtk3
gtkwave: build with gtk3
2019-12-15 15:07:07 +01:00
Renaud 2a1a4cad38
Merge pull request #75388 from Lassulus/xplanet
xplanet: 1.3.0 -> 1.3.1
2019-12-15 14:57:48 +01:00
lassulus 3772d04e1c xplanet: 1.3.0 -> 1.3.1 2019-12-15 14:02:36 +01:00
Florian Klink ac1a5ac2db gtkwave: build with gtk3
gtkwave ships a gtk3 flavour on sourceforge. let's use that one.
2019-12-15 03:54:35 +01:00
Austin Seipp 367676ce82
z3: 4.8.5 -> 4.8.7
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2019-12-14 20:33:59 -06:00
Ben Wolsieffer bd9549baa9 mavproxy: init at 1.8.17 2019-12-14 11:00:34 -08:00
Vincent Laporte 856d0a44ec
Merge pull request #75141 from vbgl/coq-8.11β1
coq_8_11: init at 8.11+β1
2019-12-14 19:13:40 +01:00
Dmitry Kalinkin b6d8873825 root: 6.12.06 -> 6.18.04
Also switch to python3.
2019-12-14 01:28:27 -08:00
Timo Kaufmann ce013bb430
Merge pull request #75613 from timokau/brial-1.2.6
brial: 1.2.5 -> 1.2.6, pybrial: use brial src
2019-12-13 21:47:50 +01:00
Timo Kaufmann 6a800927bb pybrial: 1.2.3 -> 1.2.5, directly use the brial src
The pybrial package is a bit awkward. It doesn't have its own top-level
attribute, since it has a cyclic dependency with sage. That's one of the
reasons why it rarely gets updated. Its distributed along with brial, so
its best to keep the versions synchronized. The easiest way to do this
is to just re-use the source of brial.
2019-12-13 20:29:16 +01:00
Robert Scott c676063047 btor2tools: correct meta information 2019-12-12 10:37:02 -06:00
Robert Scott b9185a96be boolector: add patch for CVE-2019-7560 2019-12-12 10:37:02 -06:00
markuskowa 3922a30090
Merge pull request #75416 from jbedo/bedtools
bedtools: 2.29.0 -> 2.29.1
2019-12-10 23:58:03 +01:00
Justin Bedo 50fbca4bfc
bedtools: fix clang builds 2019-12-11 09:27:57 +11:00
Gabriel Ebner 5f1790101f Merge branch 'auto-update/libqalculate' 2019-12-10 17:38:25 +01:00
Gabriel Ebner 12d9b6929c qalculate-gtk: 3.5.0 -> 3.6.0 2019-12-10 17:34:29 +01:00
Justin Bedo 592d288aa2
bedtools: 2.29.0 -> 2.29.1 2019-12-10 13:24:27 +11:00
R. RyanTM 13c757e69c snakemake: 5.7.4 -> 5.8.1 (#74637) 2019-12-09 20:47:24 +01:00
Robert Scott 2611887c2e lingeling: enable for darwin 2019-12-08 18:32:04 +00:00
Robert Scott dc6233b972 aiger: enable for darwin 2019-12-08 18:31:49 +00:00
Renato Alves e18fb092f1 kssd: init at 1.0 2019-12-08 16:48:59 +01:00
R. RyanTM b3262d2284 eagle: 9.5.0 -> 9.5.1
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-12-08 15:16:53 +01:00
scalavision 3dfabd6eff svaba: init at 1.1.0 2019-12-08 14:51:05 +01:00
markuskowa 444256039c
Merge pull request #75245 from r-ryantm/auto-update/jmol
jmol: 14.29.55 -> 14.30.0
2019-12-08 14:19:56 +01:00
R. RyanTM b40940e9d6 jmol: 14.29.55 -> 14.30.0 2019-12-08 04:52:52 -08:00
Maximilian Bosch e16df73d30
geogebra: 5-0-560-0 -> 5-0-569-0 2019-12-08 03:50:02 +01:00
Jonathan Ringer 9dc8e77e4e giac-with-xcas: fix build
remove libGLU_combined package and replace with libGL and libGLU
2019-12-07 16:58:50 -08:00
Calvin Pritchard 1850d616ac NetLogo: 6.0.4 -> 6.1.1 2019-12-07 22:24:26 +01:00
R. RyanTM 8582e5a759 marvin: 19.1.0 -> 19.23.0 2019-12-07 20:41:41 +01:00
Mario Rodas 835705d11b
Merge pull request #75095 from tbenst/bftools
bftools: 5.9.2 -> 6.3.0
2019-12-07 03:06:00 -05:00
Vincent Laporte 2942490c2c
coq_8_11: init at 8.11+β1 2019-12-07 07:58:00 +00:00
Tyler Benster 2700559bdc bftools: 5.9.2 -> 6.3.0 2019-12-06 02:11:00 -08:00
Mateusz Kowalczyk 1451a52a38 Remove myself (fuuzetsu) from maintainer lists
I haven't been doing any maintenance for a long time now and not only
do I get notified, it also creates a fake impression that all these
packages had at least one maintainer when in practice they had none.
2019-12-05 16:29:48 +09:00
Matt Huszagh 9c7cd63b3d symbiyosys: add yices dependency
Symbioyosys requires at least smt solver backend
to work out of the box.
2019-12-04 14:29:31 -06:00
Sébastien Maret c108acaaaf gildas: 20191001_a -> 20191201_a (#73041)
* gildas: 20191001_a -> 20191101_a

* gildas: 20191101_a -> 20191201_a
2019-12-04 20:18:39 +01:00
Timo Kaufmann 5c9000014e
Merge pull request #74945 from timokau/sage-no-timeout
sage: disable test timeout
2019-12-04 09:55:34 +01:00
Vincent Laporte 3806eff9ca coq_8_10: 8.10.1 → 8.10.2 2019-12-03 13:51:52 +00:00
R. RyanTM 605e88517b paml: 4.9i -> 4.9j 2019-12-01 18:43:58 +01:00
Timo Kaufmann e371a02b6c sage: disable test timeout
I already did that once in 359bf7f1e3.
That change mysteriously got lost somehow (presumably in some merge
commit).

Nix has its own timeout settings, so there is no risk in running
forever. At the same time, some tests can exceed the default timeout
(30minutes per file for --long tests) when run on many weak cores (like
the aarch64 community builder or some hydra builders).
2019-12-01 13:23:54 +01:00