Commit Graph

4191 Commits

Author SHA1 Message Date
David Anderson
6f1319a4d6 symbiyosys: fix the interpreter of the sby binary.
Signed-off-by: David Anderson <dave@natulte.net>
2021-02-10 18:45:44 -08:00
R. RyanTM
be145107b3 marvin: 21.1.0 -> 21.2.0 2021-02-10 14:38:25 +00:00
Fabian Affolter
5247884859 z3: 4.8.9 -> 4.8.10 2021-02-09 12:07:38 +01:00
Mario Rodas
f9a095da28
Merge pull request #112191 from r-ryantm/auto-update/star
star: 2.7.6a -> 2.7.7a
2021-02-08 20:17:49 -05:00
Ryan Mulligan
64c446d0ba
Merge pull request #112021 from r-ryantm/auto-update/picard-tools
picard-tools: 2.24.1 -> 2.24.2
2021-02-07 14:57:32 -08:00
Martin Weinelt
f8709117c8
Merge pull request #112107 from r-ryantm/auto-update/calc
calc: 2.12.7.2 -> 2.12.7.6
2021-02-07 02:58:17 +01:00
Sandro
6f67b153d2
Merge pull request #112196 from lopsided98/qgroundcontrol-update
qgroundcontrol: 4.0.11 -> 4.1.1
2021-02-07 01:14:58 +01:00
Maximilian Bosch
5eae53dc5a
Merge pull request #112192 from r-ryantm/auto-update/stellarium
stellarium: 0.20.3 -> 0.20.4
2021-02-06 21:48:15 +01:00
Ben Wolsieffer
9a635d38b6 qgroundcontrol: 4.0.11 -> 4.1.1 2021-02-06 15:15:22 -05:00
R. RyanTM
c0df733c0b stellarium: 0.20.3 -> 0.20.4 2021-02-06 19:58:37 +00:00
R. RyanTM
ef6ed50cb4 star: 2.7.6a -> 2.7.7a 2021-02-06 19:50:22 +00:00
Orivej Desh
8d0af26e1d blast: 2.10.0 -> 2.11.0
Fixes build with gcc10.
2021-02-06 19:20:56 +00:00
R. RyanTM
390c686021 calc: 2.12.7.2 -> 2.12.7.6 2021-02-06 08:43:11 +00:00
R. RyanTM
0adfe0f108 picard-tools: 2.24.1 -> 2.24.2 2021-02-05 12:35:00 +00:00
Lucas Ransan
c0726b30b6
rofi-calc: 1.9 -> 2.0.0 2021-02-04 13:40:34 +01:00
Sandro
9a15b4dd19
Merge pull request #111697 from AndersonTorres/chemtool 2021-02-03 14:45:50 +01:00
AndersonTorres
7e481eed2d chemtool: init at 1.6.14 2021-02-03 08:48:32 -03:00
Jarl G. Taxerås Flaten
813d14b9b7
coq: 8.13+beta1 -> 8.13.0 (#109479) 2021-02-03 08:34:47 +01:00
Ryan Mulligan
e51d3443c8
Merge pull request #110971 from r-ryantm/auto-update/MAVProxy
mavproxy: 1.8.30 -> 1.8.31
2021-02-02 17:35:03 -08:00
Sandro Jäckel
6ad10c3bcd
treewide: Remove doBuild cause it does not exist 2021-02-02 14:46:06 +01:00
wucke13
e4696feefc apmplanner2: 2.0.28-rc1 -> 2.0.28 2021-02-01 19:41:39 +01:00
Markus Kowalewski
d23e5ca0b4
openmolcas: fix license 2021-02-01 13:28:51 +01:00
Markus Kowalewski
8d466ab26a
gpredict: fix license 2021-02-01 13:27:39 +01:00
Markus Kowalewski
56bf82e8a1
molden: fix outdated URLs 2021-01-31 18:08:02 +01:00
Sandro
d0dc21f539
Merge pull request #110824 from SuperSandro2000/fix-collection5 2021-01-31 00:35:55 +01:00
Daniel Schaefer
b85a0ba2c2
Merge pull request #111332 from guserav/horizon-eda
horizon-eda: 1.3.0 -> 1.4.0
2021-01-30 23:21:51 +01:00
Sandro Jäckel
ced3ec6ce3
treewide: update permanent url redirects 2021-01-30 21:48:57 +01:00
Mario Rodas
b695eadb47
Merge pull request #111234 from r-ryantm/auto-update/gretl
gretl: 2020e -> 2021a
2021-01-30 15:23:52 -05:00
Mario Rodas
540346afa4
Merge pull request #111329 from r-ryantm/auto-update/marvin
marvin: 20.21.0 -> 21.1.0
2021-01-30 15:14:04 -05:00
guserav
e8906d6b4a horizon-eda: 1.3.0 -> 1.4.0 2021-01-30 18:30:22 +01:00
R. RyanTM
19842bc24d marvin: 20.21.0 -> 21.1.0 2021-01-30 17:14:01 +00:00
R. RyanTM
af91d02593 gretl: 2020e -> 2021a 2021-01-30 01:29:56 +00:00
R. RyanTM
7a939f1db3 dcmtk: 3.6.5 -> 3.6.6 2021-01-29 16:43:50 +00:00
Gabriel Ebner
b7fe801cce
Merge pull request #111117 from r-ryantm/auto-update/lean
lean: 3.25.0 -> 3.26.0
2021-01-29 11:04:43 +01:00
R. RyanTM
fe1239c794 lean: 3.25.0 -> 3.26.0 2021-01-29 05:15:16 +00:00
Sandro
d17f76f05a
Merge pull request #108172 from sikmir/geogebra
geogebra: 5-0-609-0 → 5-0-620-0, geogebra6: 6-0-609-0 → 6-0-620-0
2021-01-29 02:19:06 +01:00
Sandro
e368149fcd
Merge pull request #111003 from NieDzejkob/isabelle-vampire
isabelle: provide perl LWP for remote_vampire
2021-01-28 18:32:27 +01:00
Jakub Kądziołka
df410f8de7
isabelle: provide perl LWP for remote_vampire 2021-01-28 11:05:39 +01:00
R. RyanTM
abd5395184 mavproxy: 1.8.30 -> 1.8.31 2021-01-28 00:24:12 +00:00
Roland Coeurjoly
cbad557fe2
saw-tools: update license (#110920) 2021-01-27 17:52:41 +01:00
Ben Siraphob
82454e9df8 treewide: remove implicit use of stdenv.lib 2021-01-27 20:04:57 +07:00
Sandro
ad97ca4e51
Merge pull request #110912 from siraben/stdenv-lib-inherit
treewide: remove inherited stdenv.lib
2021-01-27 10:28:55 +01:00
Ben Siraphob
3bbad8b041 treewide: remove inherited stdenv.lib 2021-01-27 12:44:43 +07:00
Phillip Cloud
bba47f95f1 sortmerna: mark broken on darwin 2021-01-26 12:55:33 -05:00
Pavol Rusnak
a6ce00c50c
treewide: remove stdenv where not needed 2021-01-25 18:31:47 +01:00
Sandro
ad445d3728
Merge pull request #110735 from jbedo/bedtools
bedtools: 2.29.2 -> 2.30.0
2021-01-25 11:04:30 +01:00
Ryan Mulligan
afebf1cc9a
Merge pull request #110529 from r-ryantm/auto-update/picard-tools
picard-tools: 2.24.0 -> 2.24.1
2021-01-24 18:06:28 -08:00
Justin Bedo
d81e79af15
bedtools: 2.29.2 -> 2.30.0 2021-01-25 13:06:22 +11:00
Sandro
a36bf6faf9
Merge pull request #101796 from luc65r/pkg/tilp2 2021-01-25 01:11:50 +01:00
Mario Rodas
214d726b92
Merge pull request #110487 from r-ryantm/auto-update/lean
lean: 3.24.0 -> 3.25.0
2021-01-24 10:17:35 -05:00