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

3103 commits

Author SHA1 Message Date
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
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
Ryan Mulligan bc6b377a86
Merge pull request #74412 from r-ryantm/auto-update/hmmer 
hmmer: 3.2.1 -> 3.3
 2019-11-28 06:14:56 -08:00
Jonathan Ringer 0c1c18ca44
Merge branch 'master' into staging-next 2019-11-27 22:57:50 -08:00
R. RyanTM 6563dd3351 hmmer: 3.2.1 -> 3.3 2019-11-27 18:40:23 -08:00
Matthew Bauer e010c1b031
Merge pull request #74092 from veprbl/pr/applgrid_fix 
applgrid: fix build
 2019-11-25 22:22:48 -06:00
John Ericson d60532bc71 coq: Fix setup hook 2019-11-25 14:20:10 +00:00
Dmitry Kalinkin bd0c4dd6ab
root: fix setupHook to work with "set -u" 2019-11-24 17:51:46 -05:00
Frederik Rietdijk 1d18c5a0fe Merge staging-next into staging 2019-11-24 10:13:31 +01:00
Michael Raskin c5e3aec122 golly: fix build 2019-11-22 17:41:46 +01:00
Kai Wohlfahrt 6b2504f9f2 freebayes: 2017-08-23 -> 1.3.1 (2019-06-03) 2019-11-20 09:10:31 -08:00
Frederik Rietdijk 5f8b0d7d99 Merge staging-next into staging 2019-11-19 14:53:29 +01:00
adisbladis c9d8624ccd
treewide: Get rid of libGLU_combined 2019-11-18 20:10:43 +00:00
Mario Rodas 9f9720a567
Merge pull request #73447 from yrashk/streamlit-0.50.2 
streamlit: 0.49.0 -> 0.50.2
 2019-11-16 14:51:06 -05:00
c0bw3b 9367367dfd Treewide: fix URL permanent redirects 
Permanent redirects on homepages and/or source URLs
as reported by Repology
 2019-11-16 01:41:23 +01:00
Jörg Thalheim d729fdcd6e
nifticlib and niftseg: change platform from linux to unix sinc… (#73442) 
nifticlib and niftseg: change platform from linux to unix since these…
 2019-11-15 11:57:17 +00:00
Yurii Rashkovskii a1a2d8d4c0
streamlit: 0.49.0 -> 0.50.2 2019-11-15 08:35:43 +01:00