chore(sync): frawhide -> f39 (#1808)

This commit is contained in:
madomado
2024-08-02 12:56:03 +08:00
committed by GitHub
parent ea6ceefd72
commit 72fdc2ccbf
35 changed files with 3019 additions and 28 deletions
+3 -3
View File
@@ -1,7 +1,7 @@
%global commit 0129d4e2506d5ec5e50ef0968382770b9abec390
%global commit 33d06c4d9603b37885e7ddcc82fa06f4dcd83943
%global shortcommit %(c=%{commit}; echo ${c:0:7})
%global commit_date 20240619
%global ver 0.142.0
%global commit_date 20240801
%global ver 0.148.0
%bcond_with check
-3
View File
@@ -1,8 +1,5 @@
let releases = "https://api.github.com/repos/zed-industries/zed/releases".get().json_arr();
for release in releases {
if !release.prerelease {
continue;
}
let tag = release.tag_name;
tag.pop(4); // remove the "-pre" suffix
tag.crop(1); // remove "v"
+1 -1
View File
@@ -1,6 +1,6 @@
%bcond_with check
%global ver 0.146.2
%global ver 0.147.1
# Exclude input files from mangling
%global __brp_mangle_shebangs_exclude_from ^/usr/src/.*$
# Use Mold as the linker
+1 -1
View File
@@ -9,7 +9,7 @@
%global app_id dev.zed.Zed
Name: zed
Version: 0.145.1
Version: 0.146.4
Release: 1%?dist
Summary: Zed is a high-performance, multiplayer code editor