cafkafk/nixpkgs
cafkafk/nixpkgs
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
205951 commits 1 branch 0 tags 3.7 GiB
Commit graph

3118 commits

Author SHA1 Message Date
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
R. RyanTM
98e0ead3ba picard-tools: 2.21.1 -> 2.21.3 (#74528) 2019-11-30 16:24:44 +01:00
Frederik Rietdijk
d14baf7747 Merge master into staging-next 2019-11-30 08:57:28 +01:00