Robert Scott
35ca475f8b
Merge pull request #97757 from freezeboy/fix-lp_solve
...
lp_solve: fix build
2020-09-13 11:00:26 +01:00
freezeboy
3fc3fd14cf
lp_solve: fix buildCommand some binaries moved
2020-09-13 03:51:51 +02:00
Thomas Tuegel
87c7d1d4f8
z3: 4.8.8 -> 4.8.9
2020-09-11 14:38:43 -05:00
Maximilian Bosch
56708c3bf3
Merge pull request #97555 from badmutex/badi/maintainers-update
...
maintainers: updates for badi/badmutex
2020-09-09 23:03:52 +02:00
Badi Abdul-Wahid
f3ce1df79a
tlaplus: remove myself from maintainers list
2020-09-09 10:40:46 -05:00
Cole Helbling
339f6248f6
verilog: unstable-2019-08-01 -> unstable-2020-08-24
...
The build would previously fail due to a change in bison's behavior (see
5b699c1be7
2020-09-09 00:47:52 -07:00
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
