Commit Graph

4029 Commits

Author SHA1 Message Date
Justin Bedo
3a65e29d4b
SPAdes: add python dependency 2020-12-21 08:29:57 +11:00
Timo Kaufmann
afead527c4
Merge pull request #105615 from collares/sage-update
sage: 8.9 -> 9.2
2020-12-19 18:13:16 +01:00
Millian Poquet
15ab96d5a7 simgrid: 3.25 -> 3.26 2020-12-19 14:03:33 +01:00
Vincent Laporte
66c0fc3609 cryptoverif: 2.03pl1 → 2.04 2020-12-18 08:20:10 +01:00
Vincent Laporte
b49a3fb852 cryptoverif: fix search for default library 2020-12-18 08:20:10 +01:00
Vincent Laporte
c5556b7454 coq_8_12: 8.12.1 → 8.12.2 2020-12-16 07:45:54 +01:00
Vincent Laporte
de8205f8bb coq_8_13: init at 8.13+β1 2020-12-15 21:13:40 +01:00
Mauricio Collares
8100c5a44b sage: 8.9 -> 9.2 fixups 2020-12-15 16:51:42 -03:00
Mauricio Collares
8b8cae779f pari: update tarball location, since it moved 2020-12-15 16:46:43 -03:00
Mauricio Collares
4058e45736 nauty: update tarball sha256
The old `nauty` tarball is currently accessible at
https://distfiles.macports.org/nauty/nauty27r1.tar.gz. The diff is a
single line in genbg.c:

-    SUMMARY(&nout,t2-t1);
+    SUMMARY(nout,t2-t1);
2020-12-15 16:46:43 -03:00
Mauricio Collares
cf6364bed2 pynac: import patch to avoid deprecation warnings on python3.8 2020-12-14 19:24:19 -03:00
Mauricio Collares
5df948d4cc giac: 1.5.0-21 -> 1.5.0-87 2020-12-14 19:24:18 -03:00
Masanori Ogino
5c4136daf7 sage: 8.9 -> 9.2 2020-12-14 19:24:18 -03:00
Mario Rodas
7666fb25d0
Merge pull request #106856 from jbedo/delly
delly: 0.8.5 -> 0.8.6
2020-12-14 08:10:03 -05:00
Ryan Mulligan
41cdb14aac
Merge pull request #106611 from r-ryantm/auto-update/picard-tools
picard-tools: 2.23.8 -> 2.23.9
2020-12-13 15:28:16 -08:00
Justin Bedo
6ce06dccfc
delly: 0.8.5 -> 0.8.6 2020-12-14 09:55:57 +11:00
Robert Scott
d81a6bb6f2 hal-hardware-analyzer: 2.0.0 -> 3.1.9 2020-12-11 22:37:04 +00:00
Mario Rodas
8006772a05
Merge pull request #106612 from alyssais/cedille
cedille: 1.1.1 -> 1.1.2; fix build
2020-12-11 07:37:18 -05:00
Jörg Thalheim
a1cacefde5
Merge pull request #106480 from SCOTT-HAMILTON/spdlog 2020-12-11 07:45:06 +00:00
Sandro
f1e3b5160e
Merge pull request #103338 from hjones2199/siril 2020-12-11 07:35:23 +01:00
Hunter Jones
69741a7a48 siril: init at 0.99.6 2020-12-11 00:07:30 -06:00
Alyssa Ross
8b8dfc5d40
cedille: 1.1.1 -> 1.1.2; fix build 2020-12-10 23:07:32 +00:00
R. RyanTM
aa2148eb1f picard-tools: 2.23.8 -> 2.23.9 2020-12-10 23:06:36 +00:00
SCOTT-HAMILTON
d98fae8072
Update pkgs/applications/science/electronics/hal-hardware-analyzer/default.nix
Co-authored-by: Drew <drewrisinger@users.noreply.github.com>
2020-12-10 16:35:46 +01:00
SCOTT-HAMILTON
ddf90cb942 spdlog: use nixpkgs' fmt instead of bundled one 2020-12-10 10:47:00 +01:00
markuskowa
ba5c6f6075
Merge pull request #105133 from markuskowa/fix-gromacs
Gromacs: fix SIMD flags, and OpenMP
2020-12-08 09:10:38 +01:00
R. RyanTM
cec747d712 clingo: 5.4.0 -> 5.4.1 2020-12-07 13:03:03 +00:00
Ben Gamari
c98ce627d4
kicad-unstable: 2020-11-07 -> 2020-12-01 (#105743) 2020-12-03 19:17:32 -05:00
R. RyanTM
b3f3197266 mavproxy: 1.8.27 -> 1.8.29 2020-12-03 14:33:38 +00:00
Sandro
30cdc8be48
Merge pull request #105650 from r-ryantm/auto-update/gretl
gretl: 2020b -> 2020e
2020-12-02 20:22:27 +01:00
Ryan Mulligan
4ce30eb63a
Merge pull request #105672 from r-ryantm/auto-update/hmmer
hmmer: 3.3.1 -> 3.3.2
2020-12-02 05:45:57 -08:00
Austin Seipp
e601758166
abc-verifier: 2020.06.22 -> 2020.11.24
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-12-02 07:18:05 -06:00
Mario Rodas
d48bc3e815
Merge pull request #105654 from r-ryantm/auto-update/gmsh
gmsh: 4.7.0 -> 4.7.1
2020-12-02 05:15:45 -05:00
Austin Seipp
a3ae8a4fcf
Merge pull request #100750 from arcz/boolector
boolector: enable darwin build
2020-12-02 03:19:54 -06:00
R. RyanTM
6f50c5b18e hmmer: 3.3.1 -> 3.3.2 2020-12-02 09:00:15 +00:00
R. RyanTM
cf89444f1e gmsh: 4.7.0 -> 4.7.1 2020-12-02 05:50:47 +00:00
R. RyanTM
f9a694106b gretl: 2020b -> 2020e 2020-12-02 04:45:07 +00:00
Ben Darwin
ee7d83e648 ants: unbreak on Darwin 2020-12-01 14:17:54 -05:00
Markus Kowalewski
e90cff90f1
openmolcas: fix hash 2020-11-30 23:05:14 +01:00
Justin Bedo
5fc6258043
bwa: expand supported platforms 2020-11-30 09:46:51 +11:00
Artur Cygan
da3c0ca0dd boolector: fix darwin build 2020-11-29 22:31:54 +01:00
Artur Cygan
38e6f15d98 btor2tools: fix install_name on darwin 2020-11-29 22:31:31 +01:00
Vincent Laporte
8ee7c2505f proverif: install emacs mode 2020-11-29 14:05:14 +01:00
Sandro
4dc26ca31d
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox
tlaplusToolbox: 1.6.0 -> 1.7.0
2020-11-29 04:01:21 +01:00
Sandro
2c0389680c
Merge pull request #90075 from dmrauh/add/gretl
gretl: init at 2020b
2020-11-28 22:10:05 +01:00
Dominik Michael Rauh
5f10cd5e0b
gretl: init at 2020b 2020-11-28 21:37:30 +01:00
Doron Behar
56a2c8bb22
Merge pull request #104171 from freezeboy/unbreak-dsview-qt515
dsview: 0.99 -> 1.12
2020-11-28 17:55:25 +02:00
Timo Kaufmann
819a2c571a
Merge pull request #105212 from r-ryantm/auto-update/jmol
jmol: 14.31.17 -> 14.31.18
2020-11-28 10:46:52 +01:00
R. RyanTM
e5f757954a jmol: 14.31.17 -> 14.31.18 2020-11-28 06:51:19 +00:00
Sandro
85fe68bbc0
Merge pull request #105197 from r-ryantm/auto-update/igv
igv: 2.8.12 -> 2.8.13
2020-11-28 04:05:05 +01:00