3731 Commits

Author	SHA1	Message	Date
Emery Hemingway	dc09e3edfc	nim: wrap compiler for cross-compilation support	2020-09-07 16:16:55 +02:00
Emery Hemingway	06ac3c1d2a	nim: patch to fix dynamic library loading	2020-09-07 16:16:55 +02:00
Vincent Laporte	2a82f71bed	proverif: 2.01 → 2.02pl1	2020-09-07 09:54:54 +02:00
Vladimír Čunát	0ecc8b9a56	Merge #97229: picard-tools: 2.23.3 -> 2.23.4	2020-09-07 09:38:34 +02:00
R. RyanTM	1cd9dafce0	ott: 0.30 -> 0.31	2020-09-06 22:25:50 +01:00
Daniël de Kok	193a6a2307	Merge pull request #97243 from r-ryantm/auto-update/rink ... rink: 0.5.0 -> 0.5.1	2020-09-06 10:52:28 +02:00
Ryan Mulligan	6748689238	Merge pull request #97251 from r-ryantm/auto-update/star ... star: 2.7.4a -> 2.7.5c	2020-09-05 19:28:47 -07:00
R. RyanTM	cc797c4ab8	star: 2.7.4a -> 2.7.5c	2020-09-05 18:44:51 +00:00
R. RyanTM	f47530237d	rink: 0.5.0 -> 0.5.1	2020-09-05 16:48:17 +00:00
R. RyanTM	1c368b0f13	picard-tools: 2.23.3 -> 2.23.4	2020-09-05 14:02:32 +00:00
voidless	721da4b5e2	geogebra6: 6-0-598-0 -> 6-0-600-0	2020-09-04 11:49:44 +02:00
John Ericson	1965a241fc	Merge pull request #61019 from volth/gcc.arch-amd ... platform.gcc.arch: support for AMD CPUs	2020-09-01 22:31:16 -04:00
R. RyanTM	71d933e214	openhantek6022: 3.1.1 -> 3.1.2	2020-08-31 17:24:28 -07:00
worldofpeace	20252b3cb6	nasc: typo	2020-08-31 13:53:25 -04:00
worldofpeace	32a9e0eea7	nasc: 0.5.4 -> 0.7.5 ... * updates to meson build system * adapt to complications around libqalculate * update metadata * add update script	2020-08-31 13:50:43 -04:00
R. RyanTM	43114a1751	wxmaxima: 20.04.0 -> 20.06.6	2020-08-31 17:09:33 +02:00
R. RyanTM	73cff3d2c2	R: 4.0.0 -> 4.0.2	2020-08-31 16:57:06 +02:00
Mario Rodas	f7eb2883b5	lean: 3.18.4 -> 3.19.0	2020-08-29 04:20:00 +00:00
Maximilian Bosch	577b654415	Merge pull request #96584 from r-ryantm/auto-update/rofi-calc ... rofi-calc: 1.7 -> 1.8	2020-08-29 18:42:32 +02:00
R. RyanTM	741b7f7b36	rofi-calc: 1.7 -> 1.8	2020-08-29 06:44:34 +00:00
Vincent Laporte	5e6eeb795c	alt-ergo: 2.3.2 → 2.3.3	2020-08-29 06:21:23 +02:00
R. RyanTM	ee4c871ecd	marvin: 20.16.0 -> 20.17.0	2020-08-26 12:52:34 +00:00
Henri Menke	e1f177fab2	mathematica: 12.1.0 -> 12.1.1	2020-08-24 11:36:59 +12:00
Silvan Mosberger	cf47ba66fb	Merge pull request #81129 from scalavision/igv-update-28x ... igv: 2.4.19 -> 2.8.0	2020-08-23 19:24:33 +02:00
scalavision	78e89143d4	igv: 2.4.19 -> 2.8.9 ... Co-Authored-By: Silvan Mosberger <contact@infinisil.com>	2020-08-23 19:23:04 +02:00
Austin Seipp	7cb1f36513	verilator: 4.036 -> 4.040 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-08-23 11:01:24 -05:00
Austin Seipp	1e451da386	mcy: 2020.07.06 -> 2020.08.03 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-08-23 11:01:24 -05:00
Austin Seipp	0eb943ecb1	symbiyosys: 2020.07.03 -> 2020.08.22 ... Signed-off-by: Austin Seipp <aseipp@pobox.com>	2020-08-23 11:01:24 -05:00
Evils	3ebb12a695	kicad-unstable: 2020-07-21 -> 2020-08-22	2020-08-23 13:24:16 +02:00
Evils	c761c60431	kicad: reenable scriptingSupport ... 94108 fixed the wxPython dependency	2020-08-23 13:24:16 +02:00
Evils	43a6b7b886	kicad: use hash rather than date for package names ... to prevent duplication when just the date changes kicad.libraries should be fixed output derivations?	2020-08-23 13:24:16 +02:00
Gabriel Ebner	f84aae6f67	Merge pull request #96074 from gebner/qalc-gtk-doc-hack ... qalculate-gtk: explain pkg-config issue	2020-08-23 11:53:32 +02:00
Lassulus	15d98507ee	Merge pull request #87224 from Sohalt/isabelle ... isabelle: 2018 -> 2020	2020-08-23 11:28:53 +02:00
Gabriel Ebner	294ddd8e9f	qalculate-gtk: explain pkg-config issue	2020-08-23 11:13:06 +02:00
Daniël de Kok	0d2d55f16b	Merge pull request #86807 from matthuszagh/vhd2vl ... vhd2vl: init	2020-08-22 20:19:43 +02:00
Gabriel Ebner	a3ce3f5931	qalculate-gtk: fix parallel build	2020-08-22 19:06:43 +02:00
Matt Huszagh	38aadfbbad	vhd2vl: init at unstable-2018-09-01	2020-08-22 09:42:34 -07:00
Gabriel Ebner	55af730da0	Merge pull request #95999 from gebner/calculix217 ... calculix: 2.15 -> 2.17	2020-08-22 18:26:02 +02:00
Gabriel Ebner	294cd72be3	qalculate-gtk: 3.8.0a -> 3.12.1	2020-08-22 17:14:25 +02:00
Gabriel Ebner	214d7626e1	calculix: 2.15 -> 2.17	2020-08-22 17:12:30 +02:00
Daniël de Kok	0cb88d7302	Merge pull request #95975 from r-ryantm/auto-update/hyp2mat ... hyp2mat: 0.0.17 -> 0.0.18	2020-08-22 15:24:37 +02:00
Lassulus	7623640e54	Merge pull request #89868 from r-ryantm/auto-update/star ... star: 2.7.3a -> 2.7.4a	2020-08-22 13:35:13 +02:00
R. RyanTM	55d5e762d0	hyp2mat: 0.0.17 -> 0.0.18	2020-08-22 09:25:47 +00:00
R. RyanTM	60a133f5d1	adms: 2.3.6 -> 2.3.7	2020-08-21 21:04:44 -07:00
Thomas Tuegel	616dd214d1	z3: add ttuegel to maintainers	2020-08-21 19:05:55 -07:00
Thomas Tuegel	1f512d7804	z3: 4.8.7 -> 4.8.8	2020-08-21 19:05:55 -07:00
Lassulus	de25713886	Merge pull request #91647 from jbedo/whisper ... whisper: init at 2.0.1	2020-08-21 18:09:35 +02:00
Mario Rodas	f96ec7d994	ocamlPackages.lablgtk3: propagate gtk3 (#95849)	2020-08-21 10:52:11 +02:00
Lassulus	8560589f55	Merge pull request #92337 from r-ryantm/auto-update/ltl2ba ... ltl2ba: 1.2 -> 1.3	2020-08-20 23:02:41 +02:00
freezeboy	531cf77114	labelImg: 1.8.1 -> 1.8.3 ... Switch to python3 and qt5 libraries also	2020-08-20 21:08:39 +02:00