Commit graph

3109 commits

Author SHA1 Message Date
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
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