7c6f434c
|
c8677c4da2
|
Merge pull request #164193 from NixOS/r-updates
R 4.1.2 -> 4.1.3 and rPackages bump
|
2022-03-18 17:27:53 +00:00 |
|
Ryan Mulligan
|
bfe3a6f08a
|
Merge pull request #164022 from r-ryantm/auto-update/jmol
jmol: 14.32.30 -> 14.32.33
|
2022-03-18 10:25:57 -07:00 |
|
Sandro
|
957075fd6d
|
Merge pull request #164375 from fedeinthemix/gaw-update
|
2022-03-18 17:58:40 +01:00 |
|
Gabriel Ebner
|
dccd0f76c3
|
Merge pull request #164717 from collares/lean-3.42.0
lean: 3.41.0 -> 3.42.0
|
2022-03-18 17:31:26 +01:00 |
|
Mauricio Collares
|
897ba65b6f
|
lean: 3.41.0 -> 3.42.0
|
2022-03-18 11:52:10 -03:00 |
|
R. Ryantm
|
d29ff668b5
|
opensmt: 2.3.0 -> 2.3.1
|
2022-03-17 18:40:58 +00:00 |
|
Bobby Rong
|
2079219a72
|
Merge pull request #164162 from jdupak/master
QtRVSim: 0.9.1 -> 0.9.2
|
2022-03-16 21:32:22 +08:00 |
|
Federico Beffa
|
3076eab196
|
gaw: 20200922 -> 20220315
|
2022-03-16 08:01:53 +01:00 |
|
Ryan Mulligan
|
2a0d98d319
|
Merge pull request #163638 from r-ryantm/auto-update/siril
siril: 0.99.10.1 -> 1.0.0
|
2022-03-15 14:56:47 -07:00 |
|
Ryan Mulligan
|
7e1cc45b66
|
Merge pull request #162443 from r-ryantm/auto-update/phd2
phd2: 2.6.10 -> 2.6.11
|
2022-03-15 14:56:29 -07:00 |
|
Martin Weinelt
|
8d18f29b60
|
Merge pull request #161366 from NixOS/staging-next
Staging next 2022-02-22
|
2022-03-15 22:31:01 +01:00 |
|
Ben Siraphob
|
cc7b9eac78
|
Merge pull request #164195 from siraben/nuXmv-init
|
2022-03-15 18:53:13 +00:00 |
|
Ben Siraphob
|
b39792d141
|
nuXmv: init at 2.0.0
|
2022-03-15 13:50:58 -05:00 |
|
Vladimír Čunát
|
b61852cd94
|
Merge branch 'master' into staging-next
|
2022-03-15 18:08:32 +01:00 |
|
Rasmus Thomsen
|
69895c6248
|
bada-bib: 0.5.1 -> 0.6.0
|
2022-03-15 12:50:26 +01:00 |
|
Jakub Dupak
|
b72a99d718
|
QtRVSim: 0.9.1 -> 0.9.2
|
2022-03-14 22:04:17 +02:00 |
|
github-actions[bot]
|
0ed928e4ab
|
Merge master into staging-next
|
2022-03-14 12:01:26 +00:00 |
|
Mauricio Collares
|
5240cbc0d8
|
sage: adapt tachyon interface for 0.99.3
|
2022-03-13 16:53:22 -03:00 |
|
R. Ryantm
|
6d61669d69
|
jmol: 14.32.30 -> 14.32.33
|
2022-03-13 16:20:57 +00:00 |
|
github-actions[bot]
|
1630ab9b47
|
Merge master into staging-next
|
2022-03-13 06:05:11 +00:00 |
|
Jakub Dupak
|
d09489e5f1
|
QtRvSim: init at 0.9.1 (#163128)
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
|
2022-03-13 03:08:40 +01:00 |
|
github-actions[bot]
|
6f7d104254
|
Merge master into staging-next
|
2022-03-13 00:02:14 +00:00 |
|
Sandro
|
529b89d755
|
Merge pull request #161434 from collares/lean-3.40.0
|
2022-03-12 23:43:20 +01:00 |
|
Sandro
|
8057801ad7
|
Merge pull request #163849 from fedeinthemix/add-xschem-2
|
2022-03-12 22:32:08 +01:00 |
|
R. Ryantm
|
29d7a27d9f
|
opensmt: 2.2.0 -> 2.3.0
|
2022-03-12 17:44:51 +00:00 |
|
Federico Beffa
|
5d702c6b23
|
gaw: init at version 20200922
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
|
2022-03-12 17:50:10 +01:00 |
|
Federico Beffa
|
a40de4b146
|
xschem: init at version 3.0.0
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
|
2022-03-12 17:49:48 +01:00 |
|
github-actions[bot]
|
7573d7fe79
|
Merge master into staging-next
|
2022-03-11 18:01:20 +00:00 |
|
Renaud
|
28721c55c5
|
Merge pull request #160342 from Luflosi/update/yosys
yosys: 0.12+54 -> 0.15
|
2022-03-11 18:15:51 +01:00 |
|
Mauricio Collares
|
bab25a7a3a
|
lean: 3.40.0 -> 3.41.0
|
2022-03-11 11:40:27 -03:00 |
|
R. Ryantm
|
f764458ed2
|
siril: 0.99.10.1 -> 1.0.0
|
2022-03-10 22:40:03 +00:00 |
|
Justin Bedo
|
3739a7819d
|
R: 4.1.2 -> 4.1.3
|
2022-03-10 22:31:13 +11:00 |
|
github-actions[bot]
|
201cc2f89b
|
Merge master into staging-next
|
2022-03-09 00:02:05 +00:00 |
|
Luflosi
|
0e4d199cbd
|
abc-verifier: 2021.11.12 -> 2022.03.04
|
2022-03-08 18:28:13 +01:00 |
|
R. Ryantm
|
e0c3da7946
|
jmol: 14.32.28 -> 14.32.30
|
2022-03-08 16:34:40 +00:00 |
|
github-actions[bot]
|
68a45fb1f2
|
Merge master into staging-next
|
2022-03-06 18:01:10 +00:00 |
|
R. Ryantm
|
f3288c60f0
|
marvin: 22.3.0 -> 22.7.0
|
2022-03-06 07:45:27 +00:00 |
|
github-actions[bot]
|
3f8e60728f
|
Merge master into staging-next
|
2022-03-06 06:01:06 +00:00 |
|
Bobby Rong
|
cf7e4cac05
|
Merge pull request #161194 from wucke13/mission-planner
mission-planner: 1.3.74 -> 1.3.76
|
2022-03-06 13:28:50 +08:00 |
|
github-actions[bot]
|
9dd2a8b600
|
Merge master into staging-next
|
2022-03-06 00:02:10 +00:00 |
|
Dmitry Kalinkin
|
149d68268d
|
root: fix ROOTConfig.cmake.in patching
|
2022-03-04 21:04:19 -05:00 |
|
github-actions[bot]
|
d4bfb57f40
|
Merge master into staging-next
|
2022-03-05 00:01:54 +00:00 |
|
7c6f434c
|
d5058ae9e5
|
Merge pull request #162688 from r-ryantm/auto-update/jmol
jmol: 14.32.24 -> 14.32.28
|
2022-03-04 20:43:10 +00:00 |
|
github-actions[bot]
|
437813752b
|
Merge master into staging-next
|
2022-03-04 18:01:19 +00:00 |
|
Bruno Bzeznik
|
7d62054650
|
angsd: init at 0.937
|
2022-03-04 09:17:35 -06:00 |
|
github-actions[bot]
|
fc22d0d5e2
|
Merge master into staging-next
|
2022-03-04 12:01:33 +00:00 |
|
Matthew Wakefield
|
e85b65f986
|
minimap2: enable aarch64 builds (#161169)
Co-authored-by: Bobby Rong <rjl931189261@126.com>
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
|
2022-03-04 12:27:29 +01:00 |
|
R. Ryantm
|
f5258a7d12
|
jmol: 14.32.24 -> 14.32.28
|
2022-03-03 23:44:55 +00:00 |
|
github-actions[bot]
|
12423e2e92
|
Merge master into staging-next
|
2022-03-02 12:05:47 +00:00 |
|
R. Ryantm
|
04ee1b8975
|
phd2: 2.6.10 -> 2.6.11
|
2022-03-02 03:13:28 +00:00 |
|