Sandro
4348e36456
Merge pull request #164248 from Stunkymonkey/treewide-fetchFromGitHub-2
2022-03-22 02:13:45 +01:00
Jörg Thalheim
800d3e733c
Merge pull request #165100 from armeenm/remove-golly-beta
...
golly-beta: remove
2022-03-21 20:20:31 +00:00
Ryan Mulligan
0ecdc95822
Merge pull request #165002 from r-ryantm/auto-update/kstars
...
kstars: 3.5.7 -> 3.5.8
2022-03-21 10:02:16 -07:00
Armeen Mahdian
858e03cf1f
golly-beta: remove
...
Golly is more up to date
2022-03-21 07:08:53 -05:00
R. Ryantm
142a76c412
kstars: 3.5.7 -> 3.5.8
2022-03-20 17:43:56 +00:00
Gabriel Ebner
3aa72cc471
Merge pull request #157515 from jvanbruegge/isabelle-naproche
...
isabelle: Enable and use naproche from nixpkgs
2022-03-20 18:26:33 +01:00
Doron Behar
6f227f03cb
qalculate-gtk: 4.0.0 -> 4.1.0
2022-03-20 16:04:47 +08:00
Bobby Rong
b3549ba290
Merge pull request #164837 from bobby285271/pantheon-eco
...
various: remove elementary-icon-theme from buildInputs & vala 0.56 fixes
2022-03-20 13:34:08 +08:00
Bobby Rong
88aee703c2
various: remove elementary-icon-theme from buildInputs
...
These apps don't hardcode their icon themes and the icon theme
is no longer picked up by wrapGAppsHook by default. User may
also able to choose to use icon themes of their choice so pulling
them to XDG_DATA_DIRS is mostly no use.
2022-03-19 17:16:30 +08:00
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
Felix Buehler
f8684d34e9
cntk: switch to fetchFromGitHub
2022-03-16 23:23:09 +01: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
