alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
206118 commits 217 branches 121 tags 4.5 GiB
Commit graph

3120 commits

Author SHA1 Message Date
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
Jan Tojnar 8cbc862b83
dconf: move to top-level 2019-12-01 01:01:40 +01:00
R. RyanTM 9e52523747 verilator: 4.020 -> 4.022 2019-11-30 18:27:06 -05:00
R. RyanTM c41deafba3 gtkwave: 3.3.102 -> 3.3.103 2019-12-01 00:21:13 +01:00
R. RyanTM da09e1e772 kallisto: 0.46.0 -> 0.46.1 (#74430) 2019-11-30 21:12:54 +01:00
Jan Tojnar a69ad18da9
Merge branch 'master' into staging-next 2019-11-30 19:44:51 +01:00